C++ 泛型编程

245 阅读1分钟

C++ 是支持编程范式最多的一门语言,它虽然解决了很多 C 语言的问题,但它最大的意义是解决了 C 语言泛型编程的问题。

C++ 是如何有效解决程序泛型问题:

第一,它通过类的方式来解决

  • 类里面会有构造函数、析构函数表示这个类的分配和释放。
  • 还有它的拷贝构造函数,表示了对内存的复制。
  • 还有重载操作符,像我们要去比较大于、等于、不等于。

这样可以让一个用户自定义的数据类型和内建的那些数据类型就很一致了。

第二,通过模板达到类型和算法的妥协

  • 模板有点像 DSL,模板的特化会根据使用者的类型在编译时期生成那个模板的代码。
  • 模板可以通过一个虚拟类型来做类型绑定,这样不会导致类型转换时的问题。

模板很好地取代了 C 时代宏定义带来的问题。

第三,通过虚函数和运行时类型识别

  • 虚函数带来的多态在语义上可以支持“同一类”的类型泛型。
  • 运行时类型识别技术可以做到在泛型时对具体类型的特殊处理。

此文章为4月Day18学习笔记,内容来源于极客时间《左耳听风》,强烈推荐该课程!