Дженерики C#, ограничьте к определенным структурам

Я полагаю, что перегрузка - ваш лучший вариант здесь:

string Add(object value, MyStruct1 expiration) {...}
string Add(object value, MyStruct2 expiration) {...}

Это даже более уместно, так как вы не можете создать подкласс структуры, поэтому только жизнеспособный T в вашем примере будет MyStruct1 и MyStruct2 - тогда также могут быть определенные методы.

Возврат к ограничению дженериков несколькими цитируемыми типами; не совсем - и даже если бы они были, название «Добавить» предполагает, что вы хотели бы использовать поддержку операторов, которой также нет в C # (3.0).

Однако в C # 4.0, динамический может быть здесь вариантом - это действует как оптимизированная форма утиной печати; вы не получите поддержки компилятора (проверки и т. д.), но она должна работать. Вы должны привести к dynamic внутри метод:

string Add<T>(object value, T expiration) where T : struct {
    dynamic valueDyn = value;
    valueDyn += expiration; // or similar
    // more code
}

Другой вариант (в .NET 3.

Я думаю, что оба они не подходят , структура не является допустимым ограничением. Тип, используемый в качестве ограничения, должен быть интерфейсным, незапечатанным или параметром типа

Назначение универсальных шаблонов - создавать методы и типы, которые являются универсальными , отсюда и название. Если у вас есть только два возможных аргумента типа, просто напишите два метода.

Помните также, что универсальные шаблоны C # не являются шаблонами C ++. Когда вы вызываете метод для параметра типа, скажем, этот вызов метода будет точно таким же вызовом для каждой конструкции параметра типа. Это общий . Это не шаблон, в котором компилятор компилирует код два, три, тысячи раз, по одному для каждого аргумента типа, и заново определяет для каждого из них, что такое вызов метода.

Итак, даже если бы вы могли ограничить свой аргумент типа двумя типами, какая польза от этого? Все, что вы могли называть их, - это методы, которые у них были общие через их базовый класс, Объект. В этом случае у вас есть общий метод, который работает со всеми объектами, так зачем же ограничивать его двумя типами?