如何实现带size_t模板参数的Field类模板实参自动推导？

问题背景 #

你声明了一个接受size_t模板参数的模板结构体Field，用于处理ELF文件头字段，代码如下：

typedef unsigned char byte;

template <size_t NumBytes>
struct Field
{
    bool is_set = false;
    std::array<byte, NumBytes> data;

    Field() = default;
    Field(byte &&val, bool is_set = false);
    Field(std::initializer_list<byte> predef);
};

你希望通过const Field EI_MAG = {0x7F, 0x45, 0x4c, 0x46};的方式定义字段，让编译器自动推导模板参数NumBytes，使EI_MAG的类型为const Field<4>。你尝试编写的模板推导指南如下：

template <class Type, class... Data>
Field(Type, Data...) -> Field<sizeof...(Data)>;

但编译器报错：

error: invalid use of template-name ‘Field’ without an argument list
   53 |     const Field EI_MAG          = {0x7F, 0x45, 0x4c, 0x46};
      |           ^~~~~

需要解决：如何实现自动推导？是否可行？std::array又是如何做到的？（注：代码位于.hpp文件，结构体函数定义在对应.cpp文件中）

解决方案与原理 #

1. 当前推导指南失效的原因 #

• 你的推导指南针对多参数构造调用设计，但实际使用的是列表初始化语法，且推导逻辑错误：sizeof...(Data)会排除第一个参数，导致推导的模板参数值比实际传入的字节数少1。
• 由于你声明了自定义构造函数，Field不再是聚合体，列表初始化会尝试匹配构造函数，但编译器无法从传入的字节值推导size_t类型的模板参数。

2. 实现自动推导的两种有效方式 #

方式一：基于参数包的推导指南（C++17+）

编写匹配byte参数包的推导指南，让编译器根据传入的字节数量推导NumBytes：

template <byte... Bs>
Field(Bs...) -> Field<sizeof...(Bs)>;

同时需要在头文件中实现对应的模板构造函数（模板函数无法分离编译）：

template <size_t NumBytes>
template <byte... Bs>
Field<NumBytes>::Field(Bs... bs) : is_set(true) {
    size_t idx = 0;
    ((data[idx++] = bs), ...); // 用折叠表达式初始化数组
}

此时const Field EI_MAG = {0x7F, 0x45, 0x4c, 0x46};会被编译器推导为const Field<4>。

方式二：基于initializer_list的推导指南（C++17+）

如果你想沿用现有的std::initializer_list<byte>构造函数，可编写对应的推导指南：

template <class T>
Field(std::initializer_list<T>) -> Field<std::initializer_list<T>::size()>;

确保构造函数能正确初始化data数组：

template <size_t NumBytes>
Field<NumBytes>::Field(std::initializer_list<byte> predef) : is_set(true) {
    assert(predef.size() == NumBytes); // 检查长度匹配
    std::copy(predef.begin(), predef.end(), data.begin());
}

3. std::array的推导原理 #

std::array在C++17+支持自动推导，核心是官方提供的推导指南：

template <class T, class... U>
array(T, U...) -> array<T, 1 + sizeof...(U)>;

该指南会统一所有参数的类型为T，并推导数组大小为参数总数（1 + sizeof...(U)）。同时std::array是聚合体，既支持聚合初始化，又能通过推导指南自动匹配模板参数。

4. 注意事项 #

• 模板推导指南仅支持C++17及以上版本，若使用更早标准，必须显式指定模板参数（如const Field<4> EI_MAG = {0x7F, 0x45, 0x4c, 0x46};）。
• 模板构造函数必须放在头文件中，无法像普通函数一样分离到.cpp文件编译。
• 若想让Field保持聚合体属性，需移除所有自定义构造函数声明，此时推导指南需适配聚合成员（is_set和data）的初始化规则，但会增加使用复杂度。

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