c++/3239: template specializations and namespace issues

[bkoz@gnu.org]

>Number:         3239
>Category:       c++
>Synopsis:       template specializations and namespace issues
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Mon Jun 18 13:16:00 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     Benjamin Kosnik
>Release:        gcc-3.0, gcc CVS
>Organization:
>Environment:
x86/linux, all
>Description:
Try compiling the following legal code:


namespace std
{
  template <class _T1, class _T2>
  struct pair {
    typedef _T1 first_type;
    typedef _T2 second_type;

    _T1 first;
    _T2 second;
    //265.  std::pair::pair() effects overly restrictive
    pair() : first(), second() {}
    pair(const _T1& __a, const _T2& __b) : first(__a), second(__b) {}

    template <class _U1, class _U2>
    pair(const pair<_U1, _U2>& __p) : first(__p.first), second(__p.second) {}
  };
}

bool global = false;

template<> class std::pair<int, int>
{
public:
  pair(const int&, const int&) { global = true; }
};

And you'll get:
%COMP.sh g++1.cc
g++1.cc:29: specializing `class std::pair<int, int>' in different namespace
g++1.cc:6:   from definition of `template<class _T1, class _T2> struct 
   std::pair'


A particular C++ conformance suite uses this idiom throughout the testsuite.

-benjamin
>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: