E
Size: a a a
2021 January 29
A
Тут скорее вопрос, считается ли Dispose() в A прямой реализацией [System.Private.CoreLib]System.IDisposable::Dispose()
IC
это уже деталь реализации рантайма, рантайм может через хип это все равно делать
When a callvirt method instruction has been prefixed by constrained thisType, the instruction is executed as follows:
If thisType is a reference type (as opposed to a value type) then ptr is dereferenced and passed as the 'this' pointer to the callvirt of method.
If thisType is a value type and thisType implements method then ptr is passed unmodified as the 'this' pointer to a call method instruction, for the implementation of method by thisType.
If thisType is a value type and thisType does not implement method then ptr is dereferenced, boxed, and passed as the 'this' pointer to the callvirt method instruction.
IC
это уже деталь реализации рантайма, рантайм может через хип это все равно делать
на моне будет бокс?
IC
по-моему даже если метод переопределен
🤔 а как там дженерики работают?
IC
или они тоже боксятся?
IC
если это value type
но там такая же последовательность вызовов
E
но там такая же последовательность вызовов
?
IC
если это value type
сорян, то есть в моно вот тут будет боксинг?
public void M2<T>(T item) where T:IDisposable
{
item.Dispose();
}
E
сорян, то есть в моно вот тут будет боксинг?
public void M2<T>(T item) where T:IDisposable
{
item.Dispose();
}
что тут Т ?
IC
что тут Т ?
структура
IC
тогда да
хуя, как так?
A
Если в A сделать вместо public void Dispose() -> void IDisposable.Dispose()?
В IL то там .override method instance void [System.Private.CoreLib]System.IDisposable::Dispose() у метода торчит
Тогда вроде по спеке выходит что constraint callvirt должно в call преобразоваться даже в Моно, не?
В IL то там .override method instance void [System.Private.CoreLib]System.IDisposable::Dispose() у метода торчит
Тогда вроде по спеке выходит что constraint callvirt должно в call преобразоваться даже в Моно, не?