IC
Size: a a a
2021 January 29
IC
IC
IC
Переслано от Ayrat Hudaygulov
Бля в обычных структурах. В обычных
IC
Переслано от Ilya Chernoudov
Именно, поэтому я не понял, чем тебе поможет дипозабл для структур
IC
IC
Переслано от Anatoly
затем, чтобы
struct A : IDisposable {}; using var a = new A(); работало без боксингаDS
Ну смотри пример с дак тайпингом (прям настоящим) для ref struct'ов:
https://sharplab.io/#v2:EYLgxg9gTgpgtADwGwBYA0AXEBLANgHwAEAmARgFgAoKwgZgAJYAzegZwygFcwN6BBegG8q9enTEp6AEWysADhFYwAFAEohI0VsKkAnMoBEAGQi4DqgNyaAvlVvVK4kvQDCGylrENCkgLJr3T09CAAZlADsYAHd+NXVhDyCknX0DADkIXlxTcytEpPtPe2sgA===
https://sharplab.io/#v2:EYLgxg9gTgpgtADwGwBYA0AXEBLANgHwAEAmARgFgAoKwgZgAJYAzegZwygFcwN6BBegG8q9enTEp6AEWysADhFYwAFAEohI0VsKkAnMoBEAGQi4DqgNyaAvlVvVK4kvQDCGylrENCkgLJr3T09CAAZlADsYAHd+NXVhDyCknX0DADkIXlxTcytEpPtPe2sgA===
DS
Вот тебе настоящий дак тайпинг, даже без всякого IDisposable и каста в него
DS
А вот и сам дак тайпинг в компиле для желающих: https://github.com/chsienki/roslyn/blob/master/src/Compilers/CSharp/Portable/Binder/UsingStatementBinder.cs#L199
Причём он работает и для асинк диспозаблов, внезапно:
https://sharplab.io/#v2:EYLgxg9gTgpgtADwGwBYA0AXEBLANgHwAEAmARgFgAoQgBgAJDSBWAbiqsIGY6BnDKAK5gMdAIKi6Abyp0G3QkjoARbDwAOEHjFE8AngDswACgCUdALwA+GbNsKAdACUB+o6YuWGpAJxGARAAyELh+JiZslFQAvuzU3LAAZrz8QiIS0pSyXAwoyqoaWu4ZtnY+/kEh4TYxlDUc8sR0AMJSNlnyuQCyRW0lDDRG+jAA7mKmZsV9U4y+fgByECK4waERU7I1JZu2vdmEABwMip2kPZnrhN79gyNiouOt5+uls6IAykrvSqu9W701USAA==
Причём он работает и для асинк диспозаблов, внезапно:
https://sharplab.io/#v2:EYLgxg9gTgpgtADwGwBYA0AXEBLANgHwAEAmARgFgAoQgBgAJDSBWAbiqsIGY6BnDKAK5gMdAIKi6Abyp0G3QkjoARbDwAOEHjFE8AngDswACgCUdALwA+GbNsKAdACUB+o6YuWGpAJxGARAAyELh+JiZslFQAvuzU3LAAZrz8QiIS0pSyXAwoyqoaWu4ZtnY+/kEh4TYxlDUc8sR0AMJSNlnyuQCyRW0lDDRG+jAA7mKmZsV9U4y+fgByECK4waERU7I1JZu2vdmEABwMip2kPZnrhN79gyNiouOt5+uls6IAykrvSqu9W701USAA==
КП
IC
Вот тебе настоящий дак тайпинг, даже без всякого IDisposable и каста в него
ты просто смотришь не туда, смотри на jit (каста нет даже в IL) дак тайпинг и с интрефейсом код абсолютно идентичен
DS
ты просто смотришь не туда, смотри на jit (каста нет даже в IL) дак тайпинг и с интрефейсом код абсолютно идентичен
Я смотрю туда, это как раз то о чём говорил @omgszer
IC
Я смотрю туда, это как раз то о чём говорил @omgszer
я просто смотрю и не вижу боксинга
IC
вот прям хоть убей
IC
IL_000c: constrained. A
IL_0012: callvirt instance void [System.Private.CoreLib]System.IDisposable::Dispose()
DS
ты просто смотришь не туда, смотри на jit (каста нет даже в IL) дак тайпинг и с интрефейсом код абсолютно идентичен
Потому что именно для Disposable кодген одинаковый у вскх случаев и там будет не бокс, а
IL_000c: constrained. A
IL_0012: callvirt instance void [System.Private.CoreLib]System.IDisposable::Dispose()
DS
И про такую реализацию явно сказано в lowering'е для disposable, который я выше кидал