前置声明带默认值的不完全类型vector参数函数，Clang15报错是否合理？

问题代码 #

#include<vector>

class A;

void f( const std::vector<A> & = {} );

这段代码的核心特征：

• 仅前向声明了类A，属于不完全类型
• 函数f的参数默认值是一个空std::vector<A>临时对象
• 该函数并未被调用

编译差异情况 #

• GCC及Clang 14可以正常编译通过
• Clang 15及后续版本编译失败，报错信息如下：

In file included from <source>:1:
/opt/compiler-explorer/clang-15.0.0/bin/../include/c++/v1/vector:540:52: error: arithmetic on a pointer to an incomplete type 'A'
        {return static_cast<size_type>(__end_cap() - this->__begin_);}
                                       ~~~~~~~~~~~ ^
/opt/compiler-explorer/clang-15.0.0/bin/../include/c++/v1/vector:760:56: note: in instantiation of member function 'std::vector<A>::capacity' requested here
      __annotate_contiguous_container(data(), data() + capacity(),
                                                       ^
/opt/compiler-explorer/clang-15.0.0/bin/../include/c++/v1/vector:431:7: note: in instantiation of member function 'std::vector<A>::__annotate_delete' requested here
      __annotate_delete();
      ^
<source>:5:32: note: in instantiation of member function 'std::vector<A>::~vector' requested here
void f( const std::vector<A> & = {} );
                               ^
<source>:3:7: note: forward declaration of 'A'
class A;
      ^

回答 #

Clang 15的拒绝行为是正确的，原因如下：

1. C++标准的明确约束
   C++标准规定，当实例化std::vector<T>的析构函数、capacity()等涉及内存布局计算的成员函数时，T必须是完整类型。因为这些操作需要知道T的大小，才能完成指针算术、内存释放等逻辑——而不完全类型A无法提供这些信息。

2. 编译器实现的差异与标准合规性
   Clang 14和旧版GCC的实现中，可能没有在空vector的析构路径中触发需要完整类型的成员函数实例化，所以代码侥幸通过编译，但这属于编译器实现的“宽松处理”，并非符合标准的行为。
   Clang 15的libc++实现调整了vector的析构流程，新增的__annotate_contiguous_container调用会触发capacity()的实例化，而capacity()中的指针减法运算必须要求A是完整类型，因此编译器严格执行标准，报错终止编译。

3. 代码的本质问题
   原代码在A不完全的情况下，实例化std::vector<A>并触发其析构（默认参数的临时对象会被销毁），本身就违反了C++标准对std::vector的使用要求。Clang 15只是暴露了这个潜在的合规性问题。

修复方案：要么在函数声明前提供A的完整类定义，要么避免在A不完全时使用std::vector<A>的实例作为默认参数。

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