out (泛型修飾詞) (C# 參考)

  • 發行項

若為泛型型別參數，out 關鍵字會指定型別參數是 Covariant。 您可以在泛型介面及委派中使用 out 關鍵字。

共變數可讓您使用比泛型參數指定的衍生程度更高的衍生型別。 這可隱含轉換實作 covariant 介面的類別和隱含轉換委派型別。 參考型別支援共變數和反變數，但實值型別不支援它們。

具有 Covariant 型別參數的介面可讓其方法傳回的衍生型別，衍生程度高過型別參數指定的衍生型別。 例如，因為在 .NET Framework 4 的 IEnumerable<T> 中，T 類型是 Covariant，所以您可以不使用任何特殊的轉換方法，將 IEnumerable(Of String) 類型的物件指派給 IEnumerable(Of Object) 類型的物件。

Covariant 委派可以指派給同型別的另一個委派，但具有衍生程度較大的泛型型別參數。

如需詳細資訊，請參閱 Covariance and Contravariance (共變數和反變數 (C# 和 Visual Basic))。

範例 - Covariant 泛型介面

下例會示範如何宣告、擴充及實作 Covariant 泛型介面。 它也會示範如何針對實作 Covariant 介面的類別使用隱含轉換。

// Covariant interface.
interface ICovariant<out R> { }

// Extending covariant interface.
interface IExtCovariant<out R> : ICovariant<R> { }

// Implementing covariant interface.
class Sample<R> : ICovariant<R> { }

class Program
{
    static void Test()
    {
        ICovariant<Object> iobj = new Sample<Object>();
        ICovariant<String> istr = new Sample<String>();

        // You can assign istr to iobj because
        // the ICovariant interface is covariant.
        iobj = istr;
    }
}

在泛型介面中，型別參數如果滿足下列條件即可宣告為 Covariant︰

  • 型別參數僅用為介面方法的傳回型別，不用為方法引數的型別。

    注意

    這個規則只有一個例外。 如果您在 Covariant 介面中以 Contravariant 泛型委派作為方法參數，則可將 Covariant 型別用為此委派的泛型型別參數。 如需 Covariant 和 Contravariant 泛型委派的詳細資訊，請參閱 Variance in Delegates (委派中的變異數) 和 Using Variance for Func and Action Generic Delegates (針對 Func 與 Action 委派使用變異數)。

  • 型別參數不是用為介面方法的泛型條件約束。

範例 - Covariant 泛型委派

下例會示範如何宣告、具現化及叫用 Covariant 泛型委派。 它也會顯示如何以隱含方式轉換委派型別。

// Covariant delegate.
public delegate R DCovariant<out R>();

// Methods that match the delegate signature.
public static Control SampleControl()
{ return new Control(); }

public static Button SampleButton()
{ return new Button(); }

public void Test()
{
    // Instantiate the delegates with the methods.
    DCovariant<Control> dControl = SampleControl;
    DCovariant<Button> dButton = SampleButton;

    // You can assign dButton to dControl
    // because the DCovariant delegate is covariant.
    dControl = dButton;

    // Invoke the delegate.
    dControl();
}

在泛型委派中，如果型別只用為方法傳回型別，不用於方法引數，則可以宣告為 Covariant。

C# 語言規格

如需詳細資訊，請參閱＜C# 語言規格＞。 語言規格是 C# 語法及用法的限定來源。

另請參閱