使用std::function搭配不完全类型是否符合C++标准？

你的代码是符合C++标准的，这和普通函数的限制并不冲突，原因如下：

• 普通函数的限制：普通函数如果以非指针/引用的不完全类型作为返回类型，声明时就会触发编译错误——因为编译器需要知道返回类型的大小、布局等信息，才能生成正确的函数调用栈和返回逻辑，所以S func();这种声明在S是不完全类型时是非法的。

• std::function的特殊处理：C++标准允许在模板参数包含不完全类型的情况下实例化std::function。std::function的内部实现采用类型擦除技术，用指针或类似的间接方式存储可调用对象，所以在声明std::function<S(void)> m;时，并不需要S的完整定义——此时编译器只需要知道S是一个类型，不需要它的大小、成员细节。

• 你的代码的合法性：在你的代码中，所有需要S完整定义的操作（比如给m赋值goo、调用m()构造S对象），都是在S被完整定义之后执行的。此时编译器已经获取了S的完整信息，能够正确处理这些操作，因此整个代码是符合标准的。

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