From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 9677 invoked by alias); 21 Nov 2002 09:36:01 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 9657 invoked by uid 71); 21 Nov 2002 09:36:01 -0000 Resent-Date: 21 Nov 2002 09:36:01 -0000 Resent-Message-ID: <20021121093601.9656.qmail@sources.redhat.com> Resent-From: gcc-gnats@gcc.gnu.org (GNATS Filer) Resent-Cc: gcc-prs@gcc.gnu.org, gcc-bugs@gcc.gnu.org Resent-Reply-To: gcc-gnats@gcc.gnu.org, jozef.kosoru@pobox.sk Received: (qmail 7331 invoked by uid 61); 21 Nov 2002 09:29:59 -0000 Message-Id: <20021121092959.7330.qmail@sources.redhat.com> Date: Sat, 30 Nov 2002 18:16:00 -0000 From: jozef.kosoru@pobox.sk Reply-To: jozef.kosoru@pobox.sk To: gcc-gnats@gcc.gnu.org X-Send-Pr-Version: gnatsweb-2.9.3 (1.1.1.1.2.31) Subject: c++/8665: explicit specialization of the member class template of a class template X-SW-Source: 2002-11/txt/msg01203.txt.bz2 List-Id: >Number: 8665 >Category: c++ >Synopsis: explicit specialization of the member class template of a class template >Confidential: no >Severity: serious >Priority: medium >Responsible: unassigned >State: open >Class: rejects-legal >Submitter-Id: net >Arrival-Date: Thu Nov 21 01:36:00 PST 2002 >Closed-Date: >Last-Modified: >Originator: Jozef Kosoru >Release: g++-3.2 >Organization: >Environment: Linux >Description: The following code does not compile on g++-3.2 and gives a very strange error message. But according ISO explicit specialization of the member class template of a class template is allowed. -------------------------------------------------------- template struct A { template struct B { typedef X_ my_type; }; template<> struct B { typedef int my_type; }; }; int main() { A::B::my_type i; A::B::my_type c; } -------------------------------------------------------- refer 14.7.3 (Explicit specialization): An explicit specialization of any of the following: ... - member class template of a class template ... can be declared by a declaration introduced by template<>... exptmpl.cpp:15: explicit specialization in non-namespace scope `struct A' exptmpl.cpp:15: enclosing class templates are not explicitly specialized exptmpl.cpp:17: template parameters not used in partial specialization: exptmpl.cpp:17: `T_' >How-To-Repeat: >Fix: >Release-Note: >Audit-Trail: >Unformatted: