非类型模板参数指定错误：C++类模板编译报错排查

错误根源 #

你碰到的编译错误，是因为在类模板内部用圆括号初始化vector<T> v(s);时，编译器把非类型模板参数s误判成了类型名——这是C++语法里的常见歧义：当在类作用域中使用模板参数名时，编译器会优先尝试将其解析为类型，而非值。

修复方法 #

直接用列表初始化语法替代圆括号初始化，就能消除这个歧义，让编译器明确s是一个常量值：

template<typename T, size_t s>
class YourTemplateClass {
    std::vector<T> v{s}; // 用大括号初始化，明确s是初始化参数值
};

或者也可以显式写出构造逻辑，避免语法歧义：

template<typename T, size_t s>
class YourTemplateClass {
    std::vector<T> v;
public:
    YourTemplateClass() : v(s) {} // 在构造函数初始化列表里使用s
};

额外说明 #

你的编译命令g++compile='g++ -ggdb -g3 -pedantic-errors -Wall -Wextra -Wfatal-errors -Wpedantic -std=c++17'开启了严格的语法检查，所以这种细微的歧义会被直接拦截。实际上C++17完全支持用非类型模板参数作为常量表达式初始化容器，只是要避开圆括号初始化带来的类型/值解析歧义。

内容的提问来源于stack exchange，提问作者Vinod