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);

不要担心查找的实施，我只是询问如何做＆＃34; template < typename > bool Function_＆＃34;因为bool部分目前在c ++中无效。

任何帮助表示赞赏！

修改

这是一个为什么我无法通过＆＃34; is_pointer＆＃34;功能：

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（＆lt; unresolved overloaded function type＆gt;，sigma :: meta :: Type＆amp;）' 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

我只是在询问如何做＆＃34;模板＆lt; typename＆gt; bool功能_＆＃34;因为bool部分目前在c ++中无效。

据我所知，模板模板参数完全不同。它们用于容器，而不是用于功能。所以class，而不是bool。

这是一个为什么我无法通过＆＃34; is_pointer＆＃34;功能

您的示例无效，因为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);
 }

C ++模板模板非类型参数

2 个答案: