in (泛型修飾詞) (C# 參考)
就泛型型別參數而言，in 關鍵字會指定型別參數為 Contravariant。 您可以在泛型介面及委派中使用 in 關鍵字。
Contravariance 允許您使用與泛型參數指定的型別相比，其衍生程度較小的型別。 這樣可以允許實作 Variant 介面的類別進行隱含轉換，以及委派型別的隱含轉換。 參考型別會支援泛型型別參數中的共變數和 Contravariance，但是實值型別則不支援。
如果使用型別做為方法引數的型別，而非做為方法傳回型別，即可在泛型介面或委派中將其宣告為 Contravariant。 Ref 和 out 參數不可為變數。
具有 Contravariant 型別參數的介面允許其方法接受與介面型別參數指定的型別相比，其衍生程度較小之型別的引數。 例如，在 .NET Framework 4 的 IComparer<T> 介面中，由於型別 T 為 Contravariant，因此只要 Employee 會繼承 Person，就可以將型別為 IComparer(Of Person) 的物件指派給型別為 IComparer(Of Employee) 的物件，而不需使用任何特別的轉換方法。
您可以將其他相同型別的委派指派給 Contravariant 委派，但是前者要有衍生程度較小的泛型型別參數。
如需詳細資訊，請參閱 共變數和反變數 (C# 和 Visual Basic)。
範例
下列範例示範如何宣告、擴充和實作 Contravariant 泛型介面， 同時也示範如何在實作此介面的類別中使用隱含轉換。
// Contravariant interface.
interface IContravariant<in A> { }
// Extending contravariant interface.
interface IExtContravariant<in A> : IContravariant<A> { }
// Implementing contravariant interface.
class Sample<A> : IContravariant<A> { }
class Program
{
static void Test()
{
IContravariant<Object> iobj = new Sample<Object>();
IContravariant<String> istr = new Sample<String>();
// You can assign iobj to istr because
// the IContravariant interface is contravariant.
istr = iobj;
}
}
下列範例示範如何宣告、執行個體化和叫用 Contravariant 泛型委派， 同時也示範如何才能隱含轉換委派型別。
// Contravariant delegate.
public delegate void DContravariant<in A>(A argument);
// Methods that match the delegate signature.
public static void SampleControl(Control control)
{ }
public static void SampleButton(Button button)
{ }
public void Test()
{
// Instantiating the delegates with the methods.
DContravariant<Control> dControl = SampleControl;
DContravariant<Button> dButton = SampleButton;
// You can assign dControl to dButton
// because the DContravariant delegate is contravariant.
dButton = dControl;
// Invoke the delegate.
dButton(new Button());
}
C# 語言規格
如需詳細資訊，請參閱 C# 語言規格。語言規格是 C# 語法和用法的限定來源。