Чи існує розумний підхід до параметрів типу “за замовчуванням” у C # Generics?

У шаблонах C ++ можна вказати, що певний параметр типу є типовим. Тобто, якщо це явно не вказано, він буде використовувати тип T.

Чи можна це зробити або наблизити в C #?

Я шукаю щось на зразок:

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

Так що екземпляр типу, який явно не вказує T2:

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

По суті:

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

Зрештою, я розглядаю випадок, коли існує шаблон, який досить широко використовується, але я розглядаю можливість розширення за допомогою додаткового параметра типу. Напевно, я міг би підклас, але мені було цікаво, чи є в цьому ключі інші варіанти.

Підклас - найкращий варіант.

Я б підкласував ваш основний загальний клас:

class BaseGeneric<T,U>

з певним класом

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

Це полегшує збереження вашої логіки в одному місці (базовий клас), а також надає обидва варіанти використання. Залежно від класу, можливо, для цього потрібно дуже мало додаткової роботи.

Одним із рішень є підкласифікація. Натомість я б використав це заводські методи (поєднані з ключовим словом 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>();

У наведеному вище прикладі val2це тип, MyTemplate<int,string> а не тип, отриманий з нього.

Тип class MyStringTemplate<T>:MyTemplate<T,string>- це не той самий тип, що і MyTemplate<T,string>. Це може спричинити певні проблеми у певних сценаріях. Наприклад, ви не можете відтворити екземпляр MyTemplate<T,string>до MyStringTemplate<T>.

Ви також можете створити клас Перевантаження на зразок цього

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

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

C # не підтримує таку функцію.

Як ви вже сказали, ви можете підкласувати його (якщо він не запечатаний і дублювати всі оголошення конструктора), але це зовсім інша річ.

На жаль, C # не підтримує те, що ви намагаєтесь зробити. Це було б складно реалізувати, враховуючи, що тип за замовчуванням для параметра повинен дотримуватися загальних обмежень і, швидше за все, створити б головний біль, коли CLR намагався забезпечити безпеку типу.