[Boost-bugs] [Boost C++ Libraries] #4526: [MSVC 10 & 9 & 8] forward declarations of concept checked function templates don't work (compiler bug?)

Subject: [Boost-bugs] [Boost C++ Libraries] #4526: [MSVC 10 & 9 & 8] forward declarations of concept checked function templates don't work (compiler bug?)
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2010-08-11 06:21:07

#4526: [MSVC 10 & 9 & 8] forward declarations of concept checked function
templates don't work (compiler bug?)
-------------------------------------------------------+--------------------
 Reporter:  Stefan van Kessel <van_kessel@…>           |       Owner:  jsiek        
     Type:  Bugs                                       |      Status:  new          
Milestone:  Boost 1.44.0                               |   Component:  concept_check
  Version:  Boost 1.43.0                               |    Severity:  Problem      
 Keywords:  concept_check forward-declaration          |  
-------------------------------------------------------+--------------------
 As posted by Lorenzo Caminiti to comp.lib.boost.devel (8/9/2010) forward
 declarations of concept checked function templates lead to ambiguity
 errors even though the function signatures are identical when compiled
 with MSVC (I tested MSVC 10 & MSVC9, Caminit MSVC8)

 I believe it boils down to a compiler error where MSVC fails to recognize
 that signatures are identical when the return type depends on fairly
 complex expressions that include non type template arguments. I've got a
 patch that seems to work for MSVC10. Since I used decltype it doesn't help
 for the older versions though. I haven't tested it much and I'm sure I'm
 breaking all kinds of boost coding guidelines but maybe it's of help
 anyway.

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