C++ – 巧用 sizeof 判断函数重载匹配

在实现 TypeTraits 时发现标准库的 std::is_scoped_enum 在 C++23 才会正式实装,于是通过翻 Unreal Engine 4 的源码发现了一个巧妙的替代方案,类似如下的实现:

NAMESPACE_PRIVATE_BEGIN

uint8(&Resolve(int64))[2];
uint8 Resolve(...);

template <typename T>
struct TIsEnumConvertibleToInt : TBoolConstant<sizeof(Resolve(T())) - 1> { };

NAMESPACE_PRIVATE_END

template <typename T>
struct TIsScopedEnum : TBoolConstant<TAnd<TIsEnum<T>, TNot<NAMESPACE_PRIVATE::TIsEnumConvertibleToInt<T>>>::Value> { };

通过函数名分析,可以看出其基本原理是通过判断 Enum 是否能隐式转换为 int64 来区分 强类型 Enum 和 弱类型 Enum ,重点是通过 sizeof 的值。在最开头定义了两个函数, Resolve 的两个重载,其中一个接受 int64 为参数,返回值为 uint8(&)[2] 类型,另一个接受任意的其他类型,返回值为 uint8 ,之后通过假调用函数,然后使用 sizeof 得到其返回值的大小,因为 sizeof 会忽略 CVRef 等修饰符,所以对于 uint8(&)[2] 的判定等同于 uint8[2] ,其结果为 2 ,而对于 uint8 结果为 1 ,再通过 – 1 操作分别将其映射为 true 和 false ,就完成了函数重载匹配诊断,以此实现对 Enum 的判定。

研究 Resolve(int64) 时,试图通过 std::invoke_result 拿到返回值类型,但是 MSVC 上的结果为 uint8[2] ,而正确的结果应该为 GCC 实现的 uint8(&)[2] ,被此误导了好久。

发表评论