[Bug c++/9737] [DR150] Partial template specialisation selection failure involving template parameter defaults

["jens dot maurer at gmx dot net" <gcc-bugzilla at gcc dot gnu dot org>]

------- Additional Comments From jens dot maurer at gmx dot net  2004-07-13 18:59 -------

I understand that matching a template with defaulted parameters
as an argument to a template template parameter is an issue
for the Extension working group of the ISO C++ committee.

However, may I kindly ask that the patch that apparently
aligns gcc with the current standard be applied,
so that code like this is rejected in pedantic mode:

template<class T, class D = int>
class A { };

template<template<class T> class P>
class B { };

B<A> b;


I've got a hard time convincing my colleague that his
template template tricks are not legal, and requiring him
to download the Intel compiler just to see an error
message seems out of proportion.

Thank you.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jens dot maurer at gmx dot
                   |                            |net


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