------- Comment #3 from bangerth at dealii dot org 2007-02-11 04:16 -------
(In reply to comment #2)
> I thought (according to the ARM) that all functions of a template class were
> implicitly function templates.
No, you confuse class member templates with class template members :-)
> Ordinarily the correct instantiation is
> determined by the object, but when both are inherited then it needs
> qualification. No?
Clearly you need some sort of qualification. The qualification always
comes after the template name you want to specialize. In your case, foo
is not the template name (it's the name of a member of a class template).
The syntax you want is this:
f.foo<int>::bar();
W.
--
bangerth at dealii dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |bangerth at dealii dot org
Status|UNCONFIRMED |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30624
