------- Comment #3 from dodji at gcc dot gnu dot org 2009-04-08 16:43 ------- Subject: Re: GCC accepts template keyword where Comeau rejects it.
bangerth at gmail dot com a écrit : > ------- Comment #2 from bangerth at gmail dot com 2009-04-08 13:11 ------- > The testcase is indeed invalid. We should reject it. Sorry, could you explain why the test case is invalid ? I am not sure if it is invalid or not actually :) The C++ spec in 14.2 [temp.names], point 5 says: "If a name prefixed by the keyword template is not the name of a template, the program is ill-formed." In our case, the name "search" is the name of a template. The same point 5 later says: "As is the case with the typename prefix, the template prefix is allowed in cases where it is not strictly necessary; i.e., when the nested-name-specifier or the expression on the left of the -> or . is not dependent on a template-parameter, or the use does not appear in the scope of a template." So, I would be inclined to think that we are in a case where the 'template' keyword is not is necessary. But does that make its use invalid ? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39684
