将前置声明的类作为std::vector元素类型用于函数参数是否符合C++标准？

问题代码 #

#include <vector>

class B;

struct A
{
    void foo(const std::vector<B>& bees);
};

结论：合法，属于可接受的前置声明用法 #

这在C++标准中是定义明确的合法行为，完全符合前置声明的规范要求，具体理由如下：

• 函数声明的类型要求：声明函数时，参数类型仅需为不完全类型即可，无需完全定义。这里B是前置声明的不完全类型，const std::vector<B>&作为引用类型，在函数声明阶段不会触发std::vector<B>的完整实例化，因此完全合法。
• 标准容器对不完全类型的支持：
  • C++17及之后：标准明确允许std::vector（以及std::list、std::forward_list等部分容器）将不完全类型作为模板参数，只要在容器的实际操作（如构造、析构、访问元素等）被触发时，该类型已完全定义。
  • C++17之前：标准虽未明确规定，但主流编译器（包括GCC）早已提供兼容支持，只要后续在使用容器的关键操作前补全B的定义，代码依然具备可移植性。
• 实际使用的约束：只要在定义A::foo()的函数体（或调用foo函数）时，B已经是完全定义的类型，就不会违反标准要求——此时std::vector<B>的相关实例化操作可以正常完成，符合所有规则。

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