在 C++ 中指定初始值设定项的情况下的模板参数推导

Posted 2023-02-18

【中文标题】在 C++ 中指定初始值设定项的情况下的模板参数推导

【英文标题】：Template argument deduction in case of designated initializers in C++

【发布时间】：2021-12-25 13:39:34

【问题描述】：

在下面的代码中，有一个 A<T> 对象的初始化，模板参数推导使用指定的初始化器以两种稍微不同的形式：

template<typename T>
struct A  T t; ;

int main() 
   A a.t=1;   //#1: ok in GCC and MSVC
   A b.t=1; //#2: ok in MSVC only

GCC 和 MSVC 都接受第一种方式，而第二种方式仅在 GCC 打印错误时适用于 MSVC：

error: class template argument deduction failed:
error: no matching function for call to 'A(<brace-enclosed initializer list>)'

演示：https://gcc.godbolt.org/z/PaEaMjM7q

哪个编译器在那里？

【参考方案1】：

GCC 是正确的。像 1 这样的 Braced-init-list 没有类型，所以它使 template argument deduction 失败。

非推断上下文

...

参数P，其A为a braced-init-list, but P is not std::initializer_list, a reference to one (possibly cv-qualified), or (since C++17)对数组的引用：