У меня есть следующий простой код С#:
private Stack<Person> m_stack = new Stack<Person>();
public void Add<T>(T obj)
where T : Person
{
m_stack.Push(obj);
}
Это приведет к следующему IL-коду:
.method public hidebysig instance void
Add<(ConsoleApplication1.Person) T>(!!T obj) cil managed
{
// Code size 20 (0x14)
.maxstack 8
IL_0000: nop
IL_0001: ldarg.0
IL_0002: ldfld class [System]System.Collections.Generic.Stack`1<class ConsoleApplication1.Person> ConsoleApplication1.Pool::m_stack
IL_0007: ldarg.1
IL_0008: box !!T
IL_000d: callvirt instance void class [System]System.Collections.Generic.Stack`1<class ConsoleApplication1.Person>::Push(!0)
IL_0012: nop
IL_0013: ret
} // end of method Pool::Add
Итак, мой вопрос: почему бокс? (IL_0008) Я могу понять downcasting или даже скомпилировать ошибку, но почему бокс (Person является ссылочным типом...)
Спасибо заранее!
Выдержка из раздела Ecma-335 III 4.1
Если типTok является ссылочным типом, команда box ничего не делает.
где typeTok - это!! T в вашем случае.
Я предполагаю, что когда компилятор компилирует код, он всегда вызывает поле независимо от того, является ли тип операнда ссылочным типом или нет. Из-за семантики команды box желаемый результат всегда гарантируется.
Я считаю, что это ограничение общего метода, которое делает это с вами, но...
В любом случае вообще не требуется общий метод. Просто напишите его как:
public void Add(Person person)
{
m_stack.Push(person);
}
Вы обнаружите, что IL упрощается и полностью избегает проблемы. Если вы ограничены определенным типом ссылки, вы можете просто использовать этот тип ссылки.
Это намного легче понять и гораздо более ясно. Я бы предложил избегать вызова метода generic, если он действительно не нужен. Общие методы делают класс менее очевидным, что означает, что он менее читабельный и поддерживаемый в долгосрочной перспективе и более сложный в использовании.