结构体模板大括号省略与std::array行为不一致的适配问题

#include <array>

template<class T, int N>
struct X {T array[N];};

int main() {

  using std::array;

  array<int,3> a{1,2,3};   //正常运行
  array<int,3> c{{1,2,3}}; //正常运行
  array        b{1,2,3};   //正常运行
  array        d{{1,2,3}}; //无法运行

  X<int,3> e{1,2,3};   //正常运行
  X<int,3> f{{1,2,3}}; //正常运行
  X        g{1,2,3};   //无法运行
  X        h{{1,2,3}}; //正常运行

}

现象与需求 #

上述代码在gcc 14.2.1（编译选项-std=c++23 -O2 -DNDEBUG）下呈现以下差异：

• 用CTAD创建std::array时，单大括号初始化array b{1,2,3}可正常推导，但自定义结构体X的X g{1,2,3}无法编译；
• std::array的双大括号CTADarray d{{1,2,3}}失效，而X的X h{{1,2,3}}可正常推导；
• 显式指定模板参数时，X的单、双大括号初始化均正常工作。

需实现：让X在不指定显式模板参数时，拥有与std::array完全一致的单大括号初始化行为。

解决方案 #

为X添加类模板推导指引，模拟std::array的推导逻辑，同时适配聚合初始化的大括号省略规则。修改后的代码如下：

#include <array>
#include <type_traits>

template<class T, int N>
struct X {T array[N];};

// 推导指引1：匹配单大括号元素列表，推导元素类型与数组大小
template<typename... Args>
requires (std::same_as<Args, std::common_type_t<Args...>> && ...)
X(Args...) -> X<std::common_type_t<Args...>, sizeof...(Args)>;

// 推导指引2：匹配双大括号嵌套初始化，兼容聚合初始化场景
template<typename T, std::size_t N>
X(const T(&)[N]) -> X<T, static_cast<int>(N)>;

int main() {
  using std::array;

  array<int,3> a{1,2,3};   //正常运行
  array<int,3> c{{1,2,3}}; //正常运行
  array        b{1,2,3};   //正常运行
  array        d{{1,2,3}}; //无法运行

  X<int,3> e{1,2,3};   //正常运行
  X<int,3> f{{1,2,3}}; //正常运行
  X        g{1,2,3};   //现在可正常运行
  X        h{{1,2,3}}; //正常运行
}

原理说明 #

1. 单大括号初始化推导：
   第一个推导指引通过requires约束确保所有参数类型一致，用std::common_type_t推导元素类型T，sizeof...(Args)推导数组大小N，完全对齐std::array的CTAD逻辑，让X g{1,2,3}直接推导为X<int,3>。

2. 双大括号场景兼容：
   第二个推导指引匹配C风格数组引用，当使用X h{{1,2,3}}时，内层大括号被解析为int[3]数组字面量，触发推导并正确获取T和N，保留原有聚合初始化的兼容性。

3. 与std::array的差异对齐：
   原代码中std::array d{{1,2,3}}失效，是因为其推导指引优先匹配单元素初始化列表，不支持嵌套双大括号的CTAD。若需完全对齐该特性，可移除第二个推导指引，仅保留第一个即可。

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