如何检测C++类为仅声明未定义的不完整类型

问题结论 #

你的代码存在未定义行为，并非GCC实现错误，Clang和GCC的运行结果差异符合C++标准对未定义行为的处理规则。

原因说明 #

C++标准对模板实例化有明确约束：

• 同一个模板特化在整个程序中必须有一致的定义，否则属于单一定义规则（ODR）违规，属于未定义行为，编译器无需给出诊断，也无需统一处理结果。
• 你的is_incomplete变量模板的偏特化匹配逻辑依赖sizeof(T)的合法性，而sizeof(T)是否合法完全取决于模板参数T在实例化时是否为完整类型。
• 你的代码中A类型的完成状态在同一个翻译单元内发生了变化：
  1. print()函数中调用incomplete<A>()时，A仅存在前置声明，属于不完整类型
  2. 定义struct A {};后A变为完整类型
• 针对is_incomplete<A>的隐式实例化，标准允许编译器选择在首次使用点实例化，或者延迟到翻译单元末尾实例化：
  • Clang选择在print()函数内的首次使用点实例化，此时A不完整，所以结果为1
  • GCC选择延迟到翻译单元末尾实例化，此时A已经完整，所以结果为0

两种处理都没有违反标准，问题根源是你的代码引入了ODR违规。

修复方案 #

如果要安全检测某个代码位置的类型是否为不完整类型，可以用宏强制在调用点完成实例化，避免编译器延迟实例化导致的结果偏差，以下是C++20兼容的实现：

#include <type_traits>

#define INCOMPLETE_AT_THIS_POINT(T) \
    []<typename U = T>(){ \
        template<typename V, typename = void> struct Check : std::true_type {}; \
        template<typename V> struct Check<V, std::enable_if_t<sizeof(V)>> : std::false_type {}; \
        return Check<U>::value; \
    }()

使用时直接在需要检测的位置调用INCOMPLETE_AT_THIS_POINT(A)即可，该写法会强制在调用点实例化检测逻辑，不受后续类型定义的影响。

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