Тип обертки в .NET: struct или class?

Question

Рассмотрим следующий сценарий:

int Caller1<T>(T t) where T : IInterface {...} 
T Caller2<T>() where T : IInterface {...} 

class Wrappee // doesn't implement IInterface, but could 

??? Wrapper : IInterface { 
    private readonly Wrappee _wrappee; 

    // methods call _wrappee's methods 
} 

Теперь общие рекомендации по выбору между struct и class является «использовать struct если вам нужно семантику значений и class для ссылочных семантики». Семантика, которая нам нужна, это «ссылка на Wrappee». Но, похоже, мы все равно можем сделать Wrapper struct: копирование его значения - то же самое, что и копирование ссылки Wrappee, и копии будут иметь ссылку на тот же объект! Накладные расходы ниже, и scalar replacement может уменьшить его до нуля для локальных переменных. Похоже, что можно назвать даже мутирующие методы на _wrappee.

Я ничего не пропустил? Есть ли веская причина сделать класс Wrapper?

Существует один, если абонент не является универсальным:

int Caller(IInterface t) {...} 

В этом случае Wrapper должен быть классом, чтобы избежать бокс.

Примечание для тех, кто знает Haskell: Я пытаюсь найти ближайший .NET-аналог до newtype.

ОБНОВЛЕНИЕ: см. Professional .NET 2.0 Generics и Peter Ritchie on MSDN forums за отсутствие бокса в первом случае.

Answer 1

Часто ваш класс/структура будет храниться или передаваться внутренне с помощью методов, которые вы вызываете (вы не показывали, что Caller1 и Caller2 делают), и в этом случае он, вероятно, получит коробку. Возможно, чаще, чем вы ожидали. Поэтому, если вы не сможете доказать, что структура будет более эффективной: не беспокойтесь и просто придерживайтесь класса.

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

Однако, если производительность действительно беспокойство, и если вы можете гарантировать, что экземпляры передаются только в качестве параметра с родовым типом ограничением, и никогда не хранятся в интерфейсе типизированных полея или коллекциях, текущее встраивание из структур по времени выполнения .NET будет более эффективным, так как ваша структура-обертка будет в основном оптимизирована. Но это много, если.

Answer 2

Я бы сказал класс, потому что вы инкапсулируете поведение, а не только данные.

Answer 3

Да, поскольку вы будете обращаться к обертке с помощью переменной IInterface, чтобы избежать бокса, это должен быть класс.

EDIT: Если вы обращаетесь к обертке с помощью переменной, напечатанной как Wrapper, и обращаетесь к методам Wrapper, а не к методам IInterface, то структура является прекрасной.