静态成员函数中的“this”类型？

Question

在 C++ 5.1.1/3 [expr.prim.general] 中它说：

[this] 的类型和值类别在静态成员函数中定义。

这是什么意思？有什么关系？

请注意：

this 不得出现在静态成员函数的声明中

Answer 1

标准中的语言可以追溯到n3282，这是针对缺陷1207和1017的解决方案。特别是，该语言出现在针对缺陷 1207 的提议决议中，因此应在解决该缺陷时的标准上下文中进行考虑。当时有人担心使用 *this (9.3.1p3) 将 id 表达式重写为成员访问表达式，特别是在尾随返回类型声明的上下文中（参见问题 945）。

如果我们将提议的解决方案与缺陷 1207 与 n3282 和随后的标准中的最终语言进行比较，则与 9.3.1p3 有一个显着差异：

缺陷 1207：

当 id 表达式 (5.1 [expr.prim]) 不是类成员访问语法 (5.2.5 [expr.ref]) 的一部分并且不用于形成指向成员的指针 (5.3.1 [ expr.unary.op]) 用于类X的成员函数的声明，如果名称查找 (3.4 [basic.lookup]) 解析名称...

n3282 和 C++11：

当 id 表达式 (5.1 [expr.prim]) 不是类成员访问语法 (5.2.5 [expr.ref]) 的一部分并且不用于形成指向成员的指针 (5.3.1 [ expr.unary.op]) 用于类X 的成员在可以使用this 的上下文中（5.1.1 [expr.prim.general]），如果名称查找(3.4 [basic.lookup]) 解析名称 [...]

很明显，针对缺陷 1207 的提议解决方案认为静态成员函数中的 id 表达式（到静态成员）需要转换为 *this 成员访问表达式，因此需要访问this 的类型和值类别。到编写 n3282 时，这已解决，有利于合格 id 转换（也是 9.3.1p3），它不需要 this，但 5.1.1p3 中的语言仍然存在。

我建议在 C++ 标准讨论新闻组中提出这个问题；有可能在编辑上删除残留的语言。