c++ - C++ 中的编译时断言？

Question

我最近发现需要在 C++ 中使用编译时断言来检查两种类型的大小是否相等。

我在网上找到了下面的宏(据说来自Linux内核):

#define X_ASSERT(condition) ((void)sizeof(char[1 - 2*!!(condition)]))

我是这样使用的:

X_ASSERT(sizeof(Botan::byte) != sizeof(char));

这让我很好奇 - 虽然这有效，但有没有更简洁的方法呢？ (显然有不止一种方法，事实上)某些方法有优点还是缺点？

Answer 1

在 C++0x 中，有一个新的语言特性 static_assert，它提供了一种生成编译时断言的标准方法。例如，

static_assert(sizeof(Botan::byte) != 1, "byte type has wrong size");

Visual C++ 2010 支持 static_assert，g++ 4.3(及更高版本)和 Intel C++ 11.0 也是如此。