c++ - 使用 std::set_symmetric_difference 时，STL 容器的模板类型基于 std::map<>::value_type

Question

给定两个 std::map 实例，我尝试使用 std::set_set_symmetric_difference() 算法来存储所有差异。我有以下工作代码:

#include <iostream>
#include <map>
#include <string>
#include <algorithm>
#include <iterator>
#include <vector>

typedef std::map<std::string,bool> MyMap;
typedef std::vector< std::pair<MyMap::key_type,MyMap::mapped_type> > MyPairs;

//typedef std::vector< MyMap::value_type > MyPairs; 

using namespace std;
int main(int argc, char *argv[]) {
    MyMap previous;
    MyMap current;

    //Modified value
    previous["diff"] = true;
    current["diff"] = false;

    //Missing key in current
    previous["notInCurrent"] = true;

    //Missing key in previous
    current["notInPrevious"] = true;

    //Same value
    previous["same"] = true;
    current["same"] = true;

    cout << "All differences " << endl;
    MyPairs differences;
    std::back_insert_iterator<MyPairs> back_it(differences);
std::set_symmetric_difference(previous.begin(),previous.end(),current.begin(),current.end(),back_it);

    for(MyPairs::iterator it = differences.begin(); it != differences.end(); it++){
        cout << "(" << it->first << ":" << it->second << ") ";
    }
    cout << endl;

    return 0;
}

这打印出我所期望的:

All differences 
(diff:0) (diff:1) (notInCurrent:1) (notInPrevious:1)

让我烦恼的是 MyPairs 的 typedef，它是 map 差异的 vector 。

最初我尝试像 typedef std::vector< MyMap::value_type > MyPairs 那样对 vector 进行类型定义我遇到了 Non-static const member, can't use default assignment operator 的接受答案中描述的以下错误

SetDifferenceMapVectorType.cpp:36:   instantiated from here
/usr/include/c++/4.2.1/bits/stl_pair.h:69: error: non-static const member 'const std::basic_string<char, std::char_traits<char>, std::allocator<char> > std::pair<const std::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool>::first', can't use default assignment operator

这是因为映射中值的键是常量，以避免更改键并使映射无效，这才有意义。因为std::map<Key,Value>::value_type是std::pair<const Key, Value>含义 operator=()不能用于向 vector 添加元素，这就是为什么在我的工作示例中不指定 const 有效。

有没有更好的方法来定义非冗余的 MyPairs vector 的模板参数？到目前为止我能想到的最好的是std::vector< std::pair<MyMap::key_type, MyMap::mapped_type> >

Answer 1

我不确定这是否是您正在寻找的 - 它是一个元函数，它从对的第一个类型中删除常量并返回新的对类型。 Boost 是必需的，除非您想深入了解 remove_const 的工作原理 - 其他人将不得不在这方面提供帮助。

#include <boost/type_traits/remove_const.hpp>

template< typename PairType >
struct remove_const_from_pair
{
  typedef std::pair
    <
      typename boost::remove_const< typename PairType::first_type>::type,
      typename PairType::second_type
    > type;
};

typedef std::map<std::string,bool> MyMap;
//typedef std::vector< std::pair<MyMap::key_type,MyMap::mapped_type> > MyPairs;

typedef std::vector< remove_const_from_pair<MyMap::value_type>::type > MyPairs;