[Bug c++/26988] New: template function in template class derived from virtual base can not be specialized

["nuttygraphics at yahoo dot com" <gcc-bugzilla@gcc.gnu.org>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 3804 bytes --]

Given the following code:


 #define VIRTUAL virtual
//#define VIRTUAL                    // use this to 'fix' the code

#include <iostream>
using namespace std;


struct VirtualBase{};


struct Bar : public VIRTUAL VirtualBase
{               
        template< typename castT >explicit
        Bar( castT const& cast );
};
template< >
Bar::Bar( int const & cast )
{
        cout << "Called Bar::Bar( int )!" << endl;
}
template< typename T >
struct Hello : public VIRTUAL VirtualBase
{
        Hello( int i );
};
template< >
Hello< char >::Hello( int i )
{
        cout << "Called Hello::Hello( int )!" << endl;
}

template< typename T >
struct Foo : public VIRTUAL VirtualBase
{               
        template< typename castT >
        Foo( castT const& cast );

        template< typename T1 >
        void func( T1 );

};
template< > template< >
Foo< char >::Foo( int const & cast )
{
        cout << "Called Foo::Foo( int )!" << endl;
}


int main()
{
        Foo< char > fooChar( 42 );

        Bar barChar( 42 );      
        Hello< char > helloChar( 42 );

        return 0;
}

compiled with:
g++ -v -save-temps main.cpp

gives the following output


Es werden eingebaute Spezifikationen verwendet.
Ziel: i386-redhat-linux
Konfiguriert mit: ../configure --prefix=/usr --mandir=/usr/share/man
--infodir=/usr/share/info --enable-shared --enable-threads=posix
--enable-checking=release --with-system-zlib --enable-__cxa_atexit
--disable-libunwind-exceptions --enable-libgcj-multifile
--enable-languages=c,c++,objc,java,f95,ada --enable-java-awt=gtk
--with-java-home=/usr/lib/jvm/java-1.4.2-gcj-1.4.2.0/jre
--host=i386-redhat-linux
Thread-Modell: posix
gcc-Version 4.0.2 20051125 (Red Hat 4.0.2-8)
 /usr/libexec/gcc/i386-redhat-linux/4.0.2/cc1plus -E -quiet -v -D_GNU_SOURCE
main.cpp -fpch-preprocess -o main.ii
nicht vorhandenes Verzeichnis
»/usr/lib/gcc/i386-redhat-linux/4.0.2/../../../../i386-redhat-linux/include«
wird ignoriert
#include "..." - Suche beginnt hier:
#include <...> - Suche beginnt hier:
 /usr/lib/gcc/i386-redhat-linux/4.0.2/../../../../include/c++/4.0.2

/usr/lib/gcc/i386-redhat-linux/4.0.2/../../../../include/c++/4.0.2/i386-redhat-linux
 /usr/lib/gcc/i386-redhat-linux/4.0.2/../../../../include/c++/4.0.2/backward
 /usr/local/include
 /usr/lib/gcc/i386-redhat-linux/4.0.2/include
 /usr/include
Ende der Suchliste.
 /usr/libexec/gcc/i386-redhat-linux/4.0.2/cc1plus -fpreprocessed main.ii -quiet
-dumpbase main.cpp -auxbase main -version -o main.s
GNU C++ version 4.0.2 20051125 (Red Hat 4.0.2-8) (i386-redhat-linux)
        compiled by GNU C version 4.0.2 20051125 (Red Hat 4.0.2-8).
GGC-Heuristik: --param ggc-min-expand=99 --param ggc-min-heapsize=129465
main.cpp:18: Fehler: Template-ID »Bar<>« für »Bar::Bar(const int&)« passt zu
keiner Templatedeklaration
main.cpp:18: Fehler: ungültige Funktionsdeklaration
main.cpp:55: Fehler: Template-ID »Foo<>« für »Foo<char>::Foo(const int&)« passt
zu keiner Templatedeklaration
main.cpp:55: Fehler: ungültige Funktionsdeklaration

========================================

The problem can be fixed, by putting the comment to the other #define at the
beginning.

I reproduced this on WinXP - gcc-3.4.2, Linux FC4 with gcc-4.0.0 and 4.0.2

However MSVC 7.1 + 8.0 and Comeau accept the code.


-- 
           Summary: template function in template class derived from virtual
                    base can not be specialized
           Product: gcc
           Version: 4.0.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: nuttygraphics at yahoo dot com
  GCC host triplet: LINUX FC4 and WinXP
GCC target triplet: LINUX FC4 and WinXP


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26988