为什么不:: boost :: tie与BOOST_FOREACH一起工作？

Question

我想使用BOOST_FOREACH来迭代boost::ptr_map，并遇到this neat-looking solution。我希望使用它来提高可读性，与其他解决方案相比。我写了以下代码：

boost::ptr_map<int, std::string> int2strMap;
int x = 1;
int2strMap.insert(x, new std::string("one"));
int one;
std::string* two;
BOOST_FOREACH(::boost::tie(one, two), int2strMap)
{
   std::cout << one << two << std::endl;
}

然而，这无法编译，并给我以下错误（完整的错误消息有几行，请告诉我是否应该粘贴它们。）：

error: no match for 'operator=' (operand types are 'boost::tuples::detail::tie_mapper<int, std::basic_string<char>*, void, void, void, void, void, void, void, void>::type {aka boost::tuples::tuple<int&, std::basic_string<char>*&, boost::tuples::null_type, boost::tuples::null_type, boost::tuples::null_type, boost::tuples::null_type, boost::tuples::null_type, boost::tuples::null_type, boost::tuples::null_type, boost::tuples::null_type>}' and 'boost::iterators::iterator_reference<boost::ptr_map_iterator<std::_Rb_tree_iterator<std::pair<const int, void*> >, int, std::basic_string<char>* const> >::type {aka boost::ptr_container_detail::ref_pair<int, std::basic_string<char>* const>}')
BOOST_FOREACH(::boost::tie(one, two), int2strMap)

似乎建议的解决方案适用于少数人，我无法弄清楚为什么它对我不起作用。我在这里做错了什么？

（注意：我正在进行一个史前项目，所以坚持使用C ++ 03。g ++版本：4.8.4）

Answer 1

问题应该是“为什么boost::tie不能使用boost::ptr_map（或者更确切地说是取消引用其迭代器的结果）？” - BOOST_FOREACH在这一切中都是无辜的。

研究

如果我们查看version history of Boost，我们可以看到 Tuple 出现在版本1.24.0中，指针容器出现在版本1.33.0中。

元组

github中相关的元组相关代码：

• 最近发布：https://github.com/boostorg/tuple/blob/boost-1.64.0/include/boost/tuple/detail/tuple_basic.hpp
• 首次发布：https://github.com/boostorg/tuple/blob/boost-1.24.0/include/boost/tuple/detail/tuple_basic.hpp

研究代码，我们可以做出以下观察：

• tie始终创建tuple [1] [2]

• tuple始终来自模板cons [1] [2]

• tuple（和cons）总是让赋值运算符采用cons（即另一个tuple） [1] [2] 或std::pair [1] [2] - 没别的。

指针容器

github中的相关指针容器相关代码：

• 最近发布：https://github.com/boostorg/ptr_container/blob/boost-1.64.0/include/boost/ptr_container/detail/map_iterator.hpp
• 第三版：https://github.com/boostorg/ptr_container/blob/boost-1.34.0/include/boost/ptr_container/detail/map_iterator.hpp
• 首次发布：https://github.com/boostorg/ptr_container/blob/boost-1.33.0/include/boost/ptr_container/detail/map_iterator.hpp

研究代码，我们可以做出以下观察：

• 在前两个版本（1.33.x）中，取消引用迭代器为我们提供了值[1] [2]
的引用
• 从第三个版本（1.34.0）开始，我们得到一个ref_pair，有点像std::pair，但实际上并非如此 [1] [2] [3]

结论

我们可以通过只进行一次迭代来消除BOOST_FOREACH，但仍然会得到相同的错误：

boost::tie(one, two) = *int2strMap.begin();

根据我们之前学到的知识，我们知道这相当于

boost::tuple<int&, std::string*&>(one, two) = *int2strMap.begin();

我们也知道*int2strMap.begin()会导致std::string引用或ref_pair。

由于元组没有可以使用其中任何一个的赋值运算符，因此建议的代码段无法使用任何现有版本的Boost进行编译。

解决方法

从boost::tuple和boost::tie的实现中汲取灵感，我们可以编写一个简单的reference_pair模板，该模板包含两个引用并允许分配任何看起来像pair的内容（即有成员first和second），以及将创建tie实例的帮助reference_pair函数。

示例代码

#include <boost/ptr_container/ptr_map.hpp>
#include <boost/foreach.hpp>
#include <iostream>

namespace {

template<class T0, class T1>
struct reference_pair
{
    T0& first;
    T1& second;

    reference_pair(T0& t0, T1& t1) : first(t0), second(t1) {}

    template<class U>
    reference_pair& operator=(const U& src) {
        first = src.first;
        second = src.second;
        return *this;
    }
};

template<class T0, class T1>
inline reference_pair<T0, T1> tie(T0& t0, T1& t1)
{
    return reference_pair<T0, T1>(t0, t1);
}

}

int main()
{
    boost::ptr_map<int, std::string> int2strMap;
    int n(0);
    int2strMap.insert(n, new std::string("one"));
    int2strMap.insert(++n, new std::string("two"));
    int2strMap.insert(++n, new std::string("three"));

    int one;
    std::string* two;

    BOOST_FOREACH(tie(one, two), int2strMap)
    {
       std::cout << one << " " << *two << std::endl;
    }
}

Live on Coliru

控制台输出

0 one
1 two
2 three