面向对象的程序设计语言主分别是： C++、Java、Smalltalk、Eiffel。

一种真正的面向对象程序设计语言，要符合四个条件：抽象、封装、多态、继承。

下面依次介绍这四种语言。

一、C++

它是对C语言的继承，它既可以进行C语言的过程化程序设计，又可以进行以抽象数据类型为特点的基于对象的程序设计，还可以进行以继承和多态为特点的面向对象的程序设计。

C++还可以进行基于过程的程序设计，因而C++就适应的问题规模而论，大小任意。

二、Java

Java是一门面向对象编程语言，不仅吸收了C++语言的各种优点，还摒弃了C++里难以理解的多继承、指针等概念。

其作为静态面向对象编程语言的代表，极好地实现了面向对象理论，允许程序员以优雅的思维方式进行复杂的编程。

三、Smalltalk

它是历史上第二个面向对象的程序设计语言和第一个真正的集成开发环境 (IDE)，由Alan Kay，Dan Ingalls，Ted Kaehler，Adele Goldberg等在70年代初的Xerox PARC开发。

四、Eiffel

Eiffel语言是继Smalltalk-80之后的另一个"纯"OOPL。其主要特点是全面的静态类型化、有大量的开发工具、支持多继承。