Добрый вечер! Подскажите пожалуйста, как проще всего можно обойти типы

Спасибо, это я сделал. Теперь интересно, как можно избавиться от аргумента? Для этого нужно переносить операцию в шаблонный параметр или можно и без этого?

0

27.05.2022

Denis P

Oleg Stepanov
Спасибо, это я сделал. Теперь интересно, как можно...

Я думаю там все равно будет инстанциирование

0

27.05.2022

Oleg Stepanov Автор вопроса

Ilya Zviagin
Не инстанциируя то вообше невозможно..

Я имел в виду не создавая переменную, конечно 🙂

0

27.05.2022

Denis P

Oleg Stepanov
Спасибо, это я сделал. Теперь интересно, как можно...

Так аргумент это функция куда будут передаваться указатели на типы, если ее убрать то как это должно работать?

0

27.05.2022

Oleg Stepanov Автор вопроса

Это шаблонная функция, и тип там виден без аргумента. Грубо говоря, сейчас у меня такой код: #include <tuple> #include <iostream> template<class Tuple, class Op> void for_each_type(Op &&f) { [&f]<class... Ts>(std::tuple<Ts...> *) { (f(static_cast<Ts *>(nullptr)), ...); }(static_cast<Tuple *>(nullptr)); } int main() { for_each_type<std::tuple<int, float, double>>([]<typename T>(T *) { std::cout << typeid(T).name() << "\n"; }); } и я хочу избавиться от ненужного "T *" в конце

0

27.05.2022

Denis P

Oleg Stepanov
Это шаблонная функция, и тип там виден без аргумен...

template<class Tuple, class Op> void for_each_type(Op&& f) { [&f]<typename... Ts>(std::tuple<Ts...>*) { (f.template operator()<Ts>(), ...); }(static_cast<Tuple*>(nullptr)); }

0

27.05.2022

Oleg Stepanov Автор вопроса

Спасибо, то что надо, но этот вариант положил Apple clang 12.0 с segfault 🙂

0

27.05.2022

Denis P

Oleg Stepanov
Спасибо, то что надо, но этот вариант положил Appl...

может он не любит такой вариант вызова)

0

27.05.2022