4

这是一个 Boost 错误还是我做错了什么？

#include <map>
#include <boost/pool/pool_alloc.hpp>

int main()
{
    typedef const std::string key;
    typedef double* (*value)(const int&);
    std::map<key, value, std::less<key>> map_with_standard_allocator; // works
    std::map<key, value, std::less<key>, boost::fast_pool_allocator<std::pair<const key, value> > > map_with_boost_allocator; // fails
}

最后一行无法在带有 Boost 1.40 和 1.48 的 MS Visual Studio 2008 下编译。不过，它在 g++ 4.5.3 (Cygwin) 下编译得很好。

错误是：

1>Compiling...
1>main.cpp
1>C:\UniLib1\trunk\External\boost/pool/pool_alloc.hpp(205) : error C2535: 'const std::basic_string<_Elem,_Traits,_Ax> *boost::fast_pool_allocator<T,UserAllocator,Mutex,NextSize>::address(const std::basic_string<_Elem,_Traits,_Ax> &)' : member function already defined or declared
1>        with
1>        [
1>            _Elem=char,
1>            _Traits=std::char_traits<char>,
1>            _Ax=std::allocator<char>,
1>            T=const std::basic_string<char,std::char_traits<char>,std::allocator<char>>,
1>            UserAllocator=boost::default_user_allocator_new_delete,
1>            Mutex=boost::details::pool::default_mutex,
1>            NextSize=32
1>        ]
1>        C:\UniLib1\trunk\External\boost/pool/pool_alloc.hpp(202) : see declaration of 'boost::fast_pool_allocator<T,UserAllocator,Mutex,NextSize>::address'
1>        with
1>        [
1>            T=const std::basic_string<char,std::char_traits<char>,std::allocator<char>>,
1>            UserAllocator=boost::default_user_allocator_new_delete,
1>            Mutex=boost::details::pool::default_mutex,
1>            NextSize=32
1>        ]
1>        c:\Program Files\Microsoft Visual Studio 9.0\VC\include\xtree(137) : see reference to class template instantiation 'boost::fast_pool_allocator<T,UserAllocator,Mutex,NextSize>' being compiled
1>        with
1>        [
1>            T=const std::basic_string<char,std::char_traits<char>,std::allocator<char>>,
1>            UserAllocator=boost::default_user_allocator_new_delete,
1>            Mutex=boost::details::pool::default_mutex,
1>            NextSize=32
1>        ]
1>        c:\Program Files\Microsoft Visual Studio 9.0\VC\include\map(78) : see reference to class template instantiation 'std::_Tree<_Traits>' being compiled
1>        with
1>        [
1>            _Traits=std::_Tmap_traits<key,value ,std::less<key>,boost::fast_pool_allocator<std::pair<key,value >>,false>
1>        ]
1>        .\main.cpp(9) : see reference to class template instantiation 'std::map<_Kty,_Ty,_Pr,_Alloc>' being compiled
1>        with
1>        [
1>            _Kty=key,
1>            _Ty=value,
1>            _Pr=std::less<key>,
1>            _Alloc=boost::fast_pool_allocator<std::pair<key,value >>
1>        ]
4

1 回答 1

1

这不是 VS2008 中的错误（正如我在对此答案的早期编辑中错误地声称的那样）。C++03 标准要求关联容器的键类型，如std::map，必须是“可分配的”（根据 23.1.2“关联容器”中的表 69）。并且 aconst std::string是不可分配的。请注意，C++11 标准似乎放宽了这一要求，但新标准自 VC++ 2008 起不再适用。

我不清楚是否需要编译器来诊断尝试std::map与不可分配键一起使用的代码，所以我认为不能声称 GCC 或 VC++ 2010 不正确地接受此代码（我认为它属于未定义的代码区域可以按您的预期工作，即使不能保证它会工作）。但是很明显，VC++ 2008 拒绝编译它是可以的。

综上所述，我认为 VC++ 2008 的库参数化address()映射键而不是映射元素上的分配器函数仍然值得怀疑（如果您有兴趣，请参阅此答案的第一次编辑以获取详细信息），但我认为没有那里是真正的错误，因为std::pair<>用于保存地图元素将始终设置为关键部分将与整个元素位于相同的地址。

于 2012-05-11T16:04:59.613 回答