Question

考虑下面的代码，试图从迭代器范围构造一个映射：

#include <map>

template< typename C >
typename C::const_iterator cbegin( C const & c )
{
    return c.begin();
}

template< typename C >
typename C::const_iterator cend( C const & c )
{
    return c.end();
}

int main()
{
    typedef std::map<const int, int > Map;

    Map m1;
    Map m2( m1.begin(), m1.end() );
    Map m3( m1.begin(), m1.end(), std::less<const int>() );
    Map m4( cbegin( m1 ), cend( m1 ), std::less<const int>() );
}

// cl -nologo -EHsc vc6-map.cpp && vc6-map
// g++ -Wall -Wextra -Weffc++ -std=c++11 -o vc6-map vc6-map.cpp && vc6-map

g ++ 4.8.1成功编译代码，而Visual C ++ 6，SP6（VC6）无法构建m2，m3和m4中的每一个。

VC6出现以下错误：

prompt>cl -nologo -EHsc vc6-map.cpp && vc6-map
vc6-map.cpp
vc6-map.cpp(22) : error C2664: '__thiscall std::map<int const ,int,struct std::less<int const >,class std::allocator<int
> >::std::map<int const ,int,struct std::less<int const >,class std::allocator<int> >(const struct std::less<int const >
 &,const class std::allocator<int> &)' : cannot convert parameter 1 from 'class std::_Tree<int const ,struct std::pair<i
nt const ,int>,struct std::map<int const ,int,struct std::less<int const >,class std::allocator<int> >::_Kfn,struct std:
:less<int const >,class std::allocator<int> >::iterator' to 'const struct std::less<int const > &'
        Reason: cannot convert from 'class std::_Tree<int const ,struct std::pair<int const ,int>,struct std::map<int co
nst ,int,struct std::less<int const >,class std::allocator<int> >::_Kfn,struct std::less<int const >,class std::allocato
r<int> >::iterator' to 'const struct std::less<int const >'
        No constructor could take the source type, or constructor overload resolution was ambiguous
vc6-map.cpp(23) : error C2664: '__thiscall std::map<int const ,int,struct std::less<int const >,class std::allocator<int
> >::std::map<int const ,int,struct std::less<int const >,class std::allocator<int> >(const struct std::pair<int const ,
int> *,const struct std::pair<int const ,int> *,const struct std::less<int const > &,const class std::allocator<int> &)'
 : cannot convert parameter 1 from 'class std::_Tree<int const ,struct std::pair<int const ,int>,struct std::map<int con
st ,int,struct std::less<int const >,class std::allocator<int> >::_Kfn,struct std::less<int const >,class std::allocator
<int> >::iterator' to 'const struct std::pair<int const ,int> *'
        No user-defined-conversion operator available that can perform this conversion, or the operator cannot be called

vc6-map.cpp(24) : error C2664: '__thiscall std::map<int const ,int,struct std::less<int const >,class std::allocator<int
> >::std::map<int const ,int,struct std::less<int const >,class std::allocator<int> >(const struct std::pair<int const ,
int> *,const struct std::pair<int const ,int> *,const struct std::less<int const > &,const class std::allocator<int> &)'
 : cannot convert parameter 1 from 'class std::_Tree<int const ,struct std::pair<int const ,int>,struct std::map<int con
st ,int,struct std::less<int const >,class std::allocator<int> >::_Kfn,struct std::less<int const >,class std::allocator
<int> >::const_iterator' to 'const struct std::pair<int const ,int> *'
        No user-defined-conversion operator available that can perform this conversion, or the operator cannot be called

对于m2，VC6似乎无法调用正确的构造函数。通过指定std::less比较器对象，可以解决m3和m4的构造问题。构造m3和m4的错误之间的唯一区别是iterator与const_iterator。

如何欺骗VC6来做所需的事情？

编辑2013年10月14日：VC6地图范围构造函数定义如下：

typedef const value_type *_It;
map(_It _F, _It _L, const _Pr& _Pred = _Pr(), const _A& _Al = _A()) {...}

这澄清了错误：VC6版本要求std::pair<> const *与std::map<>::const_iterator不同。

Answer 1

鉴于VC6中的非标准std :: map范围构造函数，我认为没有真正的解决方案来构建范围内的地图。

下面的函数add_to_map提供了一个适用于VC6和最新编译器的解决方法。

template< typename M >
void add_to_map( M & m, typename M::const_iterator f, typename M::const_iterator t )
{
    for ( ; f != t; ++f )
    {
        m.insert( *f );
    }
}

int main()
{
    typedef std::map<const int, int > Map;

    Map m1;
    Map m5;
    add_to_map( m5, m1.begin(), m1.end() );
}

请注意，以下内容在VC6中不起作用（模板参数“U”不明确）：

template< typename T, typename U >
void add_to_map( std::map<const T,U> & m, ... )

如何从VC6中的范围构造std :: map

1 个答案: