DS
Если ты попробуешь сделать каст в свой интерфейс (не диспозабл), то ты получишь бокс в IL
IL_000c: constrained. A
IL_0012: callvirt instance void [System.Private.CoreLib]System.IDisposable::Dispose()
Size: a a a
2021 January 29
IC
Потому что именно для Disposable кодген одинаковый у вскх случаев и там будет не бокс, а
настоящий боксинг
IL_0002: initobj A
IL_0008: ldloc.0
IL_0009: box A
IC
Если ты попробуешь сделать каст в свой интерфейс (не диспозабл), то ты получишь бокс в IL
а этот кейс тут причём?
DS
а этот кейс тут причём?
Потому что вся работа с IDisposable'ом + структурами явно зашита в компиль, чтобы не генерить бокс, который будет, если это преобразование кода делать наивно.
Это прям конкретный хак под это конкретное место, о котором напрямую в комменте и сказано.
Это прям конкретный хак под это конкретное место, о котором напрямую в комменте и сказано.
IC
Потому что вся работа с IDisposable'ом + структурами явно зашита в компиль, чтобы не генерить бокс, который будет, если это преобразование кода делать наивно.
Это прям конкретный хак под это конкретное место, о котором напрямую в комменте и сказано.
Это прям конкретный хак под это конкретное место, о котором напрямую в комменте и сказано.
IC
IL_0000: nop
IL_0001: ldarga.s item
IL_0003: constrained. !!T
IL_0009: callvirt instance void [System.Private.CoreLib]System.IDisposable::Dispose()
IL_000e: nop
IL_000f: ret
DS
Это тут причём?
DS
Это опять IDisposable
DS
Ты попробуй с любым другим интерфейсом
IC
Это тут причём?
мой интерфейс, точно так же нет
IC
Это опять IDisposable
public struct A:IA
IC
какой диспозабл?
DS
public struct A:IA
Только метод ты генеришь для T: IDisposable
IC
Только метод ты генеришь для T: IDisposable
IC
сорян
IC
IL_0000: nop
IL_0001: ldarga.s item
IL_0003: constrained. !!T
IL_0009: callvirt instance void C/IA::Dispose()
IL_000e: nop
DS
А это потому что тут generic метод без каста
DS
Ты попробуй явно каст сделать и увидешь результат
IC
А это потому что тут generic метод без каста
я тебе показываю, что нету каста