boostorg/range
1
0
Fork 1
mirror of https://github.com/boostorg/range.git synced 2025-07-30 12:57:28 +02:00
Code Issues Packages Projects Releases Wiki Activity

Ticket 12754 - operator| overload for boost::range_details::replace_holder is not SFINEA friendly

Browse Source 
include\boost\range\adaptor\replaced.hpp

Make sure that the overload resolution doesn't choke on the value type factory when its considers the overload
This commit is contained in:
Tim Wynants
2017-01-12 17:45:31 +01:00
parent 56d470635d
commit 7b89c747d6
1 changed files with 12 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

30
include/boost/range/adaptor/replaced.hpp
View File

@ -101,12 +101,10 @@ namespace boost
void operator=(const replace_holder&); void operator=(const replace_holder&);
}; };
template< class SinglePassRange > template< class SinglePassRange,
class RangeValueType = BOOST_DEDUCED_TYPENAME range_value<SinglePassRange>::type>
inline replaced_range<SinglePassRange> inline replaced_range<SinglePassRange>
operator|( operator|(SinglePassRange& r, const replace_holder<RangeValueType>& f)
SinglePassRange& r,
const replace_holder<
BOOST_DEDUCED_TYPENAME range_value<SinglePassRange>::type>& f )
{ {
BOOST_RANGE_CONCEPT_ASSERT(( BOOST_RANGE_CONCEPT_ASSERT((
SinglePassRangeConcept<SinglePassRange>)); SinglePassRangeConcept<SinglePassRange>));
@ -114,12 +112,10 @@ namespace boost
return replaced_range<SinglePassRange>(r, f.val1, f.val2); return replaced_range<SinglePassRange>(r, f.val1, f.val2);
} }
template< class SinglePassRange > template< class SinglePassRange,
class RangeValueType = BOOST_DEDUCED_TYPENAME range_value<SinglePassRange>::type>
inline replaced_range<const SinglePassRange> inline replaced_range<const SinglePassRange>
operator|( operator|(const SinglePassRange& r, const replace_holder<RangeValueType>& f)
const SinglePassRange& r,
const replace_holder<
BOOST_DEDUCED_TYPENAME range_value<SinglePassRange>::type>& f)
{ {
BOOST_RANGE_CONCEPT_ASSERT(( BOOST_RANGE_CONCEPT_ASSERT((
SinglePassRangeConcept<const SinglePassRange>)); SinglePassRangeConcept<const SinglePassRange>));
@ -139,11 +135,10 @@ namespace boost
range_detail::forwarder2<range_detail::replace_holder>(); range_detail::forwarder2<range_detail::replace_holder>();
} }
template<class SinglePassRange> template< class SinglePassRange,
class RangeValueType = BOOST_DEDUCED_TYPENAME range_value<SinglePassRange>::type>
inline replaced_range<SinglePassRange> inline replaced_range<SinglePassRange>
replace(SinglePassRange& rng, replace(SinglePassRange& rng, RangeValueType from, RangeValueType to)
BOOST_DEDUCED_TYPENAME range_value<SinglePassRange>::type from,
BOOST_DEDUCED_TYPENAME range_value<SinglePassRange>::type to)
{ {
BOOST_RANGE_CONCEPT_ASSERT(( BOOST_RANGE_CONCEPT_ASSERT((
SinglePassRangeConcept<SinglePassRange>)); SinglePassRangeConcept<SinglePassRange>));
@ -151,11 +146,10 @@ namespace boost
return replaced_range<SinglePassRange>(rng, from, to); return replaced_range<SinglePassRange>(rng, from, to);
} }
template<class SinglePassRange> template< class SinglePassRange,
class RangeValueType = BOOST_DEDUCED_TYPENAME range_value<SinglePassRange>::type>
inline replaced_range<const SinglePassRange> inline replaced_range<const SinglePassRange>
replace(const SinglePassRange& rng, replace(const SinglePassRange& rng, RangeValueType from, RangeValueType to)
BOOST_DEDUCED_TYPENAME range_value<SinglePassRange>::type from,
BOOST_DEDUCED_TYPENAME range_value<SinglePassRange>::type to)
{ {
BOOST_RANGE_CONCEPT_ASSERT(( BOOST_RANGE_CONCEPT_ASSERT((
SinglePassRangeConcept<const SinglePassRange>)); SinglePassRangeConcept<const SinglePassRange>));