std::initializer_list 可以专门化吗？

Question

在查看列表初始化的各种规则时，我在dcl.init.list#3.6中发现了这一点：

否则，如果 T 是std::initializer_list<E>的特化，则 object 的构造如下所述。

另一方面，在std::initializer_list的概要中，在support.initlist中，我发现了以下语句：

如果声明了initializer_list的显式特化或部分特化，则程序格式错误。

这些似乎是相互矛盾的陈述，所以我误解了什么？

Answer 1

“模板特化”有两个不同的含义：

1. “显式（完全）特化”或“部分特化” - 一种语言结构，可针对模板参数的某些组合改变模板的含义。

2. 通过将模板 arguments 替换为模板生成的东西。
   换句话说，如果您为模板指定模板 arguments，则生成的类型/函数/变量/...是该模板的特化。 例如std::vector<int>是std::vector的一个特化。

看起来您引用的第一段使用（2）。

所以“如果T是std::initializer_list<E>的特化”大致意思是“如果存在这样的E使得std::is_same_v<T, std::initializer_list<E>> ”，或者“如果T是一个std::initializer_list<E> "。

Answer 2

没有矛盾。

如果声明了 initializer_list 的显式特化或部分特化，则程序格式错误。

意味着您不能声明专业化。 允许编译器本身消除std::initializer_list的特化

---

可能导致您出现问题的事情是您从模板中获得的具体类型称为专业化。 这就是第一段所说的。 第二段是在谈论实际定义/声明std::initializer_list的专门化