C++使用模板的编译时间检查器

Question

我有以下代码，取自现代 C++ 设计。当我使用它时，我收到编译错误，我认为操作数的大小无效。任何人都可以指出问题是什么。谢谢！

template<bool>
struct CompileTimeChecker {
    CompileTimeChecker(...);
};

template<>
struct CompileTimeChecker<false> {
};

#define STATIC_CHECK(expr, msg) \
{\
class ERROR_##msg {}; \
(void)sizeof(CompileTimeChecker<(expr) != 0>((ERROR_##msg())));\
}

template <class To, class From>
To safe_reinterpret_cast(From from) {
    STATIC_CHECK(sizeof(From) <= sizeof(To), Destination_Type_Too_Narrow);
    return reinterpret_cast<To>(from);
}

int main(void)
{
    int a[20];
    void* somePointer = a;
    char c = safe_reinterpret_cast<int>(somePointer);
}

错误：

d:\technical\c++study\readparsing\readparsing\addressconv.cpp(29) : 错误 C2066: 转换为函数类型是非法的 1> d:\technical\c++study\readparsing\readparsing\addressconv.cpp(37) ：请参阅正在编译的函数模板实例化“To safe_reinterpret_cast(From)”的参考 1>和 1> [ 1>至=整数， 1>来自=无效* 1> ] 1>d:\technical\c++study\readparsing\readparsing\addressconv.cpp(29) : 错误 C2070: 'CompileTimeChecker<__formal>; (safe_reinterpret_cast::ERROR_Destination_Type_Too_Narrow (__cdecl *)(void))'：操作数大小非法 1>和 1> [ 1> __正式=真 1> ]

Answer 1

最令人烦恼的解析的另一个打击...

sizeof(CompileTimeChecker<(expr) != 0>((ERROR_##msg()))

与 Foo(Var)相同，

class Foo {};
class Bar {};
sizeof(Foo((Var()));

可以解释为一种类型（函数采用（不带参数的函数返回 Var）并返回 Foo），它是所以。

Answer 2

就像 AProgrammer 指出的那样， (void)sizeof 并没有被编译器吞噬。我建议从 sizeof 中删除括号，如下所示：

(void)sizeof CompileTimeChecker<(expr) != 0>((ERROR_##msg()));\

这似乎让 g++ 接受它，并按照它可能的意思解释它。

如果 (void)sizeof 一直给您带来麻烦，您也可以在没有它的情况下获得静态检查功能，例如通过初始化 CompileTimeChecker 变量：

CompileTimeChecker<(expr) != 0> a((ERROR_##msg()));\