This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/9737] [DR150] Partial template specialisation selection failure involving template parameter defaults
- From: "gdr at integrable-solutions dot net" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 25 Jan 2004 17:24:48 -0000
- Subject: [Bug c++/9737] [DR150] Partial template specialisation selection failure involving template parameter defaults
- References: <20030217232600.9737.gccbugs@contacts.eelis.net>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From gdr at integrable-solutions dot net 2004-01-25 17:24 -------
Subject: Re: [DR150] Partial template specialisation selection failure involving template parameter defaults
"giovannibajo at libero dot it" <gcc-bugzilla@gcc.gnu.org> writes:
| Jason, you proposed to keep this PR suspended because the DR was closed
| as "extension", so it might serve as a prototype implementation for the
| extension.
|
| Would you agree in having Kriang's patch in, modified in a way that it
| basically allows it as a GCC extension (no new switch), so that the strict
| C++/98 behaviour is enforced in pedantic mode? We can later deprecate and
| remove the extension if it's not picked up by the Evolution Group (for
| instance, because of the template alias thingie).
I believe the current approach to this issue is to maintain the analogy
with function function parameters (as pointed out in the Rationale of
DR150); however, as you point out, use of template alias circumvents
the need for loosening the type system.
-- Gaby
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=9737