boost :: transform_iterator不適用於std :: bind（＆Pair :: first，_1）？

Question

傳統的任務迭代谷鍵集std::map導致我另一個混亂，似乎還沒有在這裏討論。

總之，這代碼不編譯（C++ 11被大量使用）：

typedef std::pair<int, int> Pair; 
vector<Pair> v {Pair(1,2), Pair(2,3)}; 
using namespace std::placeholders; 
auto choose_first = std::bind(&Pair::first, _1); 
boost::make_transform_iterator(v.begin(), choose_first); 

錯誤消息如下。

no type named 'result_type' in 'struct std::_Bind<std::_Mem_fn<int std::pair<int, int>::*>(std::_Placeholder<1>)>' 

同時，改變std::bind到boost::bind解決問題。但是我的項目中有一個代碼約定，我們只使用std::bind。

有什麼建議該怎麼做？ （我應該向Boost團隊寫錯誤報告嗎？）

Answer 1

有更好的方法來遍歷在std::map的鍵（或者其value_type是pair<T,U>任何容器），即Boost.Range的map_keys適配器（也有一個map_values一個）：

#include <boost/range/adaptor/map.hpp> 
#include <utility> 
#include <vector> 
#include <iostream> 

int main(){ 
    typedef std::pair<int, int> Pair; 
    std::vector<Pair> v {Pair(1,2), Pair(2,3)}; 
    for(auto& first : v | boost::adaptors::map_keys){ 
    std::cout << first << " "; 
    } 
} 

但是回到你的問題：所有Boost庫都使用Boost.Utility function result_of，它不會因爲任何原因回退到std::result_of，如果沒有告訴它可用，也不會使用decltype。通過在第一次包括Boost之前加入#define BOOST_RESULT_OF_USE_DECLTYPE來做到這一點。

然而，這仍然沒有讓你的代碼與鏗鏘3.1 SVN + libC++編譯。下面是我使用的代碼：

#define BOOST_RESULT_OF_USE_DECLTYPE 
#include <boost/iterator/transform_iterator.hpp> 
#include <utility> 
#include <vector> 
#include <functional> 

int main(){ 
    typedef std::pair<int, int> Pair; 
    std::vector<Pair> v {Pair(1,2), Pair(2,3)}; 
    using namespace std::placeholders; 
    auto choose_first = std::bind(&Pair::first, _1); 
    boost::make_transform_iterator(v.begin(), choose_first); 
} 

編譯時：

clang++ -std=c++0x -stdlib=libc++ -Wall -pedantic -Ipath/to/boost -Wno-mismatched-tags t.cpp 

GCC 4.7似乎接受了這個就好了，所以我想這是在libc中的錯誤++。

Answer 2

看起來您需要在包含boost庫之前定義BOOST_RESULT_OF_USE_DECLTYPE，以便實際使用C++ 11方法獲取結果類型，而不是依賴於傳統的result_type成員。這將編譯的G ++ 4.6和4.8罰款：

#define BOOST_RESULT_OF_USE_DECLTYPE 
//^

#include <vector> 
#include <boost/iterator/transform_iterator.hpp> 
#include <functional> 

int main() 
{ 

typedef std::pair<int, int> Pair; 
std::vector<Pair> v {Pair(1,2), Pair(2,3)}; 
using namespace std::placeholders; 
auto choose_first = std::bind(&Pair::first, _1); 
boost::make_transform_iterator(v.begin(), choose_first); 

} 

見話題http://lists.boost.org/boost-users/2012/01/72856.php知道爲什麼它不是默認啓用的。

---

您也可以通過使用std::mem_fn代替std::bind解決辦法，

auto choose_first = std::mem_fn(&Pair::first); 

這確實定義這些傳統類型成員（§20.8.10/ 2）。由於std::mem_fn仍然是標準庫的一部分，我相信在團隊中使用它沒有問題...？

---

作爲最後的手段，你總是可以使用C++ 03的方式來聲明一個函數對象（當然，我們知道std::unary_function已經過時）：

template <typename T> 
struct FirstChooser : 
     public std::unary_function<const T&, typename T::first_type> 
{ 
    typename T::first_type operator()(const T& input) const 
    { 
     return input.first; 
    } 
}; 

... 

FirstChooser<Pair> choose_first;