From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-prs-return-35878-listarch-gcc-prs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 11743 invoked by alias); 17 May 2003 08:00:38 -0000
Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-prs/>
List-Post: <mailto:gcc-prs@gcc.gnu.org>
List-Help: <mailto:gcc-prs-help@gcc.gnu.org>
Sender: gcc-prs-owner@gcc.gnu.org
Received: (qmail 11723 invoked by uid 48); 17 May 2003 08:00:38 -0000
Date: Sat, 17 May 2003 08:00:00 -0000
Message-ID: <20030517080038.11702.qmail@sources.redhat.com>
To: gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, gprentice@paradise.net.nz,
  nobody@gcc.gnu.org
From: giovannibajo@libero.it
Reply-To: giovannibajo@libero.it, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org,
  gprentice@paradise.net.nz, nobody@gcc.gnu.org, gcc-gnats@gcc.gnu.org
Subject: Re: c++/10832: [2003-05-03] Cannot define an out-of-class explicit specialization of a template constructor of a specialized template class.
X-SW-Source: 2003-05/txt/msg01966.txt.bz2
List-Id: <gcc-prs.sourceware.org>

Old Synopsis: spurious compiler errors for definition of explicit specialisation of template member function of explicitly specialised class
New Synopsis: [2003-05-03] Cannot define an out-of-class explicit specialization of a template constructor of a specialized template class.

State-Changed-From-To: open->analyzed
State-Changed-By: bajo
State-Changed-When: Sat May 17 08:00:38 2003
State-Changed-Why:
    Confirmed. I propose the following snippet to show the bug:
    
    -----------------------------------------------------
    template <typename DT>
    struct Foo;
    
    template <>
    struct Foo<int>
    {
        long h;
    
        template <typename T>
        Foo(T);
        template <typename T>
        void Bar(T);
    };
    
    template <>
    void Foo<int>::Bar<long>(long v)
    {
        h = v;
    }
    
    template <>
    Foo<int>::Foo<long>(long v)
    {
        h = v;
    }
    
    int main()
    {
        Foo<int> f(12L);
        f.Bar(12L);
    }
    -----------------------------------------------------
    pr10832.cpp:23: error: `Foo<long int>' specified as declarator-id
    pr10832.cpp:23: error: no member function `Foo<long int>' declared in `Foo<int>'
    pr10832.cpp:23: error: invalid function declaration
    
    As you can see, the definition of the specializaiton of
    Bar() is accepted, but the same syntax used to specialize
    the constructor is rejected. This is obviously a bug.
    
    Confirmed up to current mainline.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=10832