在 lambda 表达式和模板 typedef 习惯用法中提取对成员

Question

我这里有一些复杂的类型，所以我决定使用漂亮的技巧在模板化类型上使用 typedef。然后我有一个类 some_container ，它有一个容器作为成员。容器是由元素和向量组成的对的向量。我想用 lambda 表达式编写 std::find_if 算法来查找具有特定值的元素。为了获取值，我必须首先调用pair，然后从元素中获取值。在我的 std::find_if 下面有一个正常的循环可以解决这个问题。我的 lambda 无法编译。如何访问对内元素内的值？ 我使用 g++ 4.4+ 和 VS 2010，现在我想坚持使用 boost lambda。

#include <vector>
#include <algorithm>
#include <boost\lambda\lambda.hpp>
#include <boost\lambda\bind.hpp>

template<typename T>
class element
{
public:
   T value;
};

template<typename T>
class element_vector_pair // idiom to have templated typedef
{
public:
   typedef std::pair<element<T>, std::vector<T> > type;
};

template<typename T>
class vector_containter // idiom to have templated typedef
{
public:
   typedef std::vector<typename element_vector_pair<T>::type > type;
};

template<typename T>
bool operator==(const typename element_vector_pair<T>::type & lhs, const typename element_vector_pair<T>::type & rhs)
{
   return lhs.first.value == rhs.first.value;
}

template<typename T>
class some_container
{
public:
   element<T> get_element(const T& value) const
   {
      std::find_if(container.begin(), container.end(), bind(&typename vector_containter<T>::type::value_type::first::value, boost::lambda::_1) == value);
      /*for(size_t i = 0; i < container.size(); ++i)
      {
      if(container.at(i).first.value == value)
      {
      return container.at(i);
      }
      }*/
      return element<T>(); //whatever
   }

protected:
   typename vector_containter<T>::type container;
};

int main()
{
   some_container<int> s;
   s.get_element(5);
   return 0;
}

Answer 1

两个问题。

您要追求的东西（element::value）不是类型名称。

但是，首先您需要嵌套绑定：一个用于访问 _1.first，另一个用于访问前一个的 value。

没有 typedef：

  std::find_if(
    container.begin(), container.end(),
    bind(
      &element<T>::value,
      bind(&std::pair<element<T>, std::vector<T> >::first, boost::lambda::_1)
    ) == value
  ); 

所以，用你的习惯用法，没有不必要的 typename：

  std::find_if( container.begin(), container.end(),
    bind(
      &vector_containter<T>::type::value_type::first_type::value,
      bind(
         &vector_containter<T>::type::value_type::first, boost::lambda::_1)
      ) == value
  );

不过，这似乎不是特别可读。也许 a) 等待 C++0x lambda，b) 为 find_if 调用编写一个特定的函子，c) 只需执行手动循环。