C++ - 模板模板参数可以是变量或函数吗？

Question

我仍在尝试完全理解模板。我将它们视为特殊类型。

最近我在阅读关于类的模板模板参数和 我想知道是否可以有一个函数或变量的模板模板参数，而不仅仅是类？像这样的：

template<typename T> void func(T); //template of function 'func'

template<int a> double var = a; //template of variable 'var'

template<template<typename> void templ_param() = func, //parameter template of function

template<int> double templ_param_0 = var //parameter template of variable

> void func1();

编辑：如果不是为什么，还有什么替代方案？

Answer 1

我想知道是否可以有一个函数的模板模板参数

不，你不能。您的示例代码 sn-p 不起作用。

template <template <typename T>> void templ_param() = func,

模板模板参数必须是类模板或别名模板。

来自 C++ 标准：

14.3.3 模板模板参数

1 模板template-parameter 的template-argument 应该是类模板或别名模板的名称，表示为id-expression。

Answer 2

不，模板模板参数只能是类型。

[temp.param]/1 描述模板参数语法如下：

模板参数：

• 类型参数
• 参数声明

类型参数：

• type-parameter-key ..._opt 标识符_opt
• type-parameter-key 标识符_opt= type-id
• template < template-parameter-list > type-parameter-key ..._opt 标识符_opt
• template < 模板参数列表 > type-parameter-key 标识符_opt= id 表达式

类型参数键：

• class
• typename

因此模板模板参数被放入类型参数的类别中，实际上，它们的声明必须在template<...>之后包含class或typename

作为替代方案，您可以将模板函数和变量包装到类中：

template <typename T>
struct FuncWrapper {
    static void func(T t) {
        std::cout << "in func " << t << std::endl;
    }
};

template <int a>
struct VarWrapper {
    static constexpr double var = a;
};

template<
    template <typename T> class FW = FuncWrapper,
    template <int> class VW = VarWrapper> 
void func1() {
    FW<int>::func(VW<42>::var);
}

int main() {
    func1<>();
}