C++有哪些多态类型？函数重载、运算符重载

在C++中，多态性是指允许对象采用多种形式的能力。C++支持多种类型的多态性，主要包括以下几种：

1. 函数重载（Ad-hoc Polymorphism）：
   • 在同一个作用域内，可以有一组具有相同名字、不同参数列表的函数。调用函数时，编译器根据传递的参数类型和数量来确定调用哪一个函数。
2. 运算符重载（Ad-hoc Polymorphism）：
   • 可以重新定义或重载大多数运算符，使得它们能够用于用户自定义类型。通过重载运算符，可以提供对自定义类型的自然操作方式。
3. 继承（Inclusion Polymorphism）：
   • 通过继承，子类可以继承父类的属性和方法。子类对象可以被当作父类对象来使用，这是静态多态的一种形式，也称为子类型多态。
4. 虚函数（Subtype Polymorphism）：
   • 在基类中声明为虚函数的成员函数，可以在派生类中被重新定义。通过基类指针或引用调用虚函数时，将根据指针或引用实际指向的对象类型来调用相应的函数版本。
5. 模板（Parametric Polymorphism）：
   • 模板允许编写代码时推迟对类型的具体化，直到使用时才确定。这使得可以编写与类型无关的代码，提高了代码的复用性。
6. 鸭子类型（Duck Typing）：
   • 这不是C++语言特性，而是一种编程范式。如果某个对象走路像鸭子，叫起来也像鸭子，那么就可以认为它是鸭子。在C++中，通过接口类（纯虚函数定义的类）和多态可以实现类似鸭子类型的效果。
7. CRTP（Curiously Recurring Template Pattern）：
   • CRTP是一种模板元编程技术，通过让派生类以基类模板的形式出现，允许在基类中调用派生类的函数，从而实现一种特殊的多态。
8. 类型擦除（Type Erasure）：
   • 通过使用特定的设计模式，例如使用虚继承和函数指针，可以在运行时擦除类型信息，实现多态。
9. 协变返回类型（Covariant Return Types）：
   • 在C++中，如果派生类的虚函数返回类型是基类虚函数返回类型的派生类型，则可以更改虚函数的返回类型，这就是协变返回类型。

这些多态性机制可以在不同的场景下使用，以提高代码的灵活性和复用性。在面向对象编程中，多态性是一种核心概念，允许以统一的方式处理不同类型的对象。