Здравствуйте! Есть проблема по поводу метапрограммирования... Пусть есть некий функтор template<...> using F

Question

Здравствуйте! Есть проблема по поводу метапрограммирования... Пусть есть некий функтор template<...> using F

= ...;

Нужно как то его передать в темплейт, но я не могу придумать темплейт принимающий "абстрактный" функтор, получается только тот, которому явно задали принимаемые им параметры

Пример:
template<template<auto...> typename X> - принимает функтор, берущий только значения

template<template<typename...> typename X> - принимает функтор, берущий только типы

Можно ли объявить обобщённый функтор в темплейте?

#c++ #embedded #programming #russian

0

01.01.2023

7 ответов

31 просмотр

Vladimir123

Разве template<typename T...> не сработает?

0

01.01.2023

Владимир Автор вопроса

Vladimir123
Разве template<typename T...> не сработает?

он принимает только типы

0

01.01.2023

Владимир Автор вопроса

Владимир
он принимает только типы

template<typename, int> using F = ...; в него уже не засунуть

0

01.01.2023

🐻Alex Fails🦥🏔🍓 ︙

Я делал хак с шаблонами функций

0

07.01.2023

🐻Alex Fails🦥🏔🍓 ︙

🐻Alex Fails🦥🏔🍓 ︙
Я делал хак с шаблонами функций

#include <type_traits> template <auto nttp> constexpr std::true_type is_nttp() noexcept {return {};} template <typename T> constexpr std::false_type is_nttp() noexcept {return {};} static_assert(decltype(is_nttp<14>())::value); static_assert(!decltype(is_nttp<int>())::value); int main(){} #hack #nttp

0

07.01.2023

Владимир Автор вопроса

🐻Alex Fails🦥🏔🍓 ︙
#include <type_traits> template <auto nttp> const...

это не подходит даже как хак, потому что нет ни готового значения, и готового типа

0

07.01.2023

Sergey Anisimov · Accepted Answer

Sergey Anisimov

Увы, универсальные шаблонные параметры в языке не предусмотрены.

0

01.01.2023

170 похожих чатов

Здравствуйте! Есть проблема по поводу метапрограммирования... Пусть есть некий функтор template<...> using F

7 ответов

Похожие вопросы