同一类中的另一个方法调用版本方法时的常量

Question

我知道当一个方法同时存在具有相同名称和参数的 const 和非 const 版本时，选择的版本由 *this 的 const-ness 决定。 （方法的常量是签名的一部分吗？）

但是当它被另一个方法调用时会发生什么？

一个例子

class a{
   void b() const{
      c();
      //do fantastic things
   }
   const_iterator c() const;
   iterator c();
};

当我从 a 的非常量实例调用 b() 时，我如何知道调用了哪个版本的 c()？

Answer 1

从声明为 const 的函数内部，您只能调用该类型的 const 函数。

Answer 2

但是当它被另一个方法调用时会发生什么？

与从外部调用时相同。

请记住，成员函数可以被描述为好像它们有一个不可见的第一个参数T* this。对于const 成员函数，T const* this。

现在，这段代码：

class a{
   void b() const{
      c();
      //do fantastic things
   }
   const_iterator c() const;
   iterator c();
};

可以认为是：

class a{
   void b(a const* this) const{ // pseudo code
      c(this); // pseudo code
      //do fantastic things
   }
   const_iterator c(a const* this) const; // pseudo code
   iterator c(a* this); // pseudo code
};

随后调用了c 的const 版本，因为你“传递”了一个指向a const 的指针，而不是a。