[Boost-bugs] [Boost C++ Libraries] #7343: Extend result_of to work with SFINAE

Subject: [Boost-bugs] [Boost C++ Libraries] #7343: Extend result_of to work with SFINAE
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2012-09-07 01:51:26

#7343: Extend result_of to work with SFINAE
-----------------------------------------+----------------------------------
 Reporter:  djwalker                     |       Owner:  djwalker
     Type:  Feature Requests             |      Status:  new     
Milestone:  To Be Determined             |   Component:  utility 
  Version:  Boost 1.52.0                 |    Severity:  Problem 
 Keywords:  result_of, decltype, SFINAE  |  
-----------------------------------------+----------------------------------
 In response to a problem first identified by Joel de Guzman:

 http://thread.gmane.org/gmane.comp.lib.boost.devel/233752/focus=233934


 When BOOST_RESULT_OF_USE_DECLTYPE is defined, the attached patch makes the
 expression result_of<Fn( ArgTypes ...)>::type not well formed when the
 expression decltype(INVOKE(declval< Fn >(), declval< ArgTypes >()...)) is
 not well formed, but does not break SFINAE when used as the return type of
 a function overload.

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