将模板类传递给模板函数答案

【问题标题】：Pass templated class to templated function将模板类传递给模板函数
【发布时间】：2017-12-25 09:17:20
【问题描述】：

我有一个非类型模板类：

template<int N> class MyClass; // prototype

还有一个通用的模板函数：

template<class T> Parameters validParams(); // prototype

在模板函数中使用非类型模板类的正确语法是什么？如果我不使用模板类，那么正确的语法是：

template<> Parameters validParams<MyClass>(); // prototype

我环顾四周试图弄清楚这里的语法应该是什么，感谢任何帮助！如果是以下内容，对我来说最有意义，但不是......

template<> Parameters validParams<MyClass<int>>();

使用此代码，我收到以下错误：

expected a constant of size 'int', got 'int'

【问题讨论】：

【解决方案1】：

template<> Parameters validParams<MyClass<int>>();

应该是这样的

template<> Parameters validParams<MyClass<42>>();
                                       // ^^

【讨论】：

【解决方案2】：

看看here.

MyClass<int> 不是类型（例如，MyClass<42> 是），而函数需要类型（类）的名称作为参数。为了能够将 template 作为其 template 参数，语法必须如下：

template<template<typename> class T> Parameters validParams();

【讨论】：

【解决方案3】：

MyClass 是一个类模板，其模板参数是一个值，而不是一个类型。

MyClass<0> 是该模板的有效实例化，会产生一个类。
MyClass<int> 不是该模板的有效实例化。 p>

因此，这条线

template<> Parameters validParams<MyClass<int>>();

无效。有效的用途是：

template<> Parameters validParams<MyClass<0>>();

或

template<> Parameters validParams<MyClass<X>>();

只要X 是编译时间常数。

【讨论】：