Почему компилятор не генерирует конструктор по умолчанию в отдельной единице трансляции?

Question

[Qubc]

Судя по листингам .s A::A() нигде нет, но хочется уточнить причину.
Компилятор не создает A::A() внутри a.cpp потому что там нет явного определения объекта типа A или указания = default. А почему компилятор не создаёт A::A() внутри main.cpp?

A.h :

#pragma once 
class A{
public:
    virtual void function1 ();
    virtual ~A ();
};

-fno-elide-constructors g++ (x86_64-win32-seh-rev0, Built by MinGW-W64 project) 8.1.0
A.cpp :

#include "A.h"
virtual void A::function1 (){ }
virtual  A::~A(){  }

main.cpp :

#include "A.h"
int main(){
    A a;
    a.function1();
}

Comments

[freeExec]

А что там должно происходить, он же пустой, переменных никаких нет.

[jcmvbkbc]

freeExec, таблицу виртуальных функций инициализировать

Answer 1

[jcmvbkbc]

Почему компилятор не генерирует конструктор

потому что нигде не написано, что он должен? Я вижу, что в коде генерируемом gcc инициализация таблицы виртуальных функций инлайнится по месту создания объекта, вне зависимости от опций оптимизации.

Comments

[Qubc]

Понятно, спасибо большое!