c++++ 函数指针允许存储和传递函数，而函数对象则采用面向对象方式处理函数。二者通过编译器生成的代码实现：函数指针使用函数表，函数对象使用虚拟方法表进行间接函数调用。实战中，函数指针用于排序算法中的比较函数，函数对象提供更灵活和可重用的比较方式。

C++ 函数的魔方：实现机制的破解之旅

简介

C++ 函数指针和函数对象强大的功能使其成为编写灵活且可扩展代码的宝贵工具。然而，它们的底层实现机制可能令人不解。本文将深入探讨 C++ 函数的幕后机制，并揭示其背后的强大功能。

立即学习“C++免费学习笔记（深入）”；

函数指针

函数指针是一种指向函数内存地址的变量。它允许我们以类似于其他指针的方式存储和传递函数。例如：

int add(int a, int b) { return a + b; }

int (*fp)(int, int) = add;

int result = fp(1, 2); // 调用 add 函数

函数对象

函数对象也称为仿函数，是一种重载了函数调用运算符 (operator()) 的特殊类。它们允许我们以面向对象的方式处理函数。例如：

class Adder {
public:
    int operator()(int a, int b) { return a + b; }
};

Adder adder;

int result = adder(1, 2); // 调用 Adder 对象

实现机制

函数指针和函数对象通过使用 C++ 编译器生成的额外的代码来实现。对于函数指针，编译器会创建一个函数表，其中包含指向每个函数的指针。函数调用通过查表来间接进行。

函数对象则通过一个称为虚拟方法表 (VMT) 的数据结构来实现。VMT 包含指针，这些指针指向重写的函数。函数调用通过 VMT 来间接进行。

实战案例

让我们举一个使用函数指针和函数对象的真实案例：

考虑一个排序算法，它需要一个比较函数来比较两个元素。我们可以使用函数指针作为比较函数，为不同的排序算法提供灵活性。例如：

struct Student {
    int id;
    std::string name;
};

bool compareById(Student s1, Student s2) { return s1.id < s2.id; }
bool compareByName(Student s1, Student s2) { return s1.name < s2.name; }

std::vector<Student> students = { ... };

std::sort(students.begin(), students.end(), compareById);
std::sort(students.begin(), students.end(), compareByName);

同样，我们可以使用函数对象为比较函数提供更加面向对象和可重用的方式：

class StudentComparator {
public:
    bool operator()(Student s1, Student s2) {
        if (_sortBy == "id") { return s1.id < s2.id; }
        if (_sortBy == "name") { return s1.name < s2.name; }
        return false;
    }

    void setSortBy(const std::string& sortBy) { _sortBy = sortBy; }

private:
    std::string _sortBy;
};

std::vector<Student> students = { ... };

StudentComparator comparator;
comparator.setSortBy("id");
std::sort(students.begin(), students.end(), comparator);

结论

C++ 函数指针和函数对象为编写动态和灵活的代码提供了强大的功能。理解其底层实现机制对于充分利用其功能至关重要。通过利用本文中的知识，您可以解锁函数指针和函数对象的全部潜力，以创造出更强大、更易维护的代码。