在Loki的static_check.h中不只有STATIC_CHECK,还有一个STATIC_SIZE_ASSERT。
以前一直忽略了这个STATIC_SIZE_ASSERT,现在突然发现,它是可以写在代码的几乎任何地方的,而STATIC_CHECK只能放在函数中。模仿STATIC_SIZE_ASSERT也实现一个可放在任何地方的STATIC_CHECK并不困难。
Loki作这样的选择,我想应该是这样才能带上额外的msg信息吧。对小项目自用,则可放在任何地方比带额外信息有诱惑多了。
template<int> struct CompileTimeError;
template<> struct CompileTimeError<true> {};
template<int x> struct static_assert_test{};
//#define STATIC_CHECK(expr) do { CompileTimeError<(expr)> STATIC_CHECK_ERROR; (void)STATIC_CHECK_ERROR; }while(0)
#define STATIC_CHECK(expr) typedef static_assert_test<sizeof(CompileTimeError<(expr)>)> static_check_typedef_
由于从事嵌入系统开发,所以总想随时知道某个结构的大小。如果要运行期打印,太麻烦了。所以,想到用下面这个东东在编译期把它打印出来。可惜,这是靠产生编译错误来实现的,我还没法在不影响正常编译的情况下实现这个功能。
#define STATIC_SIZE_TRACE(Type) template<int> struct SizeOf_##Type; typedef static_assert_test<sizeof(SizeOf_##Type<sizeof(Type)>)> static_size_trace_typedef_