Телеграмм чат группы rust_offtopic страница 16437

Ого, наконец-то он показывает интересную магию!

Я так понимаю, это работает как раз за счёт того что шаблоны плюсах раскрываются до тайпчека и "тип не стирается"?

источник

20:51пожаловаться #4

polunin.ai in rust_offtopic

мне интересно почему у меня игра вылетает из каждой второй игры

источник

20:52пожаловаться #5

polunin.ai in rust_offtopic

чет ощущение что это из-за плюсов ебаных

чет ощущение что это из-за плюсов ебаных

А вот на лиспе...

источник

20:52пожаловаться #7

Kai Ren in rust_offtopic

Переслано от Roman na

Да, это работает за счёт того, что мы не только можем сохранить всю информацию о мапе в типе, но и прочитать её.

источник

20:52пожаловаться #8

Kai Ren in rust_offtopic

Переслано от Roman na

в полиморфизме на подтипах твой тип у name будет типизирован подтипом, т.е. интерфейсом. Ты не можешь получить внутри функции полный тип

источник

20:52пожаловаться #9

Kai Ren in rust_offtopic

Переслано от Roman na

именно поэтому в расте нету вывода типов. Если у нас будет вывод типов, то мы не сможем его вывести для всего сразу - он будет уникальный для каждых типов аргументов

источник

20:52пожаловаться #10

Kai Ren in rust_offtopic

Переслано от Roman na

И ты не сможешь написать f = |x| x + 1;

источник

20:52пожаловаться #11

Kai Ren in rust_offtopic

Переслано от Roman na

f(10i32)

источник

20:52пожаловаться #12

Kai Ren in rust_offtopic

Переслано от Roman na

f(10f32)

источник

20:52пожаловаться #13

Kai Ren in rust_offtopic

Переслано от Roman na

т.е. лямбды в расте не полиморфны, поэтому там и есть вывод типов

источник

20:53пожаловаться #14

Kai Ren in rust_offtopic

Переслано от Roman na

в крестах ты это написать можешь. Потому как на самом деле лямбда это не функция, а объект инкапсулирующий множество функций, либо полиморфную функцию

источник

20:53пожаловаться #15

Kai Ren in rust_offtopic

Переслано от Roman na

https://godbolt.org/z/GYM7W4

godbolt.org

Compiler Explorer - C++ (x86-64 gcc (trunk))

template<typename ... T> struct overload: T... {
using T::operator()...;
};

overload(auto ... xs) -> overload<decltype(xs)...>;

struct a {};
struct b {};

int main() {
auto fint = [](int) { return b{}; };
auto ffloat = [](float) { return b{}; };

overload f{fint, ffloat};

auto ret0 = f(123);//результат типа a
auto ret1 = f(123.f);//результат типа b

}