C++ 多态学习笔记

Thu, 27 Jun 2024 22:52:10 +0800

C++ 的多态性是面向对象程序设计的三大特性之一（封装、继承、多态），它允许将子类对象赋值给父类对象，从而实现基类指针指向子类对象，实现基类指针调用子类对象的成员函数。

C++ 的多态性主要有两种实现方式：静态多态和动态多态。

静态多态：通过函数重载和模板实现。
动态多态：通过虚函数实现。

静态多态

函数重载

函数重载是指在同一个作用域内，可以定义 多个名称相同 但 参数列表不同 的函数。注意，不能用 返回值类型 来区分重载函数。

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

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

double add(double a, double b, double c) {
    return a + b + c;
}

笔记

编译过程

C++ 类的流插入和流提取运算符为什么要声明为友元函数

Tue, 25 Jun 2024 21:35:40 +0800

友元函数版代码

class AClass {
private:
    int _count;
    std::string _str;
    std::vector<int> _vec;

public:
    friend std::ostream &operator<<(std::ostream &os, const AClass &a) {
        os << "AClass: count = " << a._count << ", str = " << a._str << ", vec size = " << a._vec.size();
        return os;
    }
};

为什么要声明为友元函数

先理解一下友元函数，它实际上是一个普通函数，不属于类成员，但它又是一个特殊的普通函数，因为它可以访问类的私有成员。因此 operator<< 和 operator>> 声明为友元函数的目的很明显，就是为了能够访问类的私有成员。

实际上，如果它们不声明为友元函数，也是可以实现的，例如下面代码：

class AClass {
private:
    int _count;
    std::string _str;
    std::vector<int> _vec;

public:
    std::ostream &operator<<(std::ostream &os) {
        os << "AClass: count = " << _count << ", str = " << _str << ", vec size = " << _vec.size();
        return os;
    }
};

但是这样就需要特殊的方法来调用这个 operator<< 函数，因为它不再是一个普通函数，而是一个类成员函数：

int main() {
    AClass a;
    a << std::cout;    // 错误，不能这样调用
    a.operator<<(std::cout);    // 正确
    return 0;
}

这样显然不够直观，不是一个正常人类写的代码：）

所以，为了代码的可读性和可维护性，我们将 operator<< 和 operator>> 声明为友元函数，这样就可以直接使用 << 和 >> 运算符来操作类的对象了。