Re: Standard's rules for adding "template" in expressions

From:

"Greg Herlihy" <greghe@pacbell.net>

Newsgroups:

comp.lang.c++.moderated

Date:

Thu, 29 Mar 2007 22:42:25 CST

Message-ID:

<1175205159.697150.47310@l77g2000hsb.googlegroups.com>

On Mar 29, 3:17 pm, "Alf P. Steinbach" <a...@start.no> wrote:

In the following program:

     template< typename T >
     struct Base
     {
         template< typename U > U foo() const { return U(); }
     };

     template< typename T >
     struct Derived: Base<T>
     {
         T bar() const { return Base<T>::template foo<T>(); } // *
     };

     int main()
     {
         Derived<bool> o;
         o.bar();
     }

For the line marked "*", exactly where in the standard is the
requirement that "template" is added to designate foo as a function
template?

In the 2003 C++ Standard the relevant section is ?14.2/4-5:

"When the name of a member template specialization appears after "."
or "->" in a postfix-expression, or after nested-name-specifier in a
qualified-id, and the postfix-expression or qualified-id explicitly
depends on a template-parameter (14.6.2), the member template name
must be prefixed by the keyword 'template'."

Greg

--
[ See http://www.gotw.ca/resources/clcm.htm for info about ]
[ comp.lang.c++.moderated. First time posters: Do this! ]