[Boost-bugs] [Boost C++ Libraries] #4141: typeof/msvc/typeof_impl specializes base class template in derived class

Subject: [Boost-bugs] [Boost C++ Libraries] #4141: typeof/msvc/typeof_impl specializes base class template in derived class
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2010-04-22 17:38:31

#4141: typeof/msvc/typeof_impl specializes base class template in derived class
--------------------------+-------------------------------------------------
 Reporter:  jhs@…         |       Owner:  burbelgruff
     Type:  Bugs          |      Status:  new        
Milestone:  Boost 1.43.0  |   Component:  typeof     
  Version:  Boost 1.42.0  |    Severity:  Problem    
 Keywords:                |  
--------------------------+-------------------------------------------------
 This pieces of code from boost/typeof/msvc/typeof_impl.hpp (line 121 in
 1.42.0) specializes the base class id2type_tmpl and then declares a local
 template with the same name.   It is marked as a VC8 bugfeature, but I
 don't know if that is for this reason, or just because it uses the
 Microsoft in-class specialization feature.

 We ran into this because our failure to accept this was reported as a bug
 in the EDG front end's MIcrosoft mode.

 template<typename ID, typename T>
         struct msvc_extract_type :
 msvc_extract_type<ID,msvc_extract_type_default_param>
         {
             template<>
             struct id2type_impl<true>  //VC8.0 specific bugfeature
             {
                 typedef T type;
             };
             template<bool>
             struct id2type_impl;

             typedef id2type_impl<true> id2type;
         };

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/4141>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.