如何实现可接收任意大小数组作为模板参数的C++模板类？

实现思路与优化方案 #

你给出的偏特化思路是对的，核心就是通过模板偏特化捕获固定大小数组的长度参数，只要补全细节就能实现编译期字符串哈希的需求：

1. 修正并补全基础数组包装类

你现有代码的stringLen函数漏了返回值，同时建议用std::size_t替代int存储数组长度避免溢出，优化后的代码如下：

#include <cstddef>

// 主模板兜底声明
template <typename>
struct CharArrayWrapper {};

// 针对固定长度数组的偏特化，自动捕获元素类型T和数组长度N
template <typename T, std::size_t N>
struct CharArrayWrapper<T[N]>
{
    // 数组总长度（如果是字符串字面量会包含末尾的'\0'）
    static constexpr std::size_t total_size = N;
    // 字符串有效长度（排除末尾终止符）
    static constexpr std::size_t str_length = N - 1;

    // 持有数组的constexpr引用，方便后续编译期读取内容
    const T (&arr)[N];

    // 隐式构造函数，支持直接传入字符串字面量/固定大小数组构造
    constexpr CharArrayWrapper(const T (&arr)[N]) noexcept : arr(arr) {}
};

2. 编译期哈希实现

所有操作都加constexpr修饰就能在编译期执行，这里以常用的DJB2哈希算法为例：

// 编译期数组哈希计算函数
template <typename T, std::size_t N>
constexpr std::size_t calc_hash(const T (&arr)[N]) noexcept
{
    std::size_t hash = 5381;
    for (std::size_t i = 0; i < CharArrayWrapper<T[N]>::str_length; ++i) {
        hash = ((hash << 5) + hash) + arr[i];
    }
    return hash;
}

// 使用示例，哈希值在编译期就计算完成
constexpr CharArrayWrapper str("test_string");
constexpr std::size_t test_hash = calc_hash(str.arr);

3. C++20简化方案

如果你的编译环境支持C++20，可以直接用自定义字面量类型作为非类型模板参数，省去外层包装的调用步骤：

#include <cstddef>

template<std::size_t N>
struct FixedStr
{
    char data[N]{};
    constexpr FixedStr(const char (&s)[N]) noexcept {
        for (std::size_t i = 0; i < N; ++i) data[i] = s[i];
    }
};

// 直接将字符串作为模板参数传入，计算编译期哈希
template<FixedStr S>
constexpr std::size_t compile_hash()
{
    return calc_hash(S.data);
}

// 调用示例，直接在模板参数中传入字符串字面量
constexpr auto hello_hash = compile_hash<"hello world">();

注意事项 #

• 只有编译期已知大小的固定数组、字符串字面量才能被模板捕获长度，退化为指针的数组无法使用该方案
• 如果需要处理普通数值数组而非字符串，删除str_length的-1逻辑即可

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