C++ 当模板<；类型名称、值…>；

这个问题如下：

考虑以下代码：

#include <iostream>
#include <vector>
#include <array>
#include <type_traits>

// Version A
template<typename T>
void f(const T& x)
{
    std::cout<<"Version A"<<std::endl;
}

// Version B
template<typename... T1, template<typename...> class T>
void f(const T<T1...>& x)
{
    std::cout<<"Version B"<<std::endl;
}

// Version C
template<typename T1, typename TN, template<typename, TN...> class T, TN... N>
void f(const T<T1, N...>& x)
{
    std::cout<<"Version C"<<std::endl;
}

// Main
int main(int argc, char* argv[])
{
    f(double());
    f(std::vector<double>());
    f(std::array<double, 3>()); // <- How to force the use of Version C ?
    return 0;
}

当传递的类型是形状良好的模板时，如何强制使用

Version C

（我可以添加

f

的新版本，我可以添加

std:：enable_if

或其他C++11类型特征语法，但如果可能，我希望避免添加助手类）

---

注意：这个技巧应该适用于所有整数类型TN.

您不能在模板参数推断中推断非类型模板参数的类型。标准中明确规定了这一点：

14.8.2.5从类型[temp.Decrete.type]推断模板参数 13-无法从非类型模板参数的类型推断模板类型参数。
14-[示例：

template<class T, T i> void f(double a[10][i]);
int v[10][20];
f(v); // error: argument for template-parameter T cannot be deduced

模板空f（双a[10][i]）；
INTV[10][20]；
f（v）；//错误：无法推导模板参数T的参数

-[结束示例]

这项工作：

// Version C
template<typename T1, template<typename, size_t...> class T, size_t... N>
void f(const T<T1, N...>&) {
    std::cout<<"Version C"<<std::endl;
}

//C版
模板
无效f（常数T&）{
std：：coutI怀疑这是可能的。你为什么要这样做呢？你试过调用
f（std：：array{}）
？请注意，你正在犯一个令人烦恼的解析错误。如果你把它改成：
模板void f（const C&x）{
，然后它就可以工作了。@KerrekSB:我不认为这是一个令人烦恼的解析错误。@Nawaz:哦，你是对的。谢谢。不，你可以。@KonradRudolph这是不同的；
TSize
是从数组元素类型推导出来的。
// Version C
template<typename T1, template<typename, size_t...> class T, size_t... N>
void f(const T<T1, N...>&) {
    std::cout<<"Version C"<<std::endl;
}