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

C++ template template non-type parameter

本文关键字：类型参数 C++      更新时间：2023-10-16

我正在尝试实现以下目标：

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&(" 申请(add_pointer、t_i(;

任何

帮助不胜感激！

您可以简单地将函数包装在函子中。
举一个最小的工作示例：

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 成员方法将所有内容转发到正确的函数。

我只是在问如何做"模板bool Function_"，因为布尔部分目前在 c++ 中无效。

据我所知，模板-模板参数是完全不同的事情。它们用于容器，而不是函数。所以class，而不是bool.

这是为什么我不能将"is_pointer"传递给函数的示例

您的示例不起作用，因为add_pointer是一个模板函数，因此当您调用

apply(add_pointer, t_i);

编译器不知道要使用哪个版本(哪种类型Tadd_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);
}
相关文章：