Сколько раз вызывается конструктор?

Question

Я начинаю программирование на C++, и у меня есть простой вопрос относительно конструктора классов C++. Сколько раз конструктор вызывается для следующего кода?

std::string s = std::string("hello world"); 

Я думаю, это два, не так ли? Первая из них - строка (const char * s), вторая - строка (const string & s). Пожалуйста, поправьте меня, если я ошибаюсь.

Следующий вопрос заключается в том, что, если я скомпилирую код в режиме выпуска, будет ли его компилятор автоматически оптимизировать? например обрабатывать его как std::string s("hello world"); Делает ли другой компилятор по-другому?

Answer 1

Копирование-инициализация (с кодом =), где тип источника совпадает с типом назначения, который очень похож на прямую инициализацию. Таким образом, инициализация эквивалентна:

std::string s(std::string("hello world")); 

Без оптимизаций будут вызываться два конструктора, как вы описали. В C++ 11 конструктор перемещения будет предпочтительным для второго этапа (определяется как string(string&&)), потому что std::string("hello world") является выражением rvalue. Однако стандарт явно позволяет элизия копий/ходов в некоторых случаях, в том числе это:

когда объект временного класса, который не был связан с ссылкой (12.2) будут скопированы/перемещены в класс объект с тем же сорте-неквалифицированным типа, операция копирования/перемещения может быть опущен, построив временный объект непосредственно в мишень опущенным копирования/перемещения

Таким образом, компилятор может, если он выбирает, оптимизировать прочь копия. Обратите внимание, что компилятор может это сделать, даже если конструктор копирования имеет некоторые странные побочные эффекты. То есть, вполне возможно, что вполне определенная и действительная программа на C++ имеет несколько возможных путей выполнения. Как правило, вы хотите этого избежать.

Answer 2

Ваш код имеет право на копирование, поэтому большинство здравомыслящих компиляторов всегда будут рассматривать это как std::string s("hello world");, если явно не указано, что этого не делать.