待决名
来自cppreference.com
在模板（类模板和函数模板）定义中，某些构造的含义可以在不同的实例化间有所不同。特别是，类型和表达式可能会取决于类型模板形参的类型和常量模板形参的值。
template<typename T>struct X : B<T>// “B<T>” 取决于 T{typename T::A* pa;// “T::A” 取决于 T// （此 “typename” 的使用的目的见下文）void f(B<T>* pb){staticint i = B<T>::i;// “B<T>::i” 取决于 T pb->j++;// “pb->j” 取决于 T}};
对待决名和非待决名的名字查找和绑定有所不同。
目录 |
[编辑]绑定规则
非待决名在模板定义点查找并绑定。即使在模板实例化点有更好的匹配，也保持此绑定：
运行此代码
如果非待决名的含义在定义点和模板特化的实例化点间有所改变，那么程序非良构，不要求诊断。在下列情形可能会出现这种情况：
- 非待决名用到的类型在定义点不完整但在实例化点完整
| (C++17 起) |
- 实例化使用了在定义点尚未定义的默认实参或默认模板实参
- 实例化点的某个常量表达式使用了整型或无作用域枚举类型的 const 对象的值、constexpr 对象的值、引用的值或者 constexpr 函数的定义(C++11 起)，而该对象/引用/函数(C++11 起)在模板的定义点还没有定义
- 该模板在实例化点使用了非待决的类模板特化或变量模板特化(C++14 起)，而它所用的这个模板，或者从某个在定义点处还没有定义的部分特化所实例化，或者指名了某个在定义点处还没有声明的显式特化。
待决名的绑定则延迟到查找发生时。
[编辑]查找规则
对于模板中所使用的待决名的查找延迟到模板实参已知时，
- 非实参依赖查找会查找检验从模板定义的语境可见的具有外部连接的(C++11 前)函数声明
- 实参依赖查找会一并检验从模板定义的语境或从模板实例化的语境可见的具有外部连接的(C++11 前)函数声明
（换言之，在模板定义后添加新函数声明不会令其可见，除非通过实参依赖查找）。
此规则的目的是帮助模板实例化抵御 ODR 违规：
// 某个外部库namespace E {template<typename T>void writeObject(const T& t){std::cout<<"Value = "<< t <<'\n';}} // 翻译单元 1：// 程序员 1 希望允许 E::writeObject 与 vector<int> 一同使用namespace P1 {std::ostream& operator<<(std::ostream& os, conststd::vector<int>& v){for(int n : v) os << n <<' ';return os;} void doSomething(){std::vector<int> v; E::writeObject(v);// 错误：找不到 P1::operator<<}} // 翻译单元 2：// 程序员 2 希望允许 E::writeObject 与 vector<int> 一同使用namespace P2 {std::ostream& operator<<(std::ostream& os, conststd::vector<int>& v){for(int n : v) os << n <<':';return os <<"[]";} void doSomethingElse(){std::vector<int> v; E::writeObject(v);// 错误：找不到 P2::operator<<}}
在上例中，假如允许从实例化语境对 operator<< 进行非实参依赖查找，那么 E::writeObject<vector<int>> 的实例化会拥有两个不同定义：一个使用 P1::operator<<，一个使用 P2::operator<<。连接器可能无法检测这种 ODR 违规，导致两个实例中都使用其中一个或另一个。
为使得实参依赖查找检测用户定义命名空间，要么应当将 std::vector 替换成用户定义类，要么它的元素类型需要是用户定义类：
namespace P1 {// 如果 C 是在 P1 命名空间中定义的类std::ostream& operator<<(std::ostream& os, conststd::vector<C>& v){for(C n : v) os << n;return os;} void doSomething(){std::vector<C> v; E::writeObject(v);// OK：实例化 writeObject(std::vector<P1::C>)// 通过 ADL 找到 P1::operator<<}}
注意：由于此规则，实践中不适合为标准库类型重载运算符：
运行此代码
#include <iostream>#include <iterator>#include <utility>#include <vector> // 坏主意：全局命名空间中的运算符，但它的实参处于 std:: 中std::ostream& operator<<(std::ostream& os, std::pair<int, double> p){return os << p.first<<','<< p.second;} int main(){typedefstd::pair<int, double> elem_t;std::vector<elem_t> v(10);std::cout<< v[0]<<'\n';// OK，普通查找找到 ::operator<<std::copy(v.begin(), v.end(), std::ostream_iterator<elem_t>(std::cout, " "));// 错误：从 std::ostream_iterator 定义点的普通查找和 ADL 只会考虑 std// 命名空间，而且将找到 std::operator<< 的多个重载，因此这种查找会完成。// 之后在查找所找到的集合中，重载决议为 elem_t 寻找 operator<< 会失败。}
注意：在模板定义时，也会发生待决名的有限制的查找（但非绑定），以便将它们与非待决名进行区分，也用于确定它们是当前实例化的成员还是未知特化的成员。此查找所获得的信息可用于检测错误，见下文。
[编辑]待决类型
下列类型是待决类型：
- 模板形参
- 未知特化（见下文）的成员
- 作为未知特化（见下文）的待决成员的嵌套类/枚举
- 待决类型的 cv 限定版本
- 从待决类型构成的复合类型
- 元素类型待决或边界（如果存在）是值待决的数组类型
| (C++11 起) |
- 异常说明是值待决的函数类型
- 模板标识，其中
- 模板名是某个模板形参，或者
- 有任何模板实参是类型待决或值待决的，或者是包展开(C++11 起)（即使用到的模板标识不带实参列表，如注入类名）
应用到类型待决表达式的 decltype 的结果是唯一的待决类型。两个这样的结果只有在它们的表达式等价时才指代同一类型。 | (C++11 起) |
应用于类型待决的常量表达式的包索引说明符是一种独有的待决类型。仅当两个这种包索引说明符的常量表达式等价时，它们代表相同类型。否则，两个包索引说明符仅当它们的索引具有相同值时代表相同类型。 | (C++26 起) |
注意；当前实例化的 typedef 成员只有在它指代的类型待决时才会是待决的。
[编辑]类型待决表达式
下列表达式是类型待决 的：
- 包含某个能被自身的名字查找找到至少一个待决声明的标识符
- 包含待决的模板标识
| (C++11 起) |
| (C++14 起) |
| (C++17 起) |
| (C++26 起) |
- 任何到待决类型的转型表达式
- 创建待决类型对象的 new 表达式
- 指代当前实例化的某个类型待决的成员的成员访问表达式
- 指代未知特化的某个成员的成员访问表达式
| (C++17 起) |
| (C++26 起) |
以下表达式始终不是类型待决的，因为这些表达式的类型不可能待决：
| (C++11 起) |
| (C++20 起) |
[编辑]值待决表达式
下列表达式是值待决 的：
| (C++20 起) |
- 它是类型待决的。
- 它是某个常量模板形参的名字。
- 它指名某个作为当前实例化的待决成员的静态数据成员，且未被初始化。
- 它指名某个作为当前实例化的待决成员的静态成员函数。
- 它是具有整数或枚举(C++11 前)字面(C++11 起)类型的常量，并从值待决表达式初始化。
- 它是以下表达式之一，并且操作数是类型待决的表达式：
| (C++11 起) |
- 它是以下表达式之一，并且操作数是待决的类型标识：
- 它是以下表达式之一，并且目标类型是待决的或者操作数是类型待决的表达式：
- 函数风格转型表达式，其中目标类型是待决的或者圆括号或花括号(C++11 起)包围了至少一个值待决的表达式
| (C++11 起) | |
| (C++17 起) |
[编辑]待决名
| 本节未完成 原因：来自 [temp.dep] 的领句，现在缺失（后随有括号列表的 id 表达式……） |
| 本节未完成 原因：重新遣词以令它更清晰（或至少不要那么吓人），并在 ait 时应用 CWG 问题 591 |
[编辑]当前实例化
在类模板定义内（包含它的成员函数和嵌套类），一些名字可以推导为指代当前实例化。这样就可以在定义点，而非在实例化点检测某些错误，并移除对待决名上的 typename 及 template 消歧义符的要求，见下文。
只有下列名字可以指代当前实例化：
- 在类模板的定义，类模板的嵌套类，或其成员的定义中：
- 该类模板或嵌套类的注入类名
- 在主类模板或其成员的定义中：
- 该类模板的名字后随主模板的模板实参列表（或等价的别名模板特化），其中每个实参和它对应的形参等价（定义见下文）
- 在类模板的嵌套类的定义中：
- 被用作当前实例化成员的该嵌套类的名字
- 在类模板部分特化或其成员的定义中：
- 该类模板的名字后随部分特化的模板实参列表，其中每个实参和它对应的形参等价
- 在模板化函数的定义中：
- 局部类名
模板实参在满足以下条件时和指定的模板形参等价：
- 变量和模板形参的类型相同（忽略 cv 限定），并且
- 变量的初始化器只包含一个标识符，该标识符要么命名指定的模板形参，要么递归地命名另一个与指定的模板形参等价的变量。
template<class T>class A { A* p1;// A 是当前实例化 A<T>* p2;// A<T> 是当前实例化::A<T>* p4;// ::A<T> 是当前实例化 A<T*> p3;// A<T*> 不是当前实例化 class B { B* p1;// B 是当前实例化 A<T>::B* p2;// A<T>::B 是当前实例化typename A<T*>::B* p3;// A<T*>::B 不是当前实例化};}; template<class T>class A<T*>{ A<T*>* p1;// A<T*> 是当前实例化 A<T>* p2;// A<T> 不是当前实例化}; template<int I>struct B {staticconstint my_I = I;staticconstint my_I2 = I +0;staticconstint my_I3 = my_I;staticconstlong my_I4 = I;staticconstint my_I5 =(I); B<my_I>* b1;// B<my_I> 是当前实例化：// my_I 的类型和 I 相同，并且只以 I 初始化 B<my_I2>* b2;// B<my_I2> 不是当前实例化：// I + 0 不是单独的标识符 B<my_I3>* b3;// B<my_I3> 是当前实例化：// my_I3 的类型和 I 相同，并且只以 my_I（它和 I 等价）初始化 B<my_I4>* b4;// B<my_I4> 不是当前实例化：// my_I4 的类型（long）和 I 的类型（int）不同 B<my_I5>* b5;// B<my_I5> 不是当前实例化：// (I) 不是单独的标识符};
注意，如果嵌套类派生自它的外围类模板，那么基类也可以是当前实例化。是待决类型但不是当前实例化的基类是待决基类：
template<class T>struct A {typedefint M; struct B {typedefvoid M; struct C;};}; template<class T>struct A<T>::B::C: A<T>{ M m;// OK，A<T>::M};
符合以下情况的名字被归类为当前实例化的成员：
- 由无限定查找在当前实例化或它的非待决基类中所找到的未限定名
- 限定符（
::左侧的名字）指名了当前实例化，且查找在当前实例化或其非待决基类中找到的限定名 - 用于类成员访问表达式的名字（x.y 或 xp->y 中的 y），其中对象表达式（x 或 *xp）是当前实例化，且查找在当前实例化或它的非待决基类中找到了该名字
template<class T>class A {staticconstint i =5; int n1[i];// i 指代当前实例化的成员int n2[A::i];// A::i 指代当前实例化的成员int n3[A<T>::i];// A<T>::i 指代当前实例化的成员 int f();}; template<class T>int A<T>::f(){return i;// i 指代当前实例化的成员}
当前实例化的成员可以同时是待决和非待决的。
如果当前实例化的某个成员的查找在实例化点和定义点给出不同结果，那么查找有歧义。但要注意，在成员名被使用时，它不会自动转换成类成员访问表达式，只有显式成员访问表达式才会指示当前实例化的成员：
struct A {int m;};struct B {int m;}; template<typename T>struct C : A, T {int f(){return this->m;}// 在模板定义语境找到 A::mint g(){return m;}// 在模板定义语境找到 A::m}; templateint C<B>::f();// 错误：找到 A::m 和 B::m templateint C<B>::g();// OK：没有在模板定义语境中进行向类成员访问语法的变换
[编辑]未知特化
在模板定义内，某些名字被推导为属于某个未知特化，特别是，
- 在
::左侧出现了并非当前实例化成员的待决类型的名字的限定名 - 限定符是当前实例化，且无法在当前实例化或它的任何非待决基类中找到，并存在待决基类的限定名
- 类成员访问表达式中的成员名（x.y 或 xp->y 中的 y），如果对象表达式（x 或 *xp）的类型是待决类型且非当前实例化
- 类成员访问表达式中的成员名（x.y 或 xp->y 中的 y），如果对象表达式（x 或 *xp）的类型是当前实例化，且在当前实例化或任何其非待决基类中找不到该名字，并存在待决基类
template<typename T>struct Base {}; template<typename T>struct Derived : Base<T>{void f(){// Derived<T> 指代当前实例化// 当前实例化没有 “unknown_type” 但有一个待决基类（Base<T>）// 因此 “unknown_type” 是未知特化的成员typename Derived<T>::unknown_type z;}}; template<>struct Base<int>// 它在此特化提供{typedefint unknown_type;};
此分类允许在模板定义（而非实例化）点检测下列错误：
- 如果有模板定义拥有某个限定名，其中的限定符指代当前实例化，且该名字既不是当前实例化的成员也不是未知特化的成员，那么程序非良构（不要求诊断），即使模板永远不会被实例化。
template<class T>class A {typedefint type; void f(){ A<T>::type i;// OK：“type” 是当前实例化的成员typename A<T>::other j;// 错误： // “other” 不是当前实例化的成员，也不是未知特化的成员，// 因为 A<T>（指名当前实例化）没有暗藏有 “other” 的待决基类。}};
- 如果有模板定义拥有某个成员访问表达式，其对象表达式是当前实例化，但其名字既不是当前实例化的成员也不是未知特化的成员，那么程序非良构，即使模板永远不会被实例化。
未知特化的成员始终是待决的，而且它们与所有待决名一样在实例化点进行查找和绑定（见上文）。
[编辑]待决名的 typename 消歧义符
在模板（包括别名模版）的声明或定义中，不是当前实例化的成员且取决于某个模板形参的名字不会被认为是类型，除非使用关键词 typename 或它已经被设立为类型名（例如用 typedef 声明或通过用作基类名）。
运行此代码
#include <iostream>#include <vector> int p =1; template<typename T>void foo(conststd::vector<T>&v){// std::vector<T>::const_iterator 是待决名，typenamestd::vector<T>::const_iterator it = v.begin(); // 下列内容因为没有 “typename” 而会被解析成// 类型待决的成员变量 “const_iterator” 和某变量 'p” 的乘法。// 因为在此处有一个可见的全局 “p”，所以此模板定义能编译。std::vector<T>::const_iterator* p; typedeftypenamestd::vector<T>::const_iterator iter_t; iter_t * p2;// iter_t 是待决名，但已知它是类型名} template<typename T>struct S {typedefint value_t;// 当前实例化的成员 void f(){ S<T>::value_t n{};// S<T> 待决，但不需要 “typename”std::cout<< n <<'\n';}}; int main(){std::vector<int> v; foo(v);// 模板实例化失败：类型 std::vector<int> 中没有// 名字是 “const_iterator” 的成员变量 S<int>().f();}
关键词 typename 只能以这种方式用于限定名（例如 T::x）之前，但这些名字不必待决。
对前附 typename 的标识符使用通常的有限定名字查找。这与用详述类型说明符的情况不同，不管限定符如何都不改变查找规则：
struct A // A 拥有嵌套变量 X 和嵌套类型 struct X{struct X {};int X;}; struct B {struct X {};// B 拥有嵌套类型 struct X}; template<class T>void f(T t){typename T::X x;} void foo(){ A a; B b; f(b);// OK：实例化 f<B>，T::X 指代 B::X f(a);// 错误：不能实例化 f<A>：因为 A::X 的有限定名字查找找到了数据成员}
关键词 typename 即便在模板外也可以使用。
#include <vector> int main(){// 以下两行（在解决 CWG 382 后）都 OKtypedeftypenamestd::vector<int>::const_iterator iter_t;typenamestd::vector<int> v;}
某些语境中，只有类型名能合法地出现。在这些语境中，假定待决的限定名指名的就是类型而不必使用 typename：
| (C++20 起) |
[编辑]待决名的 template 消歧义符
与此相似，模板定义中不是当前实例化的成员的待决名同样不被认为是模板名，除非使用消歧义关键词 template，或它已被设立为模板名：
运行此代码
template<typename T>struct S {template<typename U>void foo(){}}; template<typename T>void bar(){ S<T> s; s.foo<T>();// 错误：< 被解析为小于运算符 s.template foo<T>();// OK}
关键词 template 只能以这种方式用于运算符 ::（作用域解析）、->（通过指针的成员访问）和 .（成员访问）之后，下列表达式都是合法示例：
- T::template foo<X>();
- s.template foo<X>();
- this->template foo<X>();
- typename T::template iterator<int>::value_type v;
与 typename 的情况一样，即使名字并非待决或它的使用并未在模板的作用域中出现，也允许使用 template 前缀。
即使 :: 左侧的名字指代命名空间，也允许使用 template 消歧义符：
template<typename>struct S {}; ::template S<void> q;// 允许，但不需要
根据无限定名字查找针对成员访问表达式中的模板名的特殊规则，当非待决的模板名在成员访问表达式中出现时（-> 或 . 后），如果通过表达式语境中的常规名字查找找到了的具有相同名字的类或别名(C++11 起)模板，那么就不需要消歧义符。然而，如果表达式语境中的查找所找到的模板与类语境中所找到的不同，那么程序非良构。(C++11 前) template<int>struct A {int value;}; template<class T>void f(T t){ t.A<0>::value;// A 的常规查找找到类模板。A<0>::value 指名类 A<0> 的成员// t.A < 0; // 错误：“<” 被当做模板实参列表的起始} | (C++23 前) |
[编辑]关键词
[编辑]缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
| 缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
|---|---|---|---|
| CWG 206 | C++98 | 当在非待决名中用到的类型在模板定义处不完整但在 模板实例化处完整时，未指明会在哪里应用语义约束 | 该场合下程序非良 构，不要求诊断 |
| CWG 224 | C++98 | 待决类型的定义曾基于名字的形式而不是查找 | 改进定义 |
| CWG 382 | C++98 | typename 消歧义符只能在模板作用域中使用 | 也能在模板外使用 |
| CWG 468 | C++98 | template 消歧义符只能在模板作用域中使用 | 也能在模板外使用 |
| CWG 502 | C++98 | 未指明嵌套枚举是否待决 | 和嵌套类一样待决 |
| CWG 1047 | C++98 | typeid 表达式不是值待决的 | 在操作数类型待决时值待决 |
| CWG 1160 | C++98 | 未指明在模板的成员定义中有模板标识与主模板 或部分特化匹配时某些名字是否指代当前实例化 | 已指明 |
| CWG 1413 | C++98 | 未初始化静态数据成员、静态成员函数和类模板的成员的地址未列为值待决 | 已列入 |
| CWG 1471 | C++98 | 当前实例化的非待决基类的嵌套类型是待决的 | 它不是待决的 |
| CWG 1850 | C++98 | 含义在定义语境和实例化点之间变更的情况列表不完整 | 使之完整 |
| CWG 1929 | C++98 | 不明确是否可以在左侧的名字指代命名空间的 :: 后使用 template 消歧义符 | 可以使用 |
| CWG 2066 | C++98 | this 不是值待决的 | 它可能值待决 |
| CWG 2100 | C++98 | 类模板的静态成员常量地址未列为值待决 | 已列入 |
| CWG 2109 | C++98 | 类型待决的标识表达式不一定值待决 | 始终值待决 |
| CWG 2276 | C++98 | 异常说明是值待决的函数类型不是待决类型 | 是待决类型 |
| CWG 2307 | C++98 | 被圆括号包围的模板常量形参在作为模板实参时和该模板形参等价 | 不再等价 |
| CWG 2457 | C++11 | 带函数形参包的函数类型不是待决类型 | 是待决类型 |
| CWG 2785 | C++20 | requires 表达式可能会类型待决 | 它们不会类型待决 |
| CWG 2905 | C++11 | noexcept 表达式只有在它的操作数值待决时才会值待决 | 在操作数涉及模板形参时才会值待决 |
| CWG 2936 | C++98 | 模板化函数的局部类名不是当前实例化的一部分 | 是当前实例化的一部分 |
