V
чисто из-за джита?
Size: a a a
2020 August 07
CD
fn id<T>(t: T) -> T { t } ?
нененене, тип this пожалуйста вернуть
p
нененене, тип this пожалуйста вернуть
это как
p
fn foo(self) -> Self { self } ?
В
@f0land @WaffleLapkin
Вот, кстати, демонстрация того, что такие "тайпклассы" в шарпе хорошо с джитом дружат: из результирующего асма любые динамические вызовы тупо исчезли:
https://sharplab.io/#v2:C4LghgzgtgPgAgBgAQGUAWYBOAHAMmAIwDoAlAVwDtgBLKAUwG4BYAKESTgEZTKb6iAwgHso2agBs6mFFIBu1AMZ0IzFq2pUpAMzBKkASRlRqAc0xCy2ADwAVAHysA3qySukNpMKgENdABQeklrAADTuSJimaMAAlKoAvqysEMCYZArABlQoZFBGpuaWSCAG+WYW1hrAdkhOLq5wAMxIVZ4iPhT+rUGhLVQRUbFIALw1PUgA1AMm0QlJbJwAbBwATEgA6sBaSM5qLG5IANoAsnTAaEIAJvqi4n6n51c32OIA8tg0QhQQRACCJmZlBBqLI6PoKOINBoTDEALr1VyHABS1GAAHE6J1Igo/MAAJ7YOhCLR+KoxML4wnEvzg4A5PJ0YzlSwxOEIjjNLjLDw2NCYOh0Gy0ZS2MI2MqFbB2AJIL50GJIADuaCkdHcEoqJRSaQyYUMjIKFVsNV2BzcsiwStRnQgEBGSEudB0ZHEwACGpZqjNDQA7FbgDafl4Ov5FdagYJ2r4/HKwnLybLOnF2Yl9m52U0OEs+pkUNQAB5C+gQUn9eM7dkHOB+3n8wXCiBWKp67K5D1SmNJybuPkCosi5tZOltg3Mjvxr1uVPxIA
Вот, кстати, демонстрация того, что такие "тайпклассы" в шарпе хорошо с джитом дружат: из результирующего асма любые динамические вызовы тупо исчезли:
https://sharplab.io/#v2:C4LghgzgtgPgAgBgAQGUAWYBOAHAMmAIwDoAlAVwDtgBLKAUwG4BYAKESTgEZTKb6iAwgHso2agBs6mFFIBu1AMZ0IzFq2pUpAMzBKkASRlRqAc0xCy2ADwAVAHysA3qySukNpMKgENdABQeklrAADTuSJimaMAAlKoAvqysEMCYZArABlQoZFBGpuaWSCAG+WYW1hrAdkhOLq5wAMxIVZ4iPhT+rUGhLVQRUbFIALw1PUgA1AMm0QlJbJwAbBwATEgA6sBaSM5qLG5IANoAsnTAaEIAJvqi4n6n51c32OIA8tg0QhQQRACCJmZlBBqLI6PoKOINBoTDEALr1VyHABS1GAAHE6J1Igo/MAAJ7YOhCLR+KoxML4wnEvzg4A5PJ0YzlSwxOEIjjNLjLDw2NCYOh0Gy0ZS2MI2MqFbB2AJIL50GJIADuaCkdHcEoqJRSaQyYUMjIKFVsNV2BzcsiwStRnQgEBGSEudB0ZHEwACGpZqjNDQA7FbgDafl4Ov5FdagYJ2r4/HKwnLybLOnF2Yl9m52U0OEs+pkUNQAB5C+gQUn9eM7dkHOB+3n8wXCiBWKp67K5D1SmNJybuPkCosi5tZOltg3Mjvxr1uVPxIA
Круто
А что
А что
[JitGeneric(typeof(int), typeof(IntSumSemigroup))] делает?CD
fn foo(self) -> Self { self } ?
не знаю, я и спрашиваю
DS
Круто
А что
А что
[JitGeneric(typeof(int), typeof(IntSumSemigroup))] делает?Это указание sharplab'у явно показать результирующий код дженерик метода для данных типов
DS
Vetro
всмысле тупо исчезли? за счет чего?
За счёт того, что в данном случае у джита хватает информации, чтобы полностью девиртуализовать обращения к интерфейсу ISemigroup
DS
Т.к. его реализует структура, он знает точный тип структуры, она создается по месту и нигде не боксится и т.д. и т.п.
Т8
&'a намного читабельнее (нет)
+
нихуя не читабельнее
нихуя не читабельнее
NL
ты что сказать-то хотел? вот это?
https://wandbox.org/permlink/sZLTBfeUjcabdUdC
https://wandbox.org/permlink/sZLTBfeUjcabdUdC
Да, фикс работает, спасибо за информацию.
CD
Да, фикс работает, спасибо за информацию.
Ну & это по сути требование именованной переменной ака чего-то живущего больше текущего выражения, и временный вектор не подходит
Ct
Ну & это по сути требование именованной переменной ака чего-то живущего больше текущего выражения, и временный вектор не подходит
const & и уже подходитCt
Но модифицировать будет нельзя, да.
Ct
Проблема с use-after-free останется.
CD
const & и уже подходитТам легаси про 1 это const&, когда-нибудь поправят в другой жизни
KR
Т-34 85
+
нихуя не читабельнее
нихуя не читабельнее
T&& аналогично
p
T&& аналогично
+
p
T& это пиздец
Т8
нененене, тип this пожалуйста вернуть
так нету в Rust аналога
decltype, в том-то и дело. Это язык и без компайлтайма как у C++, и без рантайма как у C#