c++ - 为什么 boost::assign::list_of 不适用于 pair>？

Question

我不明白为什么这不起作用(Visual C++ 2012):

#include <string>
#include <utility>
#include <vector>
#include <boost/assign/list_of.hpp>

using namespace std;

int main()
{
    pair<string, vector<string> >("^", boost::assign::list_of<string>("rules"));
}

错误是:

include\utility(138) : error C2668: 'std::vector<_Ty>::vector' : ambiguous call to overloaded function with [ _Ty=std::string ]
include\vector(786): could be 'std::vector<_Ty>::vector(std::vector<_Ty> &&)' with [ _Ty=std::string ]
include\vector(693): or       'std::vector<_Ty>::vector(unsigned int)' with [ _Ty=std::string ]
while trying to match the argument list '(boost::assign_detail::generic_list<T>)' with [ T=std::string ]
test.cpp(12) : see reference to function template instantiation 'std::pair<_Ty1,_Ty2>::pair<const char(&)[2],boost::assign_detail::generic_list<T>>(_Other1,_Other2 &&,void **)' being compiled
with
[
    _Ty1=std::string,
    _Ty2=std::vector<std::string>,
    T=std::string,
    _Other1=const char (&)[2],
    _Other2=boost::assign_detail::generic_list<std::string>
]
test.cpp(12) : see reference to function template instantiation 'std::pair<_Ty1,_Ty2>::pair<const char(&)[2],boost::assign_detail::generic_list<T>>(_Other1,_Other2 &&,void **)' being compiled
with
[
    _Ty1=std::string,
    _Ty2=std::vector<std::string>,
    T=std::string,
    _Other1=const char (&)[2],
    _Other2=boost::assign_detail::generic_list<std::string>
]

我无法理解为什么它要尝试访问 unsigned int 重载...有什么想法吗？

Answer 1

这是因为一个新的 pair在 C++11 中添加了构造函数以接受通用引用。因此，此代码将在 VS2012(添加了此构造函数)和处于 C++11 模式下的 GCC 中失败。

在 C++03 中:

pair<T1,T2>构造函数是:

pair( const T1& x, const T2& y ) : first(x), second(y) {}

在这种情况下，T2 == vector<string> .

A generic_list对象(list_of 返回的对象)有一个模板转换运算符:

template <class Container>
operator Container() const;

当你传入 generic_list 时作为参数，它尝试转换 generic_list反对 vector<string> ，因为这是构造函数所期望的，并且成功了。

在 C++11 中:

这pair<T1,T2>添加了构造函数:

template< class U1, class U2 >
pair( U1&& x, U2&& y ) : first(std::forward<U1>(x)), second(std::forward<U2>(y))

现在当你传入一个 generic_list对象，它将作为 generic_list&& 传入.当它试图调用 second (类型 vector<string> )构造函数与此对象，它不知道调用这些构造函数中的哪一个:

explicit vector(size_type count, [more params with default values])
vector(const vector& other);

自 generic_list可以同时转换为 size_type和 vector<string> .这会导致编译错误。

修复/解决方法:

一个可能的解决方法是使用 convert_to_container方法并指定目标类型:

pair<string, vector<string> >("^", boost::assign::list_of<string>("rules").convert_to_container<vector<string> >());

另一种选择是使用 make_pair并明确指定其模板参数。