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

Question

У меня есть общий вопрос, который может быть немного специфичным для компилятора. Меня интересуют условия, при которых будет вызываться конструктор. В частности, в режиме режим/сборки, оптимизированные для скорости, всегда будет вызываться созданный компилятором или пустой конструктор при создании экземпляра объекта?

class NoConstructor 
{ 
    int member; 
}; 

class EmptyConstructor 
{ 
    int member; 
}; 

class InitConstructor 
{ 
    InitConstructor() 
     : member(3) 
    {} 
    int member; 
}; 

int main(int argc, _TCHAR* argv[]) 
{ 
    NoConstructor* nc = new NoConstructor(); //will this call the generated constructor? 
    EmptyConstructor* ec = new EmptyConstructor(); //will this call the empty constructor? 
    InitConstructor* ic = new InitConstructor(); //this will call the defined constructor 

    EmptyConstructor* ecArray = new EmptyConstructor[100]; //is this any different? 
} 

Я много раз искал и некоторое время просматривал сгенерированный код сборки в Visual Studio. Тем не менее, это может быть сложно выполнить в сборках релизов.

Итого: Является ли конструктор всегда называемым? Если да, то почему?

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

Answer 1

В режиме оптимизации, если ваш класс или структура POD (имеет только типы POD) и конструктор не указан, любой компилятор C++ качества производства не только пропускает вызов конструктору, но даже не генерирует его.

Если у вас есть члены класса non-POD, которые должны быть вызваны конструктором (-ами), компилятор будет генерировать конструктор по умолчанию, который вызывает конструкторы-члены. Но даже тогда - он не будет инициализировать типы POD. То есть если вы не инициализируете member явно, вы можете оказаться там с мусором.

Все это может стать даже фантазией, если ваш компилятор/линкер имеет LTO.

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

Вот разборки для кода в вашем примере (x86_64, GCC 4.4.5):

main: 
    subq $8, %rsp 
    movl $4, %edi 
    call _Znwm 
    movl $4, %edi 
    movl $0, (%rax) 
    call _Znwm 
    movl $4, %edi 
    movl $0, (%rax) 
    call _Znwm 
    movl $400, %edi 
    movl $3, (%rax) 
    call _Znam 
    xorl %eax, %eax 
    addq $8, %rsp 
    ret 

Как вы можете видеть, нет Конструкторы называют вообще. Нет классов вообще, каждый объект - всего 4 байта.

С MS компилятором, YMMV. Поэтому вам нужно проверить разборку самостоятельно. Но результат должен быть аналогичным.

Удачи вам!

Answer 2

Логически вызывается конструктор. В сгенерированном коде, если конструктор ничего не делает, не будет никаких инструкций, которые можно проследить до конструктора, если ваш компилятор не очень-то плохо оптимизирует и вставляет вызов только что возвращаемому.

Answer 3

Будет ли вызывать конструктор конструктора/пустой конструктор, когда вы создаете экземпляр объекта?

No. Если ваш класс является так называемый «POD» (простые старые данные), то сгенерированный компилятором конструктор не всегда можно назвать.

В частности, он не будет называться в двух следующих случаях:

struct Pod { 
    int x; 
}; 

int main() { 
    Pod pod; 
    std::cout << pos.x << std::endl; // Value undefined. 

    Pod pod2 = Pod(); // Explicit value initialization. 


    Pod* pods = new Pod[10]; 
    // Values of `pods` undefined. 

    Pod* pods2 = new Pod[10](); // Explicit value initialization. 
} 

условия для того, когда именно тип является POD немного сложнее. C++ FAQ has a nice breakdown.

Answer 4

Определенные типы классов или структур называются POD «Обычные старые данные» на C++. Эти типы не будут имеют конструкторы.

Правила для того, чтобы быть POD достаточно важны, чтобы вы их просматривали, но в итоге: только содержит примитивные типы данных и не имеет определенных конструкторов.

Answer 5

Ваш образец не очень хорош, вы пропустили ключевое слово public в классах образцов, и, кроме того, в ваших примерах принудительно нулевой инициализации, написав CLASS * class = new CLASS(); вместо CLASS * class = new CLASS;.

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

Если вы попросили, не указав этот спорный образец кода, то единственным правильным ответом будет - compiler specific.