About STATIC_CHECK macro

[alex]

I read famous book "Modern C++ Design". In chapter 2, there is a
STATIC_CHECK sample:
--------------------------------------------------
template < bool >
struct CompileTimeChecker
{
CompileTimeChecker(...);
};

template <>
struct CompileTimeChecker< false >
{};

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

---------------------------------------------------------
I use STATIC_CHECK, but get a error:
ISO C++ forbids applying `sizeof' to a function type

Why this error? Why use sizeof?

thanks!

 

[Rapscallion]

I read famous book "Modern C++ Design". In chapter 2, there is a
STATIC_CHECK sample:

Try this instead:
http://www.jaggersoft.com/pubs/CVu11_3.html
http://www.jaggersoft.com/pubs/CVu11_5.html

 

[Alf P. Steinbach]

* alex:

I read famous book "Modern C++ Design". In chapter 2, there is a
STATIC_CHECK sample:
--------------------------------------------------
template < bool >
struct CompileTimeChecker
{
CompileTimeChecker(...);
};

template <>
struct CompileTimeChecker< false >
{};

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

---------------------------------------------------------
I use STATIC_CHECK, but get a error:
ISO C++ forbids applying `sizeof' to a function type

Why this error?

Impossible to say without seeing your code.

If you want a compile time assertion that works at file scope, try
the Boost one.

The trade-off is that the one in the book gives a more informative error
message, while the Boost one, which I as I recall uses a technique
introduced by Andrei earlier, can be used at file scope.

Why use sizeof?

The argument to sizeof is evaluated at compile time only; this is explained
in the book.

 

[velthuijsen]

I read famous book "Modern C++ Design". In chapter 2, there is a
STATIC_CHECK sample:
--------------------------------------------------
template < bool >
struct CompileTimeChecker
{
CompileTimeChecker(...);
};

template <>
struct CompileTimeChecker< false >
{};

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

---------------------------------------------------------
I use STATIC_CHECK, but get a error:
ISO C++ forbids applying `sizeof' to a function type

Why this error? Why use sizeof?

thanks!

Seems you are using one of the early prints of the book (or they never
moved the online errata in the new prints)

On the website of Alexandrescu ( http://www.moderncppdesign.com/) there
is more errata for the book.

The fix is IIRC

( void )sizeof( CompileTimeChecker< ( expr ) >(( ERROR_##msg()
))

Difference is the extra pair of () around ERROR_##msg()

 

[alex]

I see,thanks very much!