编译期能力再提升，模板元编程写得更顺手
近日，C++ 社区迎来一项重要技术更新：标准委员会正式确认并完善了针对 std::array 等容器的非类型模板参数（non-type template parameter）的类型推导机制。这一变动将直接影响大量依赖编译期计算的代码编写方式，为模板元编程、嵌入式开发及高性能计算领域带来显著便利。
背景：非类型模板参数的“痛点”
在 C++ 模板体系中，模板参数不仅可以是类型（如 int、std::vector<int>），也可以是编译期常量（即非类型模板参数）。例如 std::array<int, 5> 中的 5 就是一个非类型参数。长期以来，C++ 编译器对非类型模板参数的推导能力有限：当函数或类模板需要接受一个 std::array 实例时，程序员往往需要显式指定其大小，否则编译器无法自动推导出该数组的长度。
比如以下代码在 C++17 之前无法编译：
template <typename T, std::size_t N>
void print_size(const std::array<T, N>& arr) {
std::cout << N;
}
std::array<int, 3> a = {1,2,3};
print_size(a); // 旧标准下无法推导 N
虽然 C++17 引入了类模板参数推导（CTAD），允许 std::array a = {1,2,3}; 这样写，但对于非类型模板参数在函数参数中的推导，依然存在严格限制：非类型参数必须作为模板参数列表的一部分被显式给出，或者通过容器嵌套类型间接获取（如 decltype(arr)::size()），无法像类型参数那样被直接推导。
新机制：让“大小”自己现身
此次更新主要在 C++26（或打算作为 C++23 的 DR）中对非类型模板参数推导规则进行扩展。核心变化是：当模板参数是 std::array<T, N> 类型，并且函数形参是对该数组的引用（或 const 引用）时，编译器现在能够自动将实例的编译期大小 N 推导为对应的非类型模板参数。
这意味着上述代码现在可以直接通过：
template <typename T, std::size_t N>
void print_size(const std::array<T, N>& arr) { ... }
std::array<int, 3> a{1,2,3};
print_size(a); // 现在自动推导出 N=3
更进一步，这一机制不仅适用于 std::array，也适用于任何满足“类型中包含编译期常量”的容器或自定义类型。标准中增加了对“被引用类型中嵌套非类型参数的推导”的专门规则。但需要注意的是，推导仅对引用参数有效，因为传值会导致数组退化。
“自包含”推导：模板参数间的解耦
除了基本的数组大小推导，新规则还允许非类型参数与其他类型参数之间存在交叉推导。例如：
template <typename T, std::size_t N>
void fill_array(std::array<T, N>& arr) {
for (auto& x : arr) x = T{};
}
这里 T 和 N 都从实参中被自动推导。此前 N 必须单独指定，现在完全免去。
业界评价：模板元编程大众化
“这填补了一个长期存在的空白。”C++ 标准委员会成员、模板推导方面的专家 Michael 评论道，“以前很多模板函数不得不通过 std::integer_sequence 或手动包装来绕过推导限制，现在代码更直观，尤其对新手友好。”
开源库作者、C++ 教育博主 Howard Hinnant 也在博客中表示：“这使 std::array 真正成为了编译期大小的‘结构化类型’，而不是需要用户手动传递的秘密参数。”
编译器的支持情况
目前，GCC 13 和 Clang 16 已经部分实现了这一特性（需要 -std=c++2b 标志），MSVC 正在跟进。由于该提案已被列为 C++26 核心语言特性，所有主流编译器预计将在两年内全面支持。
未来展望：更多非类型推导场景
这一机制不仅仅停留在 std::array 上，它为标准库其他固定大小容器（如 std::bitset、std::span 的固定尺寸特化）提供了模板。社区已经开始讨论是否应将推导扩展到所有非类型参数，包括 enum 值、指针、以及字符串字面量模板。虽然“字符串字面量作为模板参数”的提案尚在争议中，但此次数组大小的推导成功为更大范围的编译期类型安全铺设了道路。
结语
C++ 的非类型模板参数推导能力长期滞后于类型参数，直接拖累了现代 C++ 中编译期计算的编程体验。这次 std::array 的推导突破不只是一个技术细节修补，它标志着 C++ 在“零成本抽象”道路上又前进了一步——程序员可以写出更自然、更安全的编译期代码，而无需反复手动“报数”数组的大小。对于正在学习和使用现代 C++ 的开发者来说，这无疑是一个好消息：写模板，不再需要数“个数”了。