Конструктор или Оператор присваивания

Question

Можете ли вы помочь мне там определение в стандарте C++, который описывает, который один будет называться конструктор или оператор присваивания в этом случае:

#include <iostream> 

using namespace std; 

class CTest 
{ 
public: 

CTest() : m_nTest(0) 
{ 
    cout << "Default constructor" << endl; 
} 

CTest(int a) : m_nTest(a) 
{ 
    cout << "Int constructor" << endl; 
} 

CTest(const CTest& obj) 
{ 
    m_nTest = obj.m_nTest; 
    cout << "Copy constructor" << endl; 
} 

CTest& operator=(int rhs) 
{ 
    m_nTest = rhs; 
    cout << "Assignment" << endl; 
    return *this; 
} 

protected: 
int m_nTest; 
}; 

int _tmain(int argc, _TCHAR* argv[]) 
{ 
CTest b = 5; 

return 0; 
} 

Или это просто вопрос оптимизации компиляторов?

Answer 1

Что здесь происходит, это немного зависит от вашего компилятора. Он может создать временный объект, используя конструктор int, а затем скопировать конструкцию b из этого временного. Однако, скорее всего, это приведет к вызову конструктора копий. В любом случае оператор присваивания не будет использоваться.

Answer 2

Это всегда конструктор по умолчанию, принимающий int, который вызывается в этом случае. Это называется неявное преобразование и семантически эквивалентен следующему коду:

CTest b(5); 

Оператор присваивания никогда вызывается в инициализации. Рассмотрим следующий случай:

CTest b = CTest(5); 

Здесь мы вызываем конструктор (принимая int) явно и затем присвоить результат b. Но еще раз, никакой оператор назначения не , когда-либо вызывал. Строго говоря, оба случая вызывают конструктор копирования после создания объекта типа CTest. Но на самом деле стандарт активно побуждает компиляторы оптимизировать вызов конструктора копирования здесь (§12.8/15) - на практике современные компиляторы C++ не будут вызывать здесь вызов copycon.

Answer 3

CTest b = 5; - это точный эквивалент CTest b(CTest(5)); Приводятся два конструктора: один принимает int (неявное преобразование из целого числа 5) и конструктор копирования. Оператор присваивания здесь никак не связан.

Компилятор может оптимизировать ненужную копию, поэтому результат будет таким, как если бы вы набрали CTest b(5). Поэтому во время выполнения оба файла, видя «Конструктор копирования», напечатанный (GCC с опцией -fno-elide-constructors) или нет (по умолчанию GCC), будет действительным выходом программы.

Однако концептуально компилятор должен проверить, существует ли доступный и подходящий конструктор копирования. Форма CTest b = 5; не сможет скомпилировать, если: a) конструктор копирования является приватным/защищенным (не доступен) или b) конструктор копирования принимает аргумент с помощью неконстантной ссылки (не может принять временное значение от CTest(5) - VC++ может принять его как нестандартное расширение компилятора, хотя).

Мораль: нет простого способа определить, где и сколько раз конструктор копирования вызывается в программе, просматривая код. Копирование часто может быть опущено, и поэтому вы никогда не должны полагаться на побочные эффекты конструктора копирования. Если он делает то, что он должен делать, то для вас не должно иметь значения, если компилятор устраняет ненужные вызовы конструктора копирования.