[boost] Re: typeof

From: Arkadiy Vertleyb (vertleyb_at_[hidden])
Date: 2004-05-07 13:33:31

"David Abrahams" <dave_at_[hidden]> wrote

> Any time a template is instantitated, all names in its definition must
> map to the same entities in each translation unit, or you violate the
> ODR.  By definition, names in the unnamed namespace refer to distinct
> entities in each translation unit.

Does this mean that it's not allowed to use anonimous namespace-level names
inside templates?  I assume there also should be problems with non-template
classes, too, if anonimous namespace-defined names are used inside the body
of such a class...

OTOH, you said "all names in its definition".  Does this also mean "all
names used to produce this definition"?  Because if we use "typeof" inside
such template, it would still resolve to the same type in different
translation units (after all the metaprogramming used to produce this type
is done).

IOW, such templates in different translation units will be absolutely the
same, although in each translation unit the compiler will have to
instantiate different intermediate classes in order to produce them.

Do you still think this should be a problem?

Arkadiy