函数声明默认参数使用不完整类型引发编译器分歧问题

先看问题中的代码：

struct Bar;

template <typename T>
struct Foo {
    void baz(Bar bar = {});
};

struct Bar {};

template <typename T>
void Foo<T>::baz(Bar bar) {}

int main() {
    Foo<int> foo;
}

Clang编译时会抛出如下错误：

:5:22: error: variable has incomplete type 'Bar' 5 | void baz(Bar bar = {}); | ^ :1:12: note: forward declaration of 'Bar' 1 | struct Bar; |

原因分析 #

C++标准明确规定：在函数声明中使用默认参数时，默认参数表达式所涉及的类型必须是完整类型。这里的Bar bar = {}里，初始化表达式{}需要依赖Bar的完整定义——编译器得知道它的大小、是否有默认构造函数等信息，才能生成合法的默认对象。而在Foo模板的baz函数声明处，Bar只是前向声明，属于不完整类型，所以Clang的报错是严格遵循标准的行为。

GCC能通过编译，是因为它做了非标准的宽松处理：它会延迟检查默认参数的类型完整性，直到模板成员函数baz被实例化（或者看到Bar的完整定义）。你的代码里Bar的完整定义出现在baz的定义之前，GCC就接受了这种写法，但这并不是标准允许的行为。

关于标准限制的疑问 #

你觉得标准的限制让人困惑，但从语言设计逻辑来看，这种要求是为了保证编译器在处理函数声明阶段就能明确默认参数的合法性，避免后续类型定义变化带来的潜在问题。比如如果Bar的完整定义里没有默认构造函数，那之前的Bar bar = {}就会变成非法代码，延迟检查可能会把这种错误隐藏到模板实例化阶段，增加调试的复杂度。

内容的提问来源于stack exchange，提问作者Chris_F