C++ шаблон шаблона нетипичный параметр

Question

Я пытаюсь добиться следующего:

template<template<typename> bool Function_, typename ... Types_>
constexpr auto find(Tuple<Types_ ... >) noexcept
{
    // ... 
}

где возможная функция может быть:

template<typename T>
inline constexpr bool is_pointer_v = is_pointer<T>::value;

так что использование find будет:

Tuple<int, char, void *> t;
find<is_pointer_v>(t);

не беспокойтесь о реализации find, я просто спрашиваю о том, как это сделатьtemplate < typename > bool Function_"как bool часть недействительна в C++ в настоящее время.

любая помощь приветствуется!

РЕДАКТИРОВАТЬ:

вот пример того, почему я не могу пройтиis_pointer"к функции:

template<typename T_>
constexpr auto add_pointer(Type<T_>) noexcept
{ return type_c<T_ *>; }

template<typename F_, typename T_>
constexpr auto apply(F_ f, Type<T_> t) noexcept
{
    return f(t);
}

int main(void)
{
    Type<int> t_i;
    apply(add_pointer, t_i);
}

это приводит к ошибке компилятора:

ошибка: нет соответствующей функции для вызова 'apply(<неразрешенный тип перегруженной функции>, sigma::meta::Type&)' apply(add_pointer, t_i);

Answer 1

любая помощь приветствуется!

Вы можете просто обернуть свои функции в функторы.
Как минимальный рабочий пример:

template<typename>
struct Type {};

template<typename>
struct type_c {};

template<typename T_>
struct add_pointer {
    static constexpr auto invoke(Type<T_>) noexcept
    { return type_c<T_ *>{}; }
};

template<template<typename> class F_, typename T_>
constexpr auto apply(Type<T_> t) noexcept {
    return F_<T_>::invoke(t);
}

int main(void) {
    Type<int> t_i;
    apply<add_pointer>(t_i);
}

Если вы не можете изменить их напрямую, создайте функторы, которые перенаправляют все в нужную функцию с помощью статического метода-члена constexpr.

Answer 2

Я просто спрашиваю о том, как сделать "template bool Function_", так как часть bool в настоящее время недопустима в C++.

Насколько я знаю, аргументы шаблона-шаблона - это совсем другое. Они предназначены для контейнеров, а не для функций. Так classне bool,

Вот пример того, почему я не могу передать is_pointer в функцию

Ваш пример не работает, потому что add_pointer является функцией шаблона, поэтому при вызове

apply(add_pointer, t_i);

компилятор не знает, какая версия (какой тип T) из add_pointer использовать.

Решение может быть явным, как в следующем упрощенном примере.

#include <tuple>
#include <iostream>

template <typename T>
constexpr auto add_pointer(std::tuple<T>) noexcept
 { std::cout << "add_pointer" << std::endl; return 0; }

template <typename F, typename T>
constexpr auto apply(F f, std::tuple<T> t) noexcept
 { return f(t); }

int main(void)
 {
   std::tuple<int> t_i { 1 };

   apply<int(*)(std::tuple<int>)>(add_pointer, t_i);
 }

но я понимаю что объясняя int(*)(std::tuple<int>) это большая боль в заднице.

Вы можете немного упростить, используя тот факт, что вы передаете t так что вы можете вывести тип аргумента, полученного функцией, но (для общего решения) я не знаю, как избежать явного возвращаемого типа функции (возможно, это возможно, но (в данный момент) я не понимаю не знаю

Таким образом, вы можете упростить вызов следующим образом

apply<int>(add_pointer, t_i);

и следующее является немного более общим примером

#include <tuple>
#include <iostream>

template <typename ... Ts>
constexpr auto add_pointer(std::tuple<Ts...> const &) noexcept
 { std::cout << "add_pointer" << std::endl; return 0; }

template <typename R, typename ... Ts, 
          typename F = R(*)(std::tuple<Ts...> const &)>
constexpr auto apply(F f, std::tuple<Ts...> t) noexcept
 { return f(t); }

int main(void)
 {
   std::tuple<int> t_i { 1 };

   apply<int>(add_pointer, t_i);
 }