C++17下如何让模板类自动推导数组模板参数的大小

这题我熟！C++17的**类模板参数推导（CTAD）**正好能完美解决你的需求——不用宏、不用手动计算数组大小，还能在编译期严格校验数组尺寸，完全适配gcc、clang和Visual Studio。

改进后的模板类实现 #

我们可以利用数组引用的模板参数特性，结合std::extent_v（C++17标准库工具）自动推导数组大小，同时加入编译期断言做校验：

#include <iostream>
#include <cstddef>
#include <type_traits> // 用于std::extent_v

// 主模板：数组引用作为模板参数，自动推导大小
template <const char* (&A)[], std::size_t N = std::extent_v<decltype(A)>>
class Array {
    // 编译期强制校验：手动指定的N必须和数组实际大小一致
    static_assert(N == std::extent_v<decltype(A)>, "Error: Array size mismatch!");
public:
    // constexpr成员函数，支持编译期计算
    constexpr std::size_t getCount() const { return N; }
    constexpr const char* getAt(std::size_t n) const {
        // 可选：编译期检查常量索引是否越界
        if constexpr (std::is_constant_evaluated()) {
            static_assert(n < N, "Error: Index out of bounds!");
        }
        return (n < N) ? A[n] : nullptr;
    }
};

// 显式推导指南：告诉编译器如何从数组参数推导模板参数
template <const char* (&A)[]>
Array(A) -> Array<A>;

使用方式（超简洁） #

现在你可以直接用你想要的写法，编译器会自动推导数组大小：

const char* TextArray[] = { "zero", "one", "two" };

int main() {
    // 写法1：最简洁，CTAD自动推导
    Array a{TextArray};
    // 写法2：显式指定数组参数，大小自动推导
    // Array<TextArray> a;

    printf("a.getCount() is %zu\n", a.getCount()); // 输出3
    printf("a.getAt(1) is %s\n", a.getAt(1)); // 输出one

    // 测试编译期错误：手动指定错误大小会触发断言
    // Array<TextArray, 100> bad_a; // 编译失败，提示"Error: Array size mismatch!"
    // 测试编译期越界检查：常量索引越界也会报错
    // printf("%s\n", a.getAt(3)); // 编译失败，提示"Error: Index out of bounds!"
}

核心原理说明 #

1. 自动推导大小：std::extent_v<decltype(A)>会在编译期获取数组A的实际元素个数，作为模板参数N的默认值，不用手动计算sizeof(A)/sizeof(A[0])。
2. 编译期校验：static_assert会强制检查手动指定的N是否和数组实际大小一致，一旦不匹配就抛出清晰的编译错误。
3. CTAD支持：显式推导指南Array(A) -> Array<A>告诉编译器，当传入数组引用时，自动推导模板参数为该数组，实现Array a{TextArray}的简洁写法。
4. 兼容性：所有C++17兼容的编译器（gcc 7+、clang 5+、MSVC 2017+）都支持这些特性，完全符合你的环境要求。

额外优化点 #

• 用constexpr修饰成员函数，让getCount()和getAt()可以在编译期执行，进一步提升性能。
• 加入编译期越界检查（针对常量索引），提前发现错误。

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