Czy istnieje rozsądne podejście do "domyślnych" parametrów typu w C# Generics?

Question

W szablonach C++ można określić, że określony parametr jest domyślny. To znaczy. chyba że jest to wyraźnie określone, użyje on typu T.

Czy można to zrobić w przybliżeniu w C#?

szukam czegoś podobnego:

public class MyTemplate<T1, T2=string> {} 

Tak, że wystąpienie typu, który nie precyzuje T2:

MyTemplate<int> t = new MyTemplate<int>(); 

Byłoby zasadniczo:

MyTemplate<int, string> t = new MyTemplate<int, string>(); 

Ostatecznie szukam przypadku, w którym istnieje szablon, który jest dość szeroko sed, ale rozważam rozszerzenie z dodatkowym parametrem typu. Mógłbym się podklasować, ale byłem ciekawy, czy w tym żyły były inne opcje.

Answer 1

Podklasy to najlepsza opcja.

Chciałbym podklasy głównego klasy Generic:

class BaseGeneric<T,U>

z określonej klasy

class MyGeneric<T> : BaseGeneric<T, string>

To sprawia, że ​​łatwo utrzymać swoją logikę w jednym miejscu (klasa bazowa) , ale również łatwe do zapewnienia obu opcji użytkowania. W zależności od klasy prawdopodobnie do tego nie potrzeba dodatkowej pracy.

Answer 2

C# nie obsługuje takiej funkcji.

Tak jak powiedziałeś, możesz ją podklasować (jeśli nie jest zapieczętowana i zduplikować wszystkie deklaracje konstruktorów), ale jest to zupełnie inna sprawa.

Answer 3

Niestety C# nie obsługuje tego, co próbujesz zrobić. Wdrożenie tej funkcji byłoby trudne, ponieważ domyślny typ parametru musiałby być zgodny z ogólnymi ograniczeniami i najprawdopodobniej wywoływałby bóle głowy, gdy CLR próbował zapewnić bezpieczeństwo typu.

Answer 4

Jednym z rozwiązań jest podklasowanie. Innym, którego użyłbym zamiast tego, jest metoda fabryczna (w połączeniu ze słowem kluczowym var).

public class MyTemplate<T1,T2> 
{ 
    public MyTemplate(..args..) { ... } // constructor 
} 

public static class MyTemplate{ 

    public static MyTemplate<T1,T2> Create<T1,T2>(..args..) 
    { 
     return new MyTemplate<T1, T2>(... params ...); 
    } 

    public static MyTemplate<T1, string> Create<T1>(...args...) 
    { 
     return new MyTemplate<T1, string>(... params ...); 
    } 
} 

var val1 = MyTemplate.Create<int,decimal>(); 
var val2 = MyTemplate.Create<int>(); 

W powyższym przykładzie val2 jest typu MyTemplate<int,string>nie typu pochodzą od niego.

Typ class MyStringTemplate<T>:MyTemplate<T,string> nie jest tego samego typu co MyTemplate<T,string>. Może to powodować pewne problemy w niektórych scenariuszach. Na przykład nie można rzucić wystąpienia z MyTemplate<T,string> na MyStringTemplate<T>.

Answer 5

można również utworzyć klasę Przeciążenie Podobnie jak

public class MyTemplate<T1, T2> { 
    public T1 Prop1 { get; set; } 
    public T2 Prop2 { get; set; } 
} 

public class MyTemplate<T1> : MyTemplate<T1, string>{}