当类在 main() 中时，为什么这个 std::sort 谓词会失败？

Question

这是一个非常简化的重现，它说明了 class Predicate 在 main() 之外如何工作，但是当确切的代码内联显示为 class InlinePredicate 时，编译器无法匹配 std::sort。奇怪的是，你可以将 anything 作为第三个参数传递给std::sort（比如整数7），当它不支持operator () 时，你只会得到一个编译错误。 987654327@ 预计。但是当我通过下面的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：在函数“int main()”中：

repro.cc:30: 错误: 没有匹配函数调用 '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);