Question

假设我有一个template函数：

template<typename T>
T produce_5_function() { return T(5); }

如何将整个template传递给另一个template？

如果produce_5_function是一个仿函数，那就没问题了：

template<typename T>
struct produce_5_functor {
  T operator()() const { return T(5); }
};
template<template<typename T>class F>
struct client_template {
  int operator()() const { return F<int>()(); }
};
int five = client_template< produce_5_functor >()();

但我希望能够使用原始函数模板执行此操作：

template<??? F>
struct client_template {
  int operator()() const { return F<int>(); }
};
int five = client_template< produce_5_function >()();

我怀疑答案是“你不能这样做”。

Answer 1

我怀疑答案是“你不能这样做”。

是的，就是这种情况，您不能将函数模板作为模板参数传递。从14.3.3开始：

模板模板参数的模板参数应为类模板或别名模板的名称，表示为 ID-表达。

模板函数需要在之前实例化，然后将其传递给另一个模板。一种可能的解决方案是传递一个包含静态produce_5_function的类类型，如下所示：

template<typename T> struct Workaround { static T produce_5_functor() { return T(5); } }; template<template<typename>class F> struct client_template { int operator()() const { return F<int>::produce_5_functor(); } }; int five = client_template<Workaround>()();

使用别名模板，我可以更近一点：

template <typename T> T produce_5_functor() { return T(5); } template <typename R> using prod_func = R(); template<template<typename>class F> struct client_template { int operator()(F<int> f) const { return f(); } }; int five = client_template<prod_func>()(produce_5_functor);

Answer 2

包装该功能怎么样？

template<typename T>
struct produce_5_function_wrapper {
    T operator()() const { return produce_5_function<T>(); }
};

然后你可以使用包装器而不是函数：

int five = client_template< produce_5_function_wrapper >()();

单独使用模板功能不起作用，没有“模板模板功能”。

如何在模板参数列表中传递模板函数

2 个答案: