Re: Sharing generic bodies across instantiations.

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 29 Lip, 10:03, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:

> > We were talking about the nature of templates, not the nature of
> > macros.
>
> Yep, and the point was that templates being by the nature marcos

Paragraph, please. Otherwise this discussion is just hand-waving.

> You are free to disagree

I do. Templates are not macros, do not have the nature of macros, are
not their siblings and have no other association with them.

> > Even if we assume such a limitation of discussion, there is still
> > nothing particular in the C++ standard that would prevent code sharing
> > as an implementation strategy for templates.
>
> It would be technically meaningless, because the back-end tools down to the
> linker and loader were unsuitable for this.

First: C++ standard places no constraints on how the implementation is
organized at the system level.

Second: so, I understand, "the back-end tools down to the linker and
loader" were more suitable to do it in Ada, right?

> > Interestingly, macros cannot use this strategy by their definition.
>
> They perfectly can.

No. 2.1 (C++ standard) defines the phases of translation - macro
expansion is performed before syntactic and semantic analysis of
tokens.
In other words, macros are expanded even before the compiler gets a
chance to realize that it compiles a C++ code.

--
Maciej Sobczak * http://www.inspirel.com

YAMI4 - Messaging Solution for Distributed Systems
http://www.inspirel.com/yami4