我想知道临时对象（name_compare（））是按值传递还是通过引用 std::sort

Question

我想知道临时对象(name_compare()) 是按值传递还是通过引用 std::sort 传递。

如果您能提供有关此问题的任何提示，我将不胜感激。

 struct Record {
        string name;
        // ...
    };
    struct name_compare {   // compare Records using "name" as the key
        bool operator()(const Record& a, const Record& b) const
            { return a.name<b.name; }
    };
    void f(vector<Record>& vs)
    {
        sort(vs.begin(), vs.end(), name_compare());
        // ...
    }  

Answer 1

std::sort 推导出Compare 类型并按值接受它：

template< class RandomIt, class Compare >
void sort( RandomIt first, RandomIt last, Compare comp );

在大多数情况下，这意味着按值接受比较器。

但这并不重要，因为

1. 比较器通常是一个空对象，只有一个 operator()，因此传递它实际上是一个空操作；
2. 编译器可以完全优化掉临时对象的创建；
3. 即使它不是空的，复制一个对象一次对于随后的排序操作来说也是微不足道的

在您的情况下，struct name_compare 没有成员，空对象也是如此。

可以通过将比较器类型包装在std::ref 中来强制推断比较器类型作为参考。

顺便说一句，比较器不一定是类，它也可以是 static 或 friend 函数：

struct Record {
    string name;
    static bool compare(const Record& a, const Record& b) {
        return a.name < b.name;
    }
    void f(vector<Record>& vs) {
        sort(vs.begin(), vs.end(), Record::compare);
    }
};

但更好的是，您可以依赖内置的 std::less 实现并为您的类型简单地定义 operator<：

struct Record {
    string name;
    bool operator< (const Record& that) const {
        return name < that.name;
    }
    void f(vector<Record>& vs) {
        sort(vs.begin(), vs.end()); // operator < is used automatically
    }
};