“this”指针如何用作成员函数的参数

Question

我有一堂简单的课

class foo {
public:
  void func() const;
  void func2();
};

void foo::func() const {}
void foo::func2() {}

int main() {
  const foo f;
  f.func();
  f.func2();
}

当我尝试编译时，我收到了这条消息：

错误：将“const foo”作为“void foo：：func2（）”的“this”参数传递将丢弃限定符[-fpermissive]

我理解const对象的非const成员的使用，我的问题是“this”指针如何用作函数2的参数？

Answer 1

成员函数的实例参数是隐式的。也就是说，它从来不是函数声明的一部分，但它仍然存在。

请记住（非静态）成员函数不是函数。你不能只给他们打电话。相反，您必须始终在实例对象上调用它们。此实例对象隐式地是成员函数的参数，但从未被阐明。可通过此表达式在函数内部使用。

如果隐式实例参数绑定到常量对象，则this的类型是T const*，并且只能调用限定为const的成员函数。易失性类似，也有类似的规则将隐式实例参数绑定到右值引用。

Answer 2

您看到的是C定义方式的产物。成员函数会自动向每个函数添加一个隐藏的参数。如果对象是常量，则指针也是常量，非常量成员函数必须接收非常量指针。

Answer 3

ulufoo::func2（）是非const，这意味着它可能会更改对象。因此编译器不允许您为const对象调用它。即使您实际上没有更改Func2的实现中的任何内容。this是任何非静态成员函数的隐式参数。这就是它如何知道它被调用的确切对象。

1在非静态（9.3）成员函数的主体中，关键字this是一个prvalue表达式，其值是为其调用函数的对象的地址。