为何尾置返回类型不属于类的完整类上下文？

这个问题问得特别精准，刚好触碰到了C++类成员声明里一个容易被忽略的规则细节——声明解析的顺序优先级。咱们结合你提到的标准条款来拆解：

首先先明确标准划定的完整类上下文范围，[class.mem]p6里写得很清楚：

类的完整类上下文包括类成员规范中的：(6.1) 函数体、(6.2) 默认实参、(6.3) noexcept说明符（[except.spec]）、(6.4) 契约条件、(6.5) 默认成员初始化器。[注：若嵌套类定义在封闭类的成员规范中，则嵌套类的完整类上下文同时也是所有封闭类的完整类上下文。——结束注]

确实，这里完全没提到尾置返回类型，而原因要从[expr.prim.this]p2的注释里找线索：

若声明声明的是类X的成员函数或成员函数模板，则在可选cv限定符序列与函数定义、成员声明符或声明符末尾之间，表达式this是类型为"指向cv限定符序列X的指针"的纯右值。它不得出现在可选cv限定符序列之前，也不得出现在静态成员函数的声明中（尽管其类型和值类别在静态成员函数中的定义与在非静态成员函数中相同）。[注：这是因为声明匹配要等到完整声明符确定后才会进行。——结束注]
[注：在尾置返回类型中，对于类成员访问而言，正在定义的类无需是完整的。后续声明的类成员不可见。[示例：...]

核心逻辑：声明解析的“前置依赖”限制 #

C++编译器处理类成员声明时，是从左到右、先搞定声明符，再处理后续附加部分的。比如带尾置返回类型的函数auto func() -> T，编译器先处理auto func()这一段——这时候它需要先确定“这是类X的成员函数”，但还没走到尾置返回类型的部分。而完整类上下文的核心是“类已经被足够解析，能访问所有成员”，但尾置返回类型处于声明符尚未完全确定的阶段：

• 为了确认函数的身份（是不是成员函数、有没有cv限定），编译器得先处理到声明符的末尾，而尾置返回类型是声明符之后的补充内容；
• 如果把尾置返回类型纳入完整类上下文，就会出现逻辑矛盾：比如你在尾置返回类型里用了类后面才声明的成员，这时候编译器还没处理到那些成员，根本没法解析。

用代码示例验证 #

比如下面这段代码是编译不通过的，正好对应标准里的示例：

struct X {
    auto f() -> decltype(g()) { return g(); } // 编译错误：g尚未声明
    int g();
};

如果尾置返回类型属于完整类上下文，这里应该能看到后面的g()，但实际编译器会报错——这直接印证了标准里的注释：“在尾置返回类型中，对于类成员访问而言，正在定义的类无需是完整的。后续声明的类成员不可见。”

最后总结一下 #

尾置返回类型之所以不在完整类上下文里，本质是因为它处于类成员声明的“前置解析阶段”，编译器此时还没完成对函数声明符的完全匹配，也还没处理到类后续的成员，因此没法提供完整类的上下文环境。这是C++为了保证声明解析的顺序一致性而设计的规则。

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