符合协议的类 - 编译时检查答案

【问题标题】：Class that conforms to a protocol - compile time check符合协议的类 - 编译时检查
【发布时间】：2013-05-08 07:21:49
【问题描述】：

这是有效的语法吗？

@property (nonatomic, strong) Class<SomeProtocol> myClass;

SomeProtocol 定义为：

@protocol SomeProtocol <NSObject>

@required
+ (BOOL)isAllowed;

@end

我想强制执行编译时检查，以便编译器在未实现所需isAllowed 方法的类（例如UIViewController）用于myClass 属性时报错。

附：当我传入一个不符合 SomeProtocol 协议的类时，我没有收到编译器警告或错误。

【问题讨论】：

【解决方案1】：

它在语法上是有效的，但是正如您所发现的，它只会检查您发送对象的消息，如果传入了不合格的类，则不会警告您。原因是所有类的静态类型只是Class ，这是一个动态类型† — 就像您可以将 id 分配给任何对象类型的变量一样，您也可以将 Class 分配给任何 Class 变量。

† 注意：为了清楚起见，这不是术语“动态类型”的技术用途。我不知道id 和Class 是什么的正常短语。我认为它在上下文中应该很清楚，但我用它来指代它告诉编译器您不想为对象声明静态类型的事实，因此类型是动态的，就像在 Ruby 或 Python 中一样。

【讨论】：

谢谢！有没有办法强制执行这样的编译时检查？
@pshah：我不这么认为。核心问题是任何返回类的方法或函数都将返回类型Class，类型检查器认为该类型与任何其他Class 兼容。对于返回 id 的方法也是如此——你不能对它们强制执行静态类型约束，因为 id 或 Class 的意思是“直到运行时才知道实际类型。”