Вопросы о боксе

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

Типы значений следует использовать из-за их логической выгоды, а не повышения производительности. При этом, поскольку типы значений управляются в стеке, не нужно участвовать в сборке мусора. Если у вас есть тип, который постоянно создается и отбрасывается (например, int, float, double и т. Д.), Вы можете получить хороший импульс, превратив их в структуры. Следует остерегаться того, что вы должны действительно учитывать это только в том случае, если вы также можете сделать структуру неизменной.

Еще пара вещей, которые следует учитывать -

Во-первых, вы хотите убедиться, что структуры неизменяемы (в целом). Из-за этого рекомендуется не иметь структур, содержащих ссылочные типы. Строки могут быть исключением из этого правила, поскольку они неизменяемы в C #, но с точки зрения общего правила проектирования я бы с осторожностью относился к этому.

Во-вторых, есть еще один вариант использования структур, который до сих пор не упоминался - большое количество небольших объектов. Если у вас есть большой список или массив небольших объектов, структуры обеспечивают значительно лучшую согласованность кеша и абсолютно необходимы. Вот почему большинство 3D-движков используют структуры для точек / векторов - они, как правило, имеют большие массивы точек для вершин и т. Д.

На это стоит обратить внимание, если производительность является важной частью вашего приложения. Например, в одном из моих приложений изменение одного типа с класса на структуру сократило на 40% длительный (более 5 минут времени выполнения) процесс. Расположение объектов в памяти близко друг к другу, если вы многократно используете их в тяжелых математических вычислениях, может дать огромный выигрыш.

Теперь - в вашем случае наличие 2 строк и DateTime, вероятно, не увидит никаких улучшений от этого. Типы подпрограмм, которые будут работать со строками, вероятно, не будут выполнять тяжелые вычисления (надеюсь), то есть: преобразование полумиллиона точек в пространстве или выполнение большого матричного решения и т. Д.

Наконец, вы заметите, что .net3.5sp1 сделал структуры намного более полезными. До 3.5sp1 (на x86) не было встраивания методов с вызовами структур. Это ограничивало возможный прирост производительности с помощью структур. Обновление вашего фреймворка может сделать старый структурный код намного быстрее (в некоторых случаях).

Вам не всегда нужен бокс, а с дженериками в этом нет особой необходимости.
Память, используемая типами значений (структура - это тип значения), будет востребована как
как только метод завершится / вернется. и вам не нужно
ничего делать, чтобы это произошло.

Типы значений, объявленные как члены экземпляра, будут в памяти до тех пор, пока объект
не будет удален сборщиком мусора. < br>
Ссылочные типы хранятся в управляемой куче.
Ссылочные типы, созданные в методе, будут удалены сборщиком мусора
, если ни один объект не содержит ссылку на него.

Сборщик мусора работает сам по себе, и по большей части вы должны оставить его в покое.
Вы не можете предсказать, когда объект будет удален сборщиком мусора.

Шаблон Dispose используется для ссылочных типов, но не заставляет GC удалять
объект. Обычно он используется для освобождения неуправляемых ресурсов.

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

Main
{
   // (0) Stack is empty
   int firstInt = 0;
   // (1) Stack now contains:
   //                     firstInt
   DoSomething1();
   // (7) Stack still contains:
   //                     firstInt
}
// Program ends

DoSomething()
{
   int anInteger = 0; 
   // (2) Stack now contains:
   //                    anInteger
   //                    firstInt
   DoMore()
   // (5) Stack now contains:
   //                     anInteger
   //                     firstInt
}
// (6) anInteger goes out of scope

DoMore
{
  int anotherInteger = 1; 
   // (3) Stack now contains:
   //                     anotherInteger
   //                     anInteger
   //                     firstInt
}
// (4) anotherInteger goes out of scope