协变（covariant）

一个物理定律以某方程式表示时，若在不同的坐标中，该方程式的形式一律不变，则称该方程式为协变。

在量子力学中，Schrōdinger波动方程，只在笛卡尔坐标系中适用，因为微商不能协变

C# 委托中的协变

当委托方法的返回类型具有的派生程度比委托签名更大时，就称为协变委托方法。因为方法的返回类型比委托签名的返回类型更具体 ，所以可以对其进行隐式转换。这样该方法就可以用作委托。协变使得创建可被类和派生类同时使用的委托方法成为可能。

C#代码示例

class Mammals

{

}

class Dogs : Mammals

{

}

class Program

{

// Define the delegate.

public delegate Mammals HandlerMethod();

public static Mammals FirstHandler()

{

return null;

}

public static Dogs SecondHandler()

{

return null;

}

static void Main()

{

HandlerMethod handler1 = FirstHandler;

// Covariance allows this delegate.

HandlerMethod handler2 = SecondHandler;

}

}