为什么模板声明中的size\t参数必须是const?

const 以便在编译时实例化模板。

LengthC 它不会从初始化到必须实例化模板,因此可以将其视为常量,但编译器没有义务去解决这个问题。规范说必须声明参数 常数 ,这样就不需要进行编译时流控制分析。

模板根据模板参数实例化新类型,这是在编译时完成的。不能在运行时实例化新类型,因为C++是静态类型的。

因此,当您有一个non-const变量时,它不能作为模板参数传递,因为不能保证它是该值(您必须潜在地“在运行时实例化一个新类型”)。只有当它是const时,才能确保该值确实是常量,因此可以在模板参数中使用。

C++编译器是 严格的 const 铸造。

10 和 const size_t LengthB = 20; 关键字,编译器无法轻松确定变量是否可以在声明和用法之间更改。