🚀 go-pugleaf

>>>>> "ER" == "Eugene Radchenko" <eugene@qsar.chem.msu.su> writes:
[...]
>>> 3) Clause [temp.arg.explicit] verses 2-3 requires that for explicit arg in
>>> member template to be present it must be qualified by 'template' keyword,
>>> e.g.
>>> X *p; p->template alloc<200>();
>>> But to use operator -> we need X class definition anyway - so we know that
>>> alloc() is a template.

>> It is needed in some situations where we do not have the X class definition
>> -- in template definitions, like with typename.

ER> And what are we supposed to do with function alloc() if we do not have the
ER> class definition and hence do not know anything about this function?

C++ compilers are not trivial things to write and it makes sense to
decompose the compilation process in well-separated ``phases''. One
such phase is lexical analysis (decomposing the source text into
tokens), another is syntactical analysis (also called parsing; classify
the tokens and their relationship) and yet another one is semantic 
analysis (``interpret the classification and relationships determined
during syntactical analysis''). 

I may be somwhat innacurate in my descriptions, but feeding back
information from semantic analysis (e.g., ``class X has no member
template alloc'') to syntactic analysis (so that it can find out that
``X::alloc is a data member, not a member function template'') makes
the process harder. The traditional example, is more along the
lines of:

	p->alloc<2>(0);

Is this meant to be equivalent to `(p->alloc < 2) > 0' or to the
invocation of a template member function? With the added syntax,
the parser knows without relying on the semantic analysis.

	Daveed
---
[ comp.std.c++ is moderated.  Submission address: std-c++@ncar.ucar.edu.
  Contact address: std-c++-request@ncar.ucar.edu.  Moderation policy:
  http://reality.sgi.com/employees/austern_mti/std-c++/policy.html. ]