out (obecný modifikátor) (Referenční dokumentace jazyka C#)
U parametrů obecného typu určuje klíčové slovo, out že parametr typu je kovariantní. Klíčové slovo můžete použít out v obecných rozhraních a delegátech.
Kovariance umožňuje použít odvozenější typ, než který určuje obecný parametr. To umožňuje implicitní převod tříd, které implementují kovariantní rozhraní a implicitní převod typů delegátů. Kovariance a kontravariance jsou podporovány pro odkazové typy, ale nejsou podporovány pro typy hodnot.
Rozhraní s parametrem kovariantního typu umožňuje jeho metodám vracet více odvozených typů, než které specifikuje parametr typu. Například v rozhraní .NET Framework 4 IEnumerable<T>je typ T kovariantní, můžete přiřadit objekt IEnumerable(Of String) typu k objektu IEnumerable(Of Object) typu bez použití speciálních metod převodu.
Kovariantní delegát může být přiřazen jiný delegát stejného typu, ale s odvozenějším parametrem obecného typu.
Další informace naleznete v tématu Kovariance a Kontravariance.
Příklad – kovariantní obecné rozhraní
Následující příklad ukazuje, jak deklarovat, rozšířit a implementovat kovariantní obecné rozhraní. Také ukazuje, jak použít implicitní převod pro třídy, které implementují kovariantní rozhraní.
// 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;
}
}
V obecném rozhraní lze parametr typu deklarovat kovariant, pokud splňuje následující podmínky:
Parametr typu se používá pouze jako návratový typ metod rozhraní a nepoužívá se jako typ argumentů metody.
Poznámka:
Toto pravidlo má jednu výjimku. Pokud v kovariantním rozhraní máte kontravariantní obecný delegát jako parametr metody, můžete použít kovariantní typ jako parametr obecného typu pro tohoto delegáta. Další informace o kovariantních a kontravariantních obecných delegátech naleznete v tématu Variance in Delegates and Using Variance for Func and Action Generic Delegates.
Parametr typu se nepoužívá jako obecné omezení pro metody rozhraní.
Příklad – kovariantní obecný delegát
Následující příklad ukazuje, jak deklarovat, vytvořit instanci a vyvolat kovariantní obecný delegát. Ukazuje také, jak implicitně převést typy delegátů.
// 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();
}
V obecném delegátu lze deklarovat kovariantní typ, pokud se používá pouze jako návratový typ metody a nepoužívá se pro argumenty metody.
specifikace jazyka C#
Další informace najdete v tématu Specifikace jazyka C#. Specifikace jazyka je úplným a rozhodujícím zdrojem pro syntaxi a použití jazyka C#.
