Boost.Bind 访问 std::for_each 中的 std::map 元素

Question

我有一个映射，它存储一个带有键的简单结构。该结构体有两个成员函数，一个是 const，另一个不是。我已经成功地使用 std::for_each 调用 const 函数，没有任何问题，但调用非常量函数时遇到了一些问题。

struct MyStruct {
  void someConstFunction() const;
  void someFunction();
};

typedef std::map<int, MyStruct> MyMap;
MyMap theMap;

//call the const member function
std::for_each(theMap.begin(), theMap.end(),
   boost::bind(&MyStruct::someConstFunction, boost::bind(&MyMap::value_type::second, _1)));

//call the non-const member function
std::for_each(theMap.begin(), theMap.end(),
   boost::bind(&MyStruct::someFunction, boost::bind(&MyMap::value_type::second, _1)));

对 const 成员函数的调用工作正常，但 boost 内部似乎需要 const MyStruct 某处，因此在 MSVC7.1 中失败并出现以下编译错误。

boost\bind\mem_fn_template.hpp(151)：错误 C2440：“参数”：无法从“const MyStruct *__w64”转换为“MyStruct *const”

我很感激任何关于如何正确设置模板参数的帮助，所以绑定确实正确识别参数并让我调用非常量函数。

谢谢， 卡尔

Answer 1

IIRC，Boost.Bind 使用 boost::mem_fn 来绑定到成员功能。现在，如果您查看 mem_fun （向下滚动到 // data member support 部分），您将看到它将其 result_type 定义为 const&，同时仍然具有支持提取非常量成员的函数调用运算符的重载来自非常量参数。

因此，问题似乎在于这混淆了 Boost.Bind 的返回类型推导机制。因此，解决方案将明确告诉 Bind 结果不是 const：

//call the non-const member function
std::for_each(theMap.begin(), theMap.end(),
   boost::bind(&MyStruct::someFunction, 
       boost::bind<MyStruct&>(&MyMap::value_type::second, _1)
   )
);

Answer 2

如果您发现自己必须经常这样做，我建议您使用 Boost.RangeEx 库：

#include <boost/range/algorithm/for_each.hpp>
#include <boost/range/adaptor/map.hpp>
#include <boost/mem_fn.hpp>
#include <map>

struct MyStruct {
  void someConstFunction() const;
  void someFunction();
};

typedef std::map<int, MyStruct> MyMap;
MyMap theMap;

int main()
{
    //call the const member function
    boost::for_each(theMap | boost::adaptors::map_values,
                    boost::mem_fn(&MyStruct::someConstFunction));

    //call the non-const member function
    boost::for_each(theMap | boost::adaptors::map_values,
                    boost::mem_fn(&MyStruct::someFunction));
}

它已被 Boost 接受，但尚未随官方发行版一起提供。在此之前，您可以 从 ="noreferrer">Boost Vault（zip 文件的下载链接）。

Answer 3

如果您已经依赖 Boost，您可能愿意检查 Boost Foreach

BOOST_FOREACH(MyMap::value_type const& val, MyMap)
{
  val.second.someConstFunction();
}

可读性很强，但我不知道性能问题。

另请注意，如果不“转义” , 字符，则无法在宏中使用模板化类型：

• 通过之前的 typedef
• 或在类型周围使用第二对括号

Answer 4

我发现的一个问题：为非函数成员调用第二个绑定。第二个是数据成员，而不是 std::pair 的方法