C++2b中std::unique_ptr与不完全类型编译报错问题定位咨询

简化复现代码 #

#include <memory>
class dummy;

std::unique_ptr<dummy> test;

class dummy {

};

使用clang++-14以c++2b标准编译时，会报出**"对不完全类型'dummy'应用sizeof无效"**的错误；若移除dummy的定义，所有编译环境都会报错。

实际场景触发 #

该问题最初发现于LLVM-14头文件中，仅包含以下两行代码即可触发：

#include <memory>
#include <llvm/ADT/APFloat.h>

在Ubuntu 22.04.1 LTS环境下的编译表现：

• 使用clang++-14、llvm-14及libstdc++-12-dev编译：-std=c++2b报错，-std=c++20可正常编译
• g++无论使用c++20还是c++2b标准，均能正常编译

核心问题代码是DoubleAPFloat类的成员声明，此时APFloat仅完成前置声明、未定义：

class APFloat;

class DoubleAPFloat final : public APFloatBase {
  // Note: this must be the first data member.
  const fltSemantics *Semantics;
  std::unique_ptr<APFloat[]> Floats;
};

疑问 #

该错误的根源是什么？是编译器、标准库还是C++标准本身的问题？或是其他原因？

这是Clang在C++23预览模式下对std::unique_ptr<T[]>的实现检查时机差异导致的，具体细节如下：

1. C++标准的要求
   C++标准并未禁止在T为不完全类型时声明std::unique_ptr<T[]>成员，仅要求在调用依赖T完整性的操作（比如析构对象、释放内存）时，T必须是完整类型。

2. Clang与GCC的实现差异

• Clang在-std=c++2b（C++23预览）模式下，对std::unique_ptr<T[]>的模板实例化逻辑做了调整，提前检查了T的完整性——因为unique_ptr<T[]>的默认删除器需要知道sizeof(T)来正确释放数组，Clang选择在实例化模板时就做这个检查，而此时APFloat仅为前置声明，因此触发错误。
• GCC的libstdc实现则将T完整性的检查延迟到实际调用删除器或其他需要sizeof(T)的操作时，因此即使在C23模式下，只要代码中没有触发这些操作，就不会报错。

3. 版本差异的原因
   在C++20模式下，Clang的std::unique_ptr<T[]>实现并未启用这个提前检查逻辑，因此编译可以正常通过。

总结：这不属于标准本身的问题，也不是标准库的bug，而是不同编译器对标准要求的检查时机不同导致的差异——Clang在C++23预览模式下更早地执行了类型完整性检查，而GCC则选择延迟检查。

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