id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
12789,"Instantiating bimap with all three ""additional"" template parameter fails to compile.",jonathan.haigh@…,Matias Capeletto,"The following test program fails to compile.

{{{#!c++
#include <boost/bimap.hpp>
#include <memory>

void test() {
  boost::bimap<int, int, boost::bimaps::left_based, boost::bimaps::with_info<int>, std::allocator<void>> map;
}
}}}

The compile error from g++ 4.9.2 starts with:

{{{
jhaigh@growler:~/tmp/tmp$ g++ -std=c++11 bimap_error.cpp
In file included from /usr/include/boost/bimap/bimap.hpp:61:0,
                 from /usr/include/boost/bimap.hpp:13,
                 from bimap_error.cpp:1:
/usr/include/boost/bimap/detail/bimap_core.hpp: In instantiation of ‘class boost::bimaps::detail::bimap_core<int, int, boost::bimaps::left_based, boost::bimaps::with_info<int>, std::allocator<void> >’:
/usr/include/boost/bimap/bimap.hpp:133:7:   required from ‘class boost::bimaps::bimap<int, int, boost::bimaps::left_based, boost::bimaps::with_info<int>, std::allocator<void> >’
bimap_error.cpp:5:106:   required from here
/usr/include/boost/bimap/detail/bimap_core.hpp:410:7: error: no class template named ‘rebind’ in ‘boost::bimaps::detail::manage_additional_parameters<boost::bimaps::left_based, boost::bimaps::with_info<int>, std::allocator<void> >::case_SHA::allocator {aka struct boost::bimaps::with_info<int>}’
...
}}}

Boost thinks my with_info parameter is an allocator! The full compiler output will be attached, but I think this is enough to see the problem.

It looks like the cause is the case_SHA struct in boost/bimap/detail/manage_additional_parameters that deals with the case when all three additional template parameters are given to bimap:

{{{#!c++
template< class AP1, class AP2, class AP3 >
struct manage_additional_parameters
{
...
    struct case_SHA
    {
        typedef AP1 set_type_of_relation;
        typedef AP2 allocator;
        typedef BOOST_DEDUCED_TYPENAME AP2::value_type additional_info;
    };
}}}
AP2 is used for both the allocator type and the additional_info type. I think allocator should be typedefed to AP3, not AP2.",Bugs,new,To Be Determined,bimap,Boost 1.55.0,Problem,,,