Internet上最流行的语言Java，最常见的OOP语言C++，以及Borland公司用于他们的集成开发环境Delphi中的Object Pascal。这三种语言具有很多相同点。

OOP关键特性
面向对象程序设计（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语言。下面我将深入语言特性的细节。

编译期类型检查 vs. 运行期类型检查
类型的强壮性是评价程序设计语言的重要标准。涉及到类型检查的内容包括对已存在的方法的调用，方法的参数的类型，数组边界的检查，等等。
C++、Java和Object Pascal多或多或少的支持编译期类型检查，其中，C++的类型检查最弱，而Java的最强。原因是，C++保留了对C语言的支持，而C语言虽然支持编译期类型检查，却极其微弱。例如，C和C++认为所有数字类型都是兼容的（虽然向整型变量赋浮点数值时编译器会报警）。在Object Pascal和Java语言中，布尔值与整型数值不同，而字符类型则是另一个完全不兼容的类型。
虽然Java虚拟机在运行期“翻译”比特码，但并不表示它放弃了编译期类型检查。相反，在Java中类型检查进行的相当彻底。另外一些OOP语言，例如Smalltalk和CLOS，则在运行期进行类型检查。

混合OOP语言 vs. 纯OOP语言
另一个区别存在于纯的和混合的OOP语言之间。纯OOP语言只允许应用一种程序设计模型：OOP。你可以声明类和方法，但不能使用老式的普通函数、过程和全局变量。
在以上三种语言中，只有Java是纯OOP语言（Eiffel和Smalltalk也是），初看上去纯OOP是个很好的主意，然而，你最终还是会使用许多静态方法和静态数据。除了语法更复杂，这与使用全局函数和数据没有任何区别。我个人的观点是，纯OOP语言对于OOP的初学者非常有帮助，因为他将不得不使用（并学习）面向对象程序设计模型。另一方面，C++和Object Pascal都是典型的混合语言，他们允许程序员使用传统的C或Pascal程序设计方法。
要注意的是，Smalltalk大大扩展了纯面向对象的概念。在Smalltalk中，所有预定义数据类型，例如整型、字符型，甚至整个语言架构（例如循环指令）都是以对象封装的。这完全是出于对纯理论的兴趣，因为这样极大的降低了程序的执行效率。Java没有做得如此绝对，它允许使用传统的，非面向对象的数据类型（虽然它提供了对传统类型的类封装）。

普通对象模型 vs. 对象引用模型
OOP语言之间存在的第三个主要区别在于它们的对象模型。一些比较传统的OOP语言允许程序员在栈、堆和静态存储区中创建对象。在这些语言中，一个类的变量（实例）对应于内存中的一个对象。C++就是这样工作的。
之后的OOP语言倾向于使用另一种模型，称为对象引用模型。在这个模型中，每个对象都动态的创建于堆中，一个类的变量实际上是一个指向内存中的对象的引用或句柄（技术上类似于指针的某种东西）。Java和Object Pascal都采用了这种引用模型。我们很快就会看到，采用这种模型你必须记得为对象分配内存。

类、对象和引用
·特性描述：在介绍了以上内容后，我们进入对OOP语言的讨论。最好的起点是类和对象。我希望每个人都清楚的明白这两个名词的区别，简言之，一个类是一种数据类型，而一个对象则是某个类的实例。现在我们来看看如何在基于不同对象模型的OOP语言中使用对象。
·C++：在C++中，假设有一个类MyClass，这个类有一个方法MyMethod，我们可以写出如下代码：

MyClass Obj;
Obj.MyMethod;

这样就创建了一个名为Obj的MyClass类。通常C++会在栈中为这个对象分配内存空间。现在就可以像第二行代码那样使用对象了。

·Java：在Java中，类似的语句只为指向对象的句柄分配内存，而不是为对象本身：

MyClass Obj;
Obj = new MyClass();
Obj.MyMethod();

在你使用对象之前，必须使用“new”为对象分配内存。当然，最好在同一条语句中声明并初始化对象，以避免使用未被初始化的对象句柄：

MyClass Obj = new MyClass();
Obj.MyMethod();

·OP：Object Pascal采用大致相同的方法，但是必须在不同的语句中声明和初始化对象：

var
Obj: MyClass;
begin
Obj := MyClass.Create;
Obj.MyMethod;

·注意：虽然对象引用模型似乎需要程序员写更多的代码，但要知道，在C++中经常需要使用对象的指针和引用（例如只有使用指针或引用，才能获得多态性能）。而在对象引用模型中，指针被默认使用，但却被巧妙的隐藏起来。特别是Java中并没有正式的指针，而事实上，指针无处不在。只不过程序员不能直接控制这些指针，但也因此他们不会随机访问内存地址，从而使程序更加安全。

回收
·特性描述：一旦你创建并使用了一个对象，就需要销毁它，以避免浪费内存资源。

·C++：在C++中销毁一个储存在栈中的对象是十分容易的。另一方面，要销毁动态创建的对象就困难多了。有很多解决办法，例如引用计数和智能指针，但是这样增加了复杂程度。C++程序员的第一印象是使用引用对象模型来解决问题实在是太糟了。

·Java：对于Java来说，这是小事一桩，因为虚拟机会在后台运行碎片收集程序。这使得程序员轻松不少。但在另一方面，这也影响了应用程序的执行效率。如果没有编写析构器，可能会在清除代码执行时导致一个逻辑错误。

·OP：在Object Pascal中，没有类似的碎片收集机制。但是Delphi组件支持一种新概念，属主对象。属主对象将对所有下属组件的销毁负责。这就使对象销毁变得简单明了。