Отложенная компиляция шаблонов только на MSVC, но не на Clang или GCC [дубликат] ⇐ C++

[Anonymous]

Следующее не может скомпилироваться во всех MSVC, Clang и GCC:

Код: Выделить всё

struct SomeFoo;

SomeFoo myfuncReturningFoo() { return SomeFoo(); }

struct SomeFoo {};

int main()
{
SomeFoo ffoo = myfuncReturningFoo();
}

Сообщение об ошибке: «Тип возвращаемого значения «struct SomeFoo» неполный».
Теперь это:

Код: Выделить всё

struct SomeFoo;

template 
SomeFoo myfuncReturningFoo() { return SomeFoo(); }

struct SomeFoo {};

int main()
{
SomeFoo ffoo = myfuncReturningFoo();
}

Теперь это будет скомпилировано в моем MSVC. При дальнейшем исследовании он компилируется в MSVC на Goldbolt, если -Wextra не установлен (НЕ УСТАНОВЛЕН), удаление флага -Wextra приводит к компиляции. В Clang вы можете удалить флаг -Wextra, но он все равно не компилируется. То же, что GCC. Удаление флага -Wextra позволяет компилировать его в версии шаблона MSVC.
Что заставляет это происходить?
Я использую MSVC 17.9. 0, но в Godbolt это происходит с любой версией MSVC.

Подробнее здесь: https://stackoverflow.com/questions/784 ... ang-or-gcc