c ++ this, * this, & instance в operator = function меня сильно смутило

Вы правы, "это" - указатель. А указатель - это адрес! Таким образом, указатель и адрес совпадают, и я буду использовать эти термины в том же значении ниже. Я думаю, вы немного смущены с & и *, поскольку они означают разные вещи, когда применяются к типу и переменной.

ClassA & refVar; //this way you declare a reference
ClassA* pVar;  //this way you declare a pointer
refvar; //this is a reference
pVar; // this is a pointer

//To get pointer from the reference you need to get an address.
&refVar; //this is a pointer (an address)

// To get a reference from pointer you need to derefecence it
*pVar; // this is a reference!

Итак, теперь должно быть понятно, почему "экземпляр" является ссылкой, а "this" является указателем (адресом) в вашем примере. Чтобы проверить, является ли это одним и тем же объектом, нам нужно получить адрес ссылочного "экземпляра" и сравнить его с указателем "this". Вот почему правильное сравнение

if(this == &instance) {}

Сначала вы должны четко знать, что такое указатель. Указатель содержит адрес указанного типа данных.

В этом случае указатель "this" указывает на объект, созданный из ClassA, что означает, что "это" равно адресу объекта. Имея указатель, вы используете звездочку (*) перед указателем для доступа к объекту на что указывает.

Таким образом, "* this" - текущий экземпляр, а не его адрес.

(this == & instance) - это сравнение равенства между указателем (который является адресом текущего экземпляра) и адресом "instance".

Это нужно проверить, прошел ли переданный параметр (по ссылке) в функцию текущий экземпляр. Эта дополнительная проверка может избежать нежелательной ситуации/исключения.

Экземпляр - это не то же самое, что адрес экземпляра.

ClassA myObject; //myObject is an instance
ClassA * ptr;    //ptr is a pointer that only points to objects of ClassA 
ptr = &myObject; //&myObject is instance address, assign address of myObject to ptr
                 //in other words, make ptr point to myObject
(*ptr).someFunction(); //use asterisk to access object members

Тестирование this == &instance проверяет самозадачу, то есть случай, когда операндом является сам объект:

Foo x;
x = x;   // or: x.operator=(x)

"Проблема" заключается в том, что C++ имеет очень плохое управление псевдонимом, и вы не можете знать или ограничивать, указывают ли какие-либо два указателя или ссылки на один и тот же объект. Поэтому вам нужно протестировать.

Для чего-то простого цельного числа ans самозапуск не будет огромным делом, но представьте себе базовый, наивный "умный указатель" (хотя это было бы не очень умно):

 struct TPtr
 {
     T * ptr;
     TPtr(T * p) : ptr(p) {}
     TPtr(TPtr const & rhs)  : ptr(new T(*rhs.ptr)) {}
     ~TPtr() { delete ptr; }

     TPtr & operator=(TPtr const & rhs)
     {
         delete ptr;
         ptr = new T(*rhs.ptr);   // uh-oh
     }
 };

Вы можете определить проблему?