MCD中Compile-Time Assertions 例程问题

Modern C++ Design 中 2.1 Compile-Time Assertions 提供了一段运行时检查的代码，但是发现无法通过编译

$ cat check.cc

//书中代码片段

template<bool> struct CompileTimeChecker

{

       CompileTimeChecker(...);

};



template<> struct CompileTimeChecker<false> { };



#define STATIC_CHECK(expr, msg) \

{\

  class ERROR_##msg {}; \

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

}



//测试代码

int main()

{

    STATIC_CHECK( 1==2, one_is_two );



    return 0;

}

期待这样的错误信息：Error: Cannot convert ERROR_one_is_two to CompileTimeChecker <false>，但是实际信息为：
(1) gcc 报奇怪的错误
$ g++ -o check check.cc -Wall
check.cc: In function ‘int main()’:
check.cc:17: error: invalid application of ‘sizeof’ to a function type
(2)icc 居然通过编译了
$ icpc -o check check.cc -Wall
check.cc(17): warning #56: operand of sizeof may not be a function
STATIC_CHECK( 1==2, one_is_two );
^

请高手指点：）