boostorg/iterator
1
0
Fork 1
mirror of https://github.com/boostorg/iterator.git synced 2025-06-25 03:51:33 +02:00
Code Issues Packages Projects Releases Wiki Activity

Forward dereferencing operators in operator_brackets_proxy.

Browse Source 
This allows for expressions like it[n]->foo() and (*it[n]).foo() to compile.
This commit is contained in:
Andrey Semashev
2025-06-09 04:41:53 +03:00
parent da00617e56
commit e968c3312b
2 changed files with 24 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
include/boost/iterator/iterator_facade.hpp
View File

@ -365,12 +365,25 @@ public:
typename std::remove_cv< typename std::remove_reference< T >::type >::type
>::value,
operator_brackets_proxy&
>::type operator= (T&& val) noexcept(std::is_nothrow_assignable< reference, T&& >::value)
>::type operator= (T&& val) noexcept(noexcept(*std::declval< Iterator const& >() = std::declval< T&& >()))
{
*m_iter = static_cast< T&& >(val);
return *this;
}
// Provides it[n]->foo(). Leverages chaining of operator->.
reference operator->() const noexcept(noexcept(*std::declval< Iterator const& >()))
{
return *m_iter;
}
// Provides (*it[n]).foo()
template< typename Ref = reference, typename Result = decltype(*std::declval< Ref >()) >
Result operator*() const noexcept(noexcept(**std::declval< Iterator const& >()))
{
return **m_iter;
}
private:
Iterator m_iter;
};

10
test/iterator_adaptor_test.cpp
View File

@ -189,6 +189,16 @@ main()
boost::const_nonconst_iterator_test(i, ++j);
}
// Test that operator_brackets_proxy forwards operator-> and operator*
{
dummyT* ptr_array[] = { array + 0, array + 1, array + 2,
array + 3, array + 4, array + 5 };
ptr_iterator<dummyT*> i(ptr_array);
BOOST_TEST_EQ(i[2]->foo(), 2);
BOOST_TEST_EQ((*i[2]).foo(), 2);
}
int test;
// Test the iterator_traits
{