need for typedef for instances of template classes

[puzzlecracker]

In Sutter's book - More Exceptional C++, on page 27 - there is

typedef IsDerivedFrom1<t, Cloanable > Y;

where he specifies that "typedef is needed it otherwise the , will be
interpeted as delimiting macro parameters to assert.

assert(Y:Is);

etc...

why would it be interpetted this way? if that the case, typename is
need. someone please explain

 

[John Harrison]

In Sutter's book - More Exceptional C++, on page 27 - there is

typedef IsDerivedFrom1<t, Cloanable > Y;

where he specifies that "typedef is needed it otherwise the , will be
interpeted as delimiting macro parameters to assert.

assert(Y:Is);

etc...

why would it be interpetted this way? if that the case, typename is
need. someone please explain

In

assert(IsDerivedFrom1<t, Cloanable >::Is);

The comma is indeed interpreted as seperating two macro parameters. This
is because macro substitution is done before anything else (more or less).

Not sure why you think typename is also needed, that would depend on the
context.

john