C++ std::ranges::sort如何利用投影排序复杂对象？现代简洁写法详解

在C++20标准之前，对包含多个成员的结构体等复杂对象进行排序时，通常需要自定义比较函数或者lambda表达式，手动指定比较的成员，代码量和冗余度都比较高。C++20引入的ranges库中的std::ranges::sort函数，配合投影参数，可以非常简洁地实现复杂对象的排序需求，让排序逻辑更加清晰易懂。

std::ranges::sort投影排序基础用法

std::ranges::sort是C++20新增的排序函数，属于ranges库的一部分，相比传统的std::sort，它支持更多的参数配置，其中投影（projection）参数就是非常实用的一个特性。投影参数的作用是，在比较两个元素之前，先对元素应用一个转换操作，用转换后的结果进行比较，而不是比较元素本身。

投影参数可以是一个函数对象、lambda表达式，也可以是成员指针。当使用成员指针作为投影时，排序会直接按照该成员的值进行比较，无需额外编写比较逻辑。

简单示例：按结构体成员排序

首先定义一个简单的结构体，包含姓名和年龄两个成员，我们希望按照年龄对结构体数组进行排序：

#include <iostream>
#include <vector>
#include <ranges>
#include <algorithm>

// 定义复杂对象结构体
struct Person {
    std::string name;
    int age;
};

int main() {
    std::vector<Person> people = {
        {"Alice", 25},
        {"Bob", 20},
        {"Charlie", 30},
        {"David", 22}
    };

    // 使用投影按age成员排序，&Person::age是成员指针作为投影
    std::ranges::sort(people, {}, &Person::age);

    // 输出排序结果
    for (const auto& p : people) {
        std::cout << p.name << " : " << p.age << std::endl;
    }
    return 0;
}

上述代码中，std::ranges::sort的第三个参数就是投影参数，传入&Person::age表示排序时比较每个Person对象的age成员。运行后输出结果会按照年龄从小到大排列：Bob : 20、David : 22、Alice : 25、Charlie : 30。

自定义投影函数实现复杂排序逻辑

如果排序需求不是简单的按单个成员比较，比如需要先按年龄升序，年龄相同再按姓名降序，这时候可以使用lambda表达式作为投影，或者结合比较规则实现。

按成员计算后的结果排序

假设我们需要按照年龄的平方值对Person对象排序，这时候可以自定义投影lambda：

#include <iostream>
#include <vector>
#include <ranges>
#include <algorithm>
#include <cmath>

struct Person {
    std::string name;
    int age;
};

int main() {
    std::vector<Person> people = {
        {"Alice", 5},
        {"Bob", 3},
        {"Charlie", 4}
    };

    // 投影lambda，返回年龄的平方值作为比较依据
    auto projection = [](const Person& p) {
        return p.age * p.age;
    };

    std::ranges::sort(people, {}, projection);

    for (const auto& p : people) {
        std::cout << p.name << " : " << p.age << " 平方值: " << p.age * p.age << std::endl;
    }
    return 0;
}

运行后排序结果会按照年龄平方值从小到大排列，对应年龄3、4、5的顺序。

与传统std::sort写法对比

为了体现std::ranges::sort投影写法的优势，我们对比传统std::sort实现相同需求的代码：

传统写法示例

#include <iostream>
#include <vector>
#include <algorithm>

struct Person {
    std::string name;
    int age;
};

int main() {
    std::vector<Person> people = {
        {"Alice", 25},
        {"Bob", 20},
        {"Charlie", 30},
        {"David", 22}
    };

    // 传统写法需要自定义比较lambda
    std::sort(people.begin(), people.end(), [](const Person& a, const Person& b) {
        return a.age < b.age;
    });

    for (const auto& p : people) {
        std::cout << p.name << " : " << p.age << std::endl;
    }
    return 0;
}

通过对比可以看出，传统写法需要显式编写比较lambda，指定两个对象的成员比较逻辑，而使用std::ranges::sort的投影参数，只需要指定要比较的成员即可，代码更简洁，逻辑更清晰，也减少了出错的可能。

注意事项

• 投影函数的返回值必须是可比较的，否则会导致编译错误。
• 投影参数在std::ranges::sort中是第三个参数，第二个参数是比较规则，默认是std::ranges::less，如果需要降序排序，可以传入std::ranges::greater作为第二个参数。
• 使用成员指针作为投影时，要确保成员是可访问的，比如结构体的成员是public的，或者提供了对应的访问函数。

当需要按降序排序时，只需要调整比较规则参数即可，例如按照年龄降序排序：

#include <iostream>
#include <vector>
#include <ranges>
#include <algorithm>

struct Person {
    std::string name;
    int age;
};

int main() {
    std::vector<Person> people = {
        {"Alice", 25},
        {"Bob", 20},
        {"Charlie", 30},
        {"David", 22}
    };

    // 第二个参数传std::ranges::greater，按age降序排序
    std::ranges::sort(people, std::ranges::greater{}, &Person::age);

    for (const auto& p : people) {
        std::cout << p.name << " : " << p.age << std::endl;
    }
    return 0;
}

这种写法依然保持了简洁的特性，只需要在比较规则参数位置传入对应的比较对象，就可以实现升序或降序的切换，非常灵活。

C++_rangesstd::ranges::sort投影排序复杂对象排序修改时间：2026-06-22 22:21:39