为什么类别不能有实例变量?

I understand we can use associative references to invoke ivar-like behavior in categories. But what's the specific reason behind not being able to declare new ivars in categories?I understand we can use associative references