爲什麼這個std :: sort謂詞失敗，當類在main（）內？

Question

這是一個非常簡單的repro，它說明class Predicate如何在main()以外工作，但是當確切代碼內嵌爲class InlinePredicate時，編譯器不能匹配std::sort。奇怪的是，你可以通過任何東西作爲std::sort（比如說整數7）的第三個參數，當它不支持sort期望的operator()時，你會得到一個編譯錯誤。但是，當我通過pred2下面不匹配都：

#include <string> 
#include <vector> 
#include <algorithm> 

using namespace std; 

class Predicate { 
public: 
    bool operator() (const pair<string,int>& a, const pair<string,int>& b) 
    { 
     return a.second < b.second; 
    } 
}; 

int 
main() 
{ 
    vector<pair<string, int> > a; 

    Predicate pred; 
    sort(a.begin(), a.end(), pred); 

    class InlinePredicate { 
    public: 
     bool operator() (const pair<string,int>& a, const pair<string,int>& b) 
     { 
      return a.second < b.second; 
     } 
    } pred2; 
    sort(a.begin(), a.end(), pred2); 

    return 0; 
} 

repro.cc: In function ‘int main()’:

repro.cc:30: error: no matching function for call to ‘sort(__gnu_cxx::__normal_iterator, std::allocator >, int>*, std::vector, std::allocator >, int>, std::allocator, std::allocator >, int> > > >, __gnu_cxx::__normal_iterator, std::allocator >, int>*, std::vector, std::allocator >, int>, std::allocator, std::allocator >, int> > > >, main()::InlinePredicate&)’

Answer 1

在C++ 03，本地類沒有聯繫，因此不能作爲模板參數（§14.3.1/ 2 ）。

在C++ 0x中，此限制已被刪除，您的代碼將按原樣編譯。

Answer 2

在C++ 0x之前的C++版本中，在函數內聲明的類不能出現在模板參數中。您調用sort隱式地將其實例化爲模板參數設置爲InlinePredicate，這是非法的。您可以考慮使用C++ 0x（使用GCC，通過--std=c++0x;在C++ 0x中，此代碼將按原樣運行，或者您可以使用匿名函數）或boost::lambda。隨着boost::lambda，它應該是這樣的：

using namespace boost::lambda; 

sort(a.begin(), a.end(), _1 < _2);