𝚙
но я точно слышал термин type erasure очень много раз
Size: a a a
2020 June 05
MB
Ну и мономорфизация/type erasure это не совсем про тайпчекинг
𝚙
я всегда думал что std::function, std::bind делает type erasure
𝚙
ну типа сами шаблоны понятно что это строго по vtable дедукции
MB
Например, в C++ мономорфизация и тайпчекинг после нее.
В расте мономорфизация и тайпчекинг до нее.
В джаве стирание и тайпчекинг до него.
В расте мономорфизация и тайпчекинг до нее.
В джаве стирание и тайпчекинг до него.
MB
я всегда думал что std::function, std::bind делает type erasure
Они стирают типы.
𝚙
void*MB
Ну std::vector<T> не стирает
NL
что вы все ждали параметрический полиморфизм в го
Я наоборот жду, что его не будет. Я год назад поспорил с одним парнем, что в Го через пять лет дженериков не будет.😑
AB
я всегда думал что std::function, std::bind делает type erasure
function делает
DF
Да
DF
Есть ещё буст еража
MB
Они стирают типы.
а, да. я про std::bind погорячислся видимо, он вроде не стирает.
MB
ну а std::function даже не видит тип твоей функции (он знает только типы аргументов и возвращаемого значения), поэтому у него нет выхода кроме как стирать.
AB
ну а std::function даже не видит тип твоей функции (он знает только типы аргументов и возвращаемого значения), поэтому у него нет выхода кроме как стирать.
При этом зная тип, можно получить оригинальный функтор
DF
Ого
DF
У него конверсия определена ?
AB
Указатель на него, ошибся https://en.cppreference.com/w/cpp/utility/functional/function/target
AB
Dollar Føølish
У него конверсия определена ?
Нет, шаблонный метод. По ссылке есть пример
AB
Хз зачем правда