Блог

Я запускаю этот код для экспериментов с конструктором копирования и оператором присваивания

 class AClass {

    private:
        int a;

    public:
        AClass (int a_) : a(a_) {  
            cout << " constructor AClass(int) " << a << endl;
        }

        AClass(const AClass amp; x) : a(x.a) { 
            cout << " copy constructor AClass(const AClass amp;) " << a << endl;
        }

        AClass amp; operator=(const AClass amp; x) { 
                a = x.a;
                cout << " AClassamp; operator=(const AClass amp;) " << a - endl;
                return *this;
        }
};

AClass g () {
    AClass x(8);
    return x;
}

int main () {

    cout << " before AClass b = g() " << endl;
    AClass b = g();
    cout << " after" << endl;

    cout << " before AClass c(g()) " << endl;
    AClass c  (g());
    cout << " after" << endl;
}
  

и обнаружил, что не отображается сообщение для return x;
Почему?
Не следует ли вызывать конструктор копирования или operator=?

Это результат:

 перед классом доступа b = g() 
 класс конструктора (int) 8 
 после

 перед классом c(g()) 
 класс конструктора (int) 8 
 после

Компилятору разрешено исключить копирование в подобном случае. Это называется оптимизацией возвращаемого значения.

В C компилятору разрешено удалять вызовы конструктора копирования практически при любых обстоятельствах, даже если конструктор копирования имеет побочные эффекты, такие как распечатка сообщения. Как следствие, также разрешено вставлять вызовы конструктора копирования практически в любой момент, когда ему заблагорассудится. Это немного затрудняет написание программ для проверки вашего понимания копирования и присваивания, но означает, что компилятор может агрессивно удалять ненужное копирование в реальном коде.

Это известно как «оптимизация возвращаемого значения». Если объект возвращается по значению, компилятору разрешается сконструировать его в местоположении, доступном вызывающей стороне после возврата функции; в этом случае конструктор копирования вызываться не будет.

Также разрешено обрабатывать его как обычную автоматическую переменную и копировать его при возврате, поэтому конструктор копирования должен быть доступен. Вызывается он или нет, зависит от компилятора и настроек оптимизации, поэтому вам не следует полагаться ни на то, ни на другое поведение.

Это называется копированием. Компилятору разрешено удалять копии практически в любой ситуации. Наиболее распространенным случаем являются RVO и NRVO, что в основном приводит к построению возвращаемых значений на месте. Я продемонстрирую преобразование.

 void g (char* memory) {
    new (memory) AClass(8);
}

int main () {

    char __hidden__variable[sizeof(AClass)];
    g(__hidden__variable);
    AClassamp; b = *(AClass*)amp;__hidden__variable[0];
    cout -- " after" -- endl;

    // The same process occurs for c.
}
  

Код имеет тот же эффект, но теперь существует только один экземпляр AClass.

Возможно, компилятор оптимизировал вызов конструктора копирования. По сути, он перемещает объект.

Если вы хотите увидеть, какой конструктор вызвал бы компилятор, вы должны победить RVO. Замените свою g() функцию таким образом:

 int i;
AClass g () {
    if(i) {
      AClass x(8);
      return x;
    } else {
      AClass x(9);
      return x;
    }
}