关于指针类型的问题，该类型预期为运算符前缀++的操作数类型（也适用于后缀++）

Question

prefix++ 的操作数类型定义如下：

操作数的类型应为除 cv bool 以外的算术类型，或指向完全定义的对象类型的指针。

措辞object type的正式定义定义为： basic.types#general-8

对象类型是（可能是 cv 限定的）类型，它不是函数类型，不是引用类型，并且不是 cv void强>。

但是，请考虑以下代码：

#include <iostream>
struct Test{
  int a;
};
int main(){
 int Test::* member_ptr = &Test::a;
 ++member_ptr;  // Permite this operation?
}

根据object type的定义，member type不被它排除。这是否意味着我们可以将member type 视为object type？你会说members不是对象，所以pointer to member不能作为prefix++的操作数。但是，我会在这里争论，函数是对象吗？这绝对不是，为什么function type 被object type 和reference type 的定义排除在外。那么，没有将member type放到专属集合中是不是缺陷呢？

更新

MM 的回答引用了这个规则：

除了指向静态成员的指针外，引用“指针”的文本不适用于指向成员的指针。

我知道这条规则。但是，我认为pointers 只是指文字pointers。毕竟pointers这个文字已经出现在标准中了。如：expr.eq#2比较指针定义如下。 （这里绝对可以应用该规则，即不适用于指向成员的指针）。但是，我不认为文本 pointers 也表示 pointer to X 形式（其中 X 不是 member，例如 object、function）。有必要澄清这个规则吗？

除了描述任何地方，pointer to X（其中 X 可能是对象、函数或类型）或pointers 不适用于pointer to member。

Answer 1

见[basic.compound]/3:

除了指向静态成员的指针外，引用“指针”的文本不适用于指向成员的指针。

因此，在您引用的第一个文本中，“指向完全定义的对象类型的指针”排除了指向成员的指针的可能性。所以++ 不能应用于指向成员的指针。

Answer 2

每当我的孩子无法理解复杂的数学表达式时，我都会告诉他们：好的，你知道这个表达式全是关于数字的。所以试着用一些数字代替某些子表达式，看看这是否更容易对其进行操作。一旦您对5 代替sin(x) 和5/10 代替tan(x) 感到满意，然后切换回来。当更好的解释选项用完时，我在这方面取得了相当大的成功。 （我想不出我们使用过的公式的任何实际示例 - 抱歉，我会在稍后（可能是几个月或几年后）想到某些事情时编辑这个问题。

所以，让我们用 C++ 标准来做这件事。每[basic.compound]/3：

除了蓝色斑点鸡蛋外，提及“鸡蛋”的文字不适用于蓝色鸡蛋。

然后你引用：

操作数的类型应该是除cv bool以外的算术类型，或者彩蛋。

那个蛋不可能是蓝色的，除非它被字面上说适用于蓝色蛋。

但是，我不认为eggs这个文本也表示颜色X的形式egg。

嗯。如果这是关于鸡蛋，你会不这么认为，对吧？家禽畜牧业和 C++ 之间显然存在体面的同态 :)

• 蛋=指针
• 蓝蛋 = 指向成员的指针（一般而言）
• 蓝色斑点蛋 = 指向静态成员的指针
• 彩蛋 = 指向完全定义的对象类型的指针
• 普通（无色鸡蛋 = 指向未完全定义的对象类型的指针

有点像这样:)

有时，确实值得用您熟悉的对象的同态类来代替（我假设您对鸡蛋很熟悉，如果不是 - 铅笔也很好用）。事情听起来并不那么奇怪，我完全理解很难将 C++ 标准视为与某些熟悉的对象有关。假装你熟悉它们并继续前进。