fork download

#include <map>
 
template<typename T>
class TestAllocator;
 
template<>
class TestAllocator<void>
{
public:
  typedef void * pointer;
  typedef const void * const_pointer;
  typedef void value_type;
  typedef size_t size_type;
  typedef ptrdiff_t difference_type;
  //typedef T & reference; not possible for void
  //typedef const T & const_reference; not possible for void
 
  template<typename U>
  struct rebind
  {
    typedef TestAllocator<U> other;  
  };
};
 
template<typename T>
class TestAllocator
{
public:
  typedef T * pointer;
  typedef const T * const_pointer;
  typedef T & reference;
  typedef const T & const_reference;
  typedef T value_type;
  typedef size_t size_type;
  typedef ptrdiff_t difference_type;
 
  template<typename U>
  struct rebind
  {
    typedef TestAllocator<U> other;  
  };
};
 
struct Foo
{
    int a, b;
    bool operator <(const Foo &r) const
    {
        return a < r.a;
    }
};
 
struct Bar { float a, b; };
 
typedef std::map<
  Foo, Bar,
  TestAllocator<void>
> TestContainer;
 
int main()
{
    TestContainer x;
    x.insert(TestContainer::value_type(Foo(), Bar()));
    return 0;
}
 

In file included from /usr/lib/gcc/i686-pc-linux-gnu/4.5.1/../../../../include/c++/4.5.1/map:60:0,
                 from prog.cpp:1:
/usr/lib/gcc/i686-pc-linux-gnu/4.5.1/../../../../include/c++/4.5.1/bits/stl_tree.h: In member function 'std::pair<std::_Rb_tree_iterator<_Val>, bool> std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_M_insert_unique(const _Val&) [with _Key = Foo, _Val = std::pair<const Foo, Bar>, _KeyOfValue = std::_Select1st<std::pair<const Foo, Bar> >, _Compare = TestAllocator<void>, _Alloc = std::allocator<std::pair<const Foo, Bar> >]':
/usr/lib/gcc/i686-pc-linux-gnu/4.5.1/../../../../include/c++/4.5.1/bits/stl_map.h:501:41:   instantiated from 'std::pair<typename std::map<_Key, _Tp, _Compare, _Alloc>::_Rep_type::iterator, bool> std::map<_Key, _Tp, _Compare, _Alloc>::insert(const std::map<_Key, _Tp, _Compare, _Alloc>::value_type&) [with _Key = Foo, _Tp = Bar, _Compare = TestAllocator<void>, _Alloc = std::allocator<std::pair<const Foo, Bar> >, typename std::map<_Key, _Tp, _Compare, _Alloc>::_Rep_type::iterator = std::_Rb_tree_iterator<std::pair<const Foo, Bar> >, std::map<_Key, _Tp, _Compare, _Alloc>::value_type = std::pair<const Foo, Bar>]'
prog.cpp:63:53:   instantiated from here
/usr/lib/gcc/i686-pc-linux-gnu/4.5.1/../../../../include/c++/4.5.1/bits/stl_tree.h:1184:4: error: no match for call to '(TestAllocator<void>) (const std::pair<const Foo, Bar>::first_type&, const Foo&)'
/usr/lib/gcc/i686-pc-linux-gnu/4.5.1/../../../../include/c++/4.5.1/bits/stl_map.h:501:41:   instantiated from 'std::pair<typename std::map<_Key, _Tp, _Compare, _Alloc>::_Rep_type::iterator, bool> std::map<_Key, _Tp, _Compare, _Alloc>::insert(const std::map<_Key, _Tp, _Compare, _Alloc>::value_type&) [with _Key = Foo, _Tp = Bar, _Compare = TestAllocator<void>, _Alloc = std::allocator<std::pair<const Foo, Bar> >, typename std::map<_Key, _Tp, _Compare, _Alloc>::_Rep_type::iterator = std::_Rb_tree_iterator<std::pair<const Foo, Bar> >, std::map<_Key, _Tp, _Compare, _Alloc>::value_type = std::pair<const Foo, Bar>]'
prog.cpp:63:53:   instantiated from here
/usr/lib/gcc/i686-pc-linux-gnu/4.5.1/../../../../include/c++/4.5.1/bits/stl_tree.h:1195:7: error: no match for call to '(TestAllocator<void>) (const Foo&, const std::pair<const Foo, Bar>::first_type&)'
/usr/lib/gcc/i686-pc-linux-gnu/4.5.1/../../../../include/c++/4.5.1/bits/stl_tree.h: In member function 'std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::iterator std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_M_insert_(const std::_Rb_tree_node_base*, const std::_Rb_tree_node_base*, const _Val&) [with _Key = Foo, _Val = std::pair<const Foo, Bar>, _KeyOfValue = std::_Select1st<std::pair<const Foo, Bar> >, _Compare = TestAllocator<void>, _Alloc = std::allocator<std::pair<const Foo, Bar> >, std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::iterator = std::_Rb_tree_iterator<std::pair<const Foo, Bar> >, const std::_Rb_tree_node_base* = const std::_Rb_tree_node_base*]':
/usr/lib/gcc/i686-pc-linux-gnu/4.5.1/../../../../include/c++/4.5.1/bits/stl_tree.h:1191:65:   instantiated from 'std::pair<std::_Rb_tree_iterator<_Val>, bool> std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_M_insert_unique(const _Val&) [with _Key = Foo, _Val = std::pair<const Foo, Bar>, _KeyOfValue = std::_Select1st<std::pair<const Foo, Bar> >, _Compare = TestAllocator<void>, _Alloc = std::allocator<std::pair<const Foo, Bar> >]'
/usr/lib/gcc/i686-pc-linux-gnu/4.5.1/../../../../include/c++/4.5.1/bits/stl_map.h:501:41:   instantiated from 'std::pair<typename std::map<_Key, _Tp, _Compare, _Alloc>::_Rep_type::iterator, bool> std::map<_Key, _Tp, _Compare, _Alloc>::insert(const std::map<_Key, _Tp, _Compare, _Alloc>::value_type&) [with _Key = Foo, _Tp = Bar, _Compare = TestAllocator<void>, _Alloc = std::allocator<std::pair<const Foo, Bar> >, typename std::map<_Key, _Tp, _Compare, _Alloc>::_Rep_type::iterator = std::_Rb_tree_iterator<std::pair<const Foo, Bar> >, std::map<_Key, _Tp, _Compare, _Alloc>::value_type = std::pair<const Foo, Bar>]'
prog.cpp:63:53:   instantiated from here
/usr/lib/gcc/i686-pc-linux-gnu/4.5.1/../../../../include/c++/4.5.1/bits/stl_tree.h:897:25: error: no match for call to '(TestAllocator<void>) (const std::pair<const Foo, Bar>::first_type&, const Foo&)'

Standard output is empty