面向对象的软件开发语言具有三个重要的特点分别为封装性、继承性、多态性。封装性即意味着对象封装其内部的数据，使其对外不可见，以保证数据的安全性。继承性是代码复用的一个很好的解决方案，但是继承关系是编译器在编译阶段就为所有的对象决定的，因而在软件工程过程中，继承性太过死板，存在很大的局限性。而多态性，它是将多种不同的特殊行为进行抽象的一种能力，通过结合继承性，多态性很好地解决了OO遇到的很多麻烦，使得面向对象的编程方式最终得到淋漓尽致的推广。
多态性和泛型编程
各种编程语言都内置了多种基本数据结构并且支持自定义数据类型，因而程序员在程序设计过程中可能会遇到多种数据类型，而针对这些数据类型的逻辑操作很有可能是雷同的。此时为每一种数据类型都设计出相应的逻辑函数似乎已经变得很不现实，因而泛型编程孕育而生了。泛型编程的出现，可以说在软件工程领域里是一个极大的进步。利用泛型编程，我们可以不为特定的类型进行专门编码，而采用对不同类型进行通用编码的方式来解决应对大量数据类型的问题。C++ STL是泛型编程的成功案例。利用Template函数，STL成功实现了对多种数据类型进行泛化的效果。而OO通过接口或者抽象类进一步实现了对类的泛化，也就是在面向对象过程中出现的新名词—多态！
多态性特点
简单来说，多态是具有表现多种形态的能力的特征，在OO中是指，语言具有根据对象的类型以不同方式处理，即指同样的消息被不同类型的对象接收时导致完全不同的行为,是对类的特定成员函数的再抽象。多态性在不同的编程语言中拥有不同的解决方案，但多态性的最终目标却始终不变，都是“以不变应万变”。
两种多态方式
一般来说，多态主要是存在两种类型：编译时的多态和运行时的多态。
1 编译时的多态主要是通过函数重载来实现的。所谓函数重载是指保持函数名不变，主要通过更改函数形参的个数以及形参的类型来定义出多个同名函数来实现对多种类型数据的逻辑处理。这种类型的多态关系是编译器在编译阶段就已经在函数调用的地方确定的，因而运行过程中速度较快，但功能比较局限。
2 运行时的多态在不同的语言中拥有不同的实现方案。C++通过虚函数的晚捆绑来实现，而Java通过面向接口编程和面向抽象编程来实现动态调用相应的函数实现。但归根结点，这些语言都是通过将多种特殊实现的类抽象为一个泛化类来实现运行多态。
面向接口编程
软件工程中程序涉及到的对象越多，对象之间相似的概率越大，因而这时候抽象变成了可能。通过定义接口，程序设计者可以成功实现对方法的定义和实现的分离，因而应用程序不必考虑子类成员函数中是如何实现内部逻辑细节，只需知道该类对象向外公开的接口便可成功操纵这类对象。而这种编程方式，为以后程序的改动以及程序的健壮性和扩展性都提供了一个比较理想的解决方案。因此面向抽象编程已经成为OO界强烈推崇的编程方式。
OO思想已经深入广大编程人员的工作中，如何能够充分合理利用OO的特点达到最优化软件体系结构将会成为每一个OO程序员应该思考的问题，相信OO思想能够为大家的软件设计带来前所未有的效果。