Дивергенция компилятора для неполного типа, используемого в качестве аргумента декларации функции по умолчанию ⇐ C++

[Anonymous]

struct Bar;

template
struct Foo {
void baz(Bar bar = {});
};

struct Bar {};

template
void Foo::baz(Bar bar) {}

int main() {
Foo foo;
}
< /code>
Это компилируется в GCC, но в Clang он произвел следующую ошибку: < /p>
:5:22: error: variable has incomplete type 'Bar'
5 | void baz(Bar bar = {});
| ^
:1:12: note: forward declaration of 'Bar'
1 | struct Bar;
|
< /code>
Мое предположение состоит в том, что GCC, вероятно, более снисходительна, чем стандартные диктаты. Однако, если это так, то кажется немного раздражающим, что стандарт ограничивает это, когда GCC доказал, что его можно работать.

Подробнее здесь: https://stackoverflow.com/questions/796 ... nction-dec