面向对象的程序设计语言主要有四个：Smalltalk、Eiffel、C++、Java。

一、Smalltalk

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

Smalltalk对其它众多的程序设计语言的产生起到了非常大的促进作用，如Objective-C，Actor， Java 和Ruby等都是在它的作用下发展壮大的。

二、Eiffel

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

三、C++

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

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

四、Java

Java是一门面向对象编程语言，不仅吸收了C++语言的各种优点，还摒弃了C++里难以理解的多继承、指针等概念，因此Java语言具有功能强大和简单易用两个特征。

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