“这个”是怎么来的？指针碰巧指向不同的对象？

Question

假设我有一个类：

class test {
public:
   void print();
private:
   int x;
};

void test::print()  
{  
    cout<< this->x;  
}

并且我有这些变量定义：

test object1;
test object2;

当我调用 object1.print() this 恰好存储 object1 的地址并且所以我从 object1 打印出 x ，当我调用 object2.print() this 时，它恰好存储了object2 ，我得到 x打印了object2。这是怎么发生的？

Answer 1

每个非静态成员函数都有一个隐式隐藏的“当前对象”参数，该参数作为 this 指针向您公开。

因此，您可以认为

test::print();

有一些

test_print( test* this );

全局函数，因此当您

objectX.print();

在代码中编写时，编译器会插入一个调用

test_print(&objectX);

，这样成员函数就知道“当前”对象的地址。

Answer 2

您可以将 this 指针视为函数的隐式参数。想象一个小类，

class C {
public:
  C( int x ) : m_x( x ) { }

  void increment( int value ) {
    m_x += value; // same as 'this->m_x += value'
  }

  int multiply( int times ) const {
    return m_x * times; // same as 'return this->m_x * times;'
  }

private:
  int m_x;
};

它允许您编写像

C two( 2 );
two.increment( 2 );
int result = two.multiply( 3 );

现在这样的代码，实际发生的是使用额外的指针参数调用成员函数 increment 和 multiply ，指向调用该函数的对象。该指针在方法内称为 this。 this 指针的类型有所不同，具体取决于该方法是否为 const（如 multiply 所示）或不是（如增量）。

您也可以自己做类似的事情，请考虑：

class C {
public:
  C( int x ) : m_x( x ) { }

  void increment( C * const that, int value ) {
    that->m_x += value;
  }

  int multiply( C const * const that, int times ) const {
    return that->m_x * times;
  }

private:
  int m_x;
};

您可以编写如下代码

C two( 2 );
two.increment( &two, 2 );
int result = two.multiply( &two, 3 );

注意，对于 multiply，this 指针的类型是 C const * const 函数，所以指针本身是 const 而且是被指向的对象！这就是为什么您不能更改 const 方法内的成员变量 - this 指针的类型禁止这样做。这可以使用 mutable 关键字来解决（我不想偏离太远，所以我宁愿不解释它是如何工作的），甚至可以使用 const_cast：

int C::multiply( int times ) const {
  C * const that = const_cast<C * const>( this );
  that->m_x = 0; // evil! Can modify member variable because const'ness was casted away
  // ..
}

我之所以提到这一点，是因为它表明 this 并不像看起来那么特殊的指针，而且这种特殊的 hack 通常是比使成员变量 可变更好的解决方案 因为此 hack 是一个函数的本地函数，而 mutable 使变量对于该类的所有 const 方法都是可变的。

Answer 3

思考这个问题的方法是，this 只是一个指向您当前正在使用的对象的内存的指针。因此，如果您执行 obj1.print()，则 this = &obj1;。如果执行 obj2.print()，则 this = &obj2;。

Answer 4

this 对于不同的对象有不同的值

Answer 5

类 test 的每个实例都有它自己的成员变量 x 的副本。由于 x 对于每个实例都是唯一的，因此该值可以是您想要的任何值。
变量 this 指的是与其关联的实例。您不必使用变量“this”。你可以这样写：

void test::print()
{
   cout << x;
}