如何静态判断一个类型是否为不完全/不透明类型？

针对你需要识别仅声明未定义的类类型的需求，可以利用C++的SFINAE特性实现is_incomplete_v模板，具体代码如下：

实现代码 #

#include <type_traits>

// 自定义void_t（C++17及以上可直接用std::void_t）
template <typename...>
using void_t = void;

// 主模板：默认判定为不完全类型
template <typename T, typename = void>
struct is_incomplete : std::true_type {};

// 特化分支：当T是完全类型时，sizeof(T)合法，匹配此分支并返回false
template <typename T>
struct is_incomplete<T, void_t<decltype(sizeof(T))>> : std::false_type {};

// 辅助变量模板，简化使用
template <typename T>
constexpr bool is_incomplete_v = is_incomplete<T>::value;

原理说明 #

核心逻辑基于**SFINAE（替换失败不是错误）**规则：

• 当T是不完全类型（比如仅声明的Incomplete）时，sizeof(T)属于非法操作，编译器会丢弃特化分支，转而使用主模板，此时is_incomplete_v<T>的值为true。
• 当T是完全类型（比如已定义的Complete）时，sizeof(T)合法，特化分支正常匹配，is_incomplete_v<T>的值为false。

测试验证 #

class Incomplete;         // 仅声明的不完全类型
class Complete { int a; }; // 已定义的完全类型

// 静态断言验证结果
static_assert(is_incomplete_v<Incomplete> == true, "未正确识别不完全类型");
static_assert(is_incomplete_v<Complete> == false, "未正确识别完全类型");

注意事项 #

• 如果使用C++17及以上标准，可以直接使用标准库的std::void_t，无需自定义。
• 该实现不仅适用于类类型，对其他不完全类型（比如大小未知的数组extern int arr[];）也能正确识别。
• void类型不适用此模板，因为sizeof(void)本身非法，但void不属于不完全类型，若需处理这类场景可额外添加特化分支。

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