id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
8339	Iterator facade does not work for const iterator with array value type	Nathan Ridge	jeffrey.hellrung	"The following code fails to compile:

{{{
#include <boost/iterator/iterator_facade.hpp>

struct iterator : boost::iterator_facade<iterator, 
                                         char [4], 
                                         boost::random_access_traversal_tag, 
                                         char const (&)[4]>
{
};
}}}

(I omitted the body of the derived class, but that's irrelevant, it's not what's causing the error).

The error is:

{{{
In file included from test.cpp:1:
In file included from boost/iterator/iterator_facade.hpp:17:
boost/iterator/detail/operator_brackets_dispatch.hpp:33:12: error: function cannot return array type 'result_type' (aka 'char [4]')
    static result_type apply(Iterator const & i)
           ^
boost/iterator/iterator_facade.hpp:583:16: note: in instantiation of template class 'boost::detail::operator_brackets_value<char [4]>' requested here
      typename operator_brackets_dispatch_::result_type
               ^
test.cpp:3:19: note: in instantiation of template class 'boost::iterator_facade<iterator, char [4], boost::random_access_traversal_tag, char const (&)[4], long>' requested here
struct iterator : boost::iterator_facade<iterator,
                  ^
In file included from test.cpp:1:
boost/iterator/iterator_facade.hpp:583:7: error: function cannot return array type 'typename operator_brackets_dispatch_::result_type' (aka 'char [4]')
      typename operator_brackets_dispatch_::result_type
      ^
test.cpp:3:19: note: in instantiation of template class 'boost::iterator_facade<iterator, char [4], boost::random_access_traversal_tag, char const (&)[4], long>' requested here
struct iterator : boost::iterator_facade<iterator,
                  ^
}}}

It would be great if this use case could be supported."	Bugs	new	To Be Determined	iterator	Boost Development Trunk	Problem