C++ Primer：函数指针与模板概念解析

"C++编程相关的学习笔记，包括指向函数的指针、模板和范型编程、面向对象编程以及重载操作符与转换" 在C++编程中，指向函数的指针是一个强大的工具，它允许我们将函数作为参数传递给其他函数，或者作为其他函数的返回值。这种能力使得函数指针在编写回调函数、事件处理和策略模式等场景下非常有用。函数指针的定义语法通常如下： ```cpp void (*pr)(int i, string s) ; ``` 这声明了一个名为`pr`的函数指针，它指向一个没有返回值（`void`）且接收一个`int`和一个`string`作为参数的函数。一旦定义了函数指针，我们可以将其赋值为某个具体的函数，如`pr = funct;`，然后通过指针调用该函数，无需解引用，即`pr(1, "str");`。 使用`typedef`可以简化函数指针的定义，例如： ```cpp typedef void (*pr)(int i, string s) ; pr f1 = funct; ``` 这样，`pr`就成为了一种新的类型，使得后续的代码更加易读。此外，函数指针可以被赋值为`nullptr`，表示它尚未指向任何函数。 在面向对象编程中，C++支持继承、虚函数和动态绑定。继承允许一个类（派生类）继承另一个类（基类）的属性和行为。虚函数使得在派生类中能够覆盖基类的同名函数，从而实现多态性。动态绑定则是编译器在运行时根据对象的实际类型选择正确的方法执行，这是虚函数实现多态性的基础。 例如： ```cpp class Base { public: virtual void func() { /* ... */ } }; class Derived : public Base { public: void func() override { /* ... */ } // 重写基类的func }; ``` 在这里，`Base`有一个虚函数`func`，而`Derived`类重写了这个函数。当我们通过基类指针调用`func`时，实际执行的是`Derived`的版本，这就是动态绑定。 C++的模板是实现泛型编程的关键。模板可以创建函数模板或类模板，它们允许我们在不指定具体类型的情况下定义通用的功能。例如，函数模板的定义： ```cpp template<typename T> T max(T a, T b) { return (a > b) ? a : b; } ``` 这里的`T`是一个类型参数，实际使用时会根据传入的参数类型自动推断。通过模板，我们可以写出适用于多种类型的`max`函数，而无需为每种类型分别编写代码。 操作符重载是C++中的另一个重要特性，它允许我们为自定义类定义特定的运算行为。例如，我们可以重载`+`操作符，使两个类的对象可以相加： ```cpp class MyClass { public: MyClass operator+(const MyClass& other) const { // 实现加法逻辑 } }; ``` 这样，当我们对`MyClass`对象使用`+`时，编译器就会调用我们定义的重载版本。 这些知识点构成了C++编程的基础，理解并熟练运用它们能够帮助开发者编写出高效、灵活的代码。