面向对象程序设计（OOP）并不是一种新的程序设计技术。它最早可以上溯到Simula-67，虽然它的第一个真正完整的实现是Simula-80。在80年代下半期，OOP变得流行起来，并且出现了许多支持OOP的语言，比如C++，Objective-C（另一种C语言扩展），Object PAscal和Turbo Pascal，CLOS（Lisp的面向对象扩展），Eiffel，Ada（其最新的版本），以及最近的Java。本文将集中讨论C++、Object Pascal和Java，并有限的设计其它OOP语言。
OOP的关键特性是广为人知的，在继续下面的内容之前，我将简单的重复一下，以便你再熟悉一下这些通用技术。
第一个关键特性是定义了类，封装了表现和操作的抽象数据类型。在OOP语言中，类是模块、封装和数据抽象的基础。
第二个关键特性是继承，从已存在的类型中继承元素（表现和方法），改变或扩展旧类型的方法。
第三个关键技术被称为多态性，它允许使用类似的方法操作不同类型的对象（通常是子类对象）。它使得类的可用性进一步提高，程序也因此更容易维护和扩展。
一种语言如果是面向对象的，必须具有类、继承和多态这几个特性（仅支持类而不支持继承和多态的语言，通常被称为基于对象的）。不同的OOP语言可能会使用完全不同的方法实现以上几个特性。我们可以通过比较类型检查机制、对不同程序设计模型的支持以及所支持的对象模型来区别不同的OOP语言。下面我将深入语言特性的细节。