有没有一种方法可以将带有子类参数的函数分配给带有超类参数的函数变量？这是我的意思的一个例子：
class ClassA {}
class subclassOfA:ClassA {}
func subclassToNil(argument:subclassOfA) -> (){}
var functionVariable:(ClassA->())
funcVar = subclassToNil
这会引发类型不兼容异常。
【问题讨论】：
ClassA 的实例调用functionVariable()，但该函数需要一个子类 的实例作为参数。 （反之亦然。）
恐怕没有——您已经发现了“协变”和“逆变”。函数类型与它们的参数（参数）是逆变的，这意味着你可以提供一个 superclass 如果你愿意，但不能提供一个子类。另一方面，使用返回值，函数类型是协变的，如果你愿意，可以返回一个子类。
稍加思考，这些规则是有道理的：
class ClassA {}
class SubclassOfA: ClassA {}
func subclassToNil(argument: SubclassOfA) -> ()) {}
var functionVariable: (ClassA -> ())
functionVariable = subclassToNil
functionVariable(ClassA()) //`subclassToNil` won't know what to do with this; kablooie!
但是：
class ClassParent {}
class ClassA: ClassParent {}
func subclassToNil(argument: ClassParent) -> ()) {}
var functionVariable:(ClassA -> ())
functionVariable = subclassToNil
functionVariable(ClassA()) //`ClassA()` is indeed a valid `ClassParent`, so we're fine.
所以使用 less 特定的参数是安全的。返回值的原因非常相似，您会发现从逻辑上讲，您可以使用更多特定的。
【讨论】：