面向对象需要哪些功能？

我只是想知道，语言或库必须提供什么功能才能将其定义为“面向对象”。是否可以在具有适当功能的任何通用编程语言中或多或少地实现对象定向？还是只能通过专门宣传它们支持面向对象编程的语言才能实现？

例如，看下面的C代码：

SDL_Surface* screen = SDL_SetVideoMode( 640, 480, 16, SDL_HWSURFACE);
SDL_FreeSurface( screen );

或此处讨论的代码。

现在，上面的代码不使用继承，运行时多态性（？），虚函数等。但是对我来说，它似乎是非常面向对象的。

面向对象是否只是在编写基于不需要对象或编程语言或库提供的特殊模式或功能的可创建和可破坏的数据结构（例如对象，类，结构等）的代码？

根据发明了“面向对象”一词的艾伦·凯，

对我而言，OOP意味着仅消息传递，本地保留和保护以及状态过程的隐藏以及所有事物的极端后期绑定。可以在Smalltalk和LISP中完成。可能还有其他系统可以做到这一点，但我不知道它们。

消息传递（在Smalltalk中实现）是一个与多态性可比的概念，但是功能更强大（至少比C ++或Java支持的多态性强）。可以用所有语言来完成，但是如果语言不直接支持它会很痛苦。基本上，这意味着对象可以互相发送包含任何内容的消息，并且amd可以做出反应，但是它们希望对收到的消息进行响应。为了完全支持消息传递，必须有一种方法使对象可以灵活地对消息做出反应，而无需在源代码中枚举它们（基本上是方法/函数定义所做的事情）。

本地保留和保护以及状态处理（即AKA封装）的隐藏可以通过所有语言的约定来完成，但这有点作弊。实际上，在语言级别上的本地保留似乎是所有声称是面向对象的语言（许多不共享）的一项功能-通常存在一种创建具有多个实例的复合数据类型的方法。另一方面，保护和隐藏通常仅是按惯例进行的。

所有事物的后期绑定 -C的缩放比例实际上与Kay的设想相去甚远（C ++也是如此，而Java更接近）。可以伪造（请参阅COM），但是使用起来很麻烦。

请注意，凯如何不提及继承。在同一封电子邮件中，他写道

我不喜欢Simula I或Simula 67做继承的方式（尽管我认为Nygaard和Dahl只是伟大的思想家和设计师）。所以我决定将继承作为内置功能保留下来，直到我更好地理解它为止

面向对象的编程与语法功能无关，它是一种编码和设计哲学。对象的概念的核心是对象，它是一种将状态与例程组合在一起以对其执行操作的构造（或根据您的观点，对消息的响应）。OOP的另一个重要方面是封装：将实现细节包装到不透明的结构中，并通过定义明确的接口将它们连接起来。OOP理论中的几乎所有其他内容都可以追溯到这两个基本原理。

因此，任何可以某种方式对对象（包含数据和代码的实体）进行建模的语言都可以用于封装。例如，在C语言中，您可以使用函数指针将函数存储在结构中，并且可以使用标头/源文件系统来实现封装。这不方便，但是足以做OOP。您甚至可以弯曲Haskell或ML之类的东西来进行OOP，如果有人能提出一种在装配中进行OOP的方法，我也不会感到惊讶。

但是，从实用的角度来说，如果一种语言为显式的面向对象编程提供了完整的语法功能，则可以将其称为“面向对象”。通常，这意味着这种语言应具有：*对象的概念*方法调用或消息传递的概念*控制对象成员访问的简便方法*定义接口的简便方法

因此，如果它遵循OOP原则并使用可用的OOP语法，则将其称为面向对象的代码。

顺便说一句，您的代码示例可能确实使用了多态性和虚函数，尽管C语法没有使它显而易见。我不是SDL方面的专家，但我希望SDL_surface能够代表各种不同类型的表面，每种表面都有其特定的实现集-将某些内容写入内存位图，并将其写入屏幕表面需要完全不同的方法代码，但接口（将an SDL_surface*作为参数的函数）保持不变。就像这样，它也实现封装：您不能直接访问曲面的基础表示，您必须通过知道如何处理的函数SDL_surface，因为这就是您所拥有的全部。这是如何在C中进行OOP的一个很好的例子。

我对OO的理解是OO是一种思维方式和一种实现，它基于这样的思想：可以由一个工作人员（对象）或单个工作人员（对象）的协作通过这些工作人员之间的消息传递来完成计算任务（对象）。这种运行时行为需要可靠的静态和动态结构来启用它。

实现OO的特定语法不是确定语言是否是OO的关键。例如，Smalltalk和C＃具有不同的语法，但是两者都是OO语言（在不同程度上）。关键是给定的语言是否保留了上述哲学并提供了所需的植入方法。

当我还是一个学生时，我被教导面向对象的程序设计立足于三个支柱：

• 封装，
• 多态性，并且
• 继承。

语言必须支持这些功能，才能被视为面向对象的语言。

请注意，这里描述的是一组功能，而不是语法。因此，您是否必须编写

type obj; // or type obj = new type;
obj.func(arg);

要么

type* ptr = create_type();
func(ptr, arg); 

没关系

因此，您确实可以按照C中的面向对象范例进行编程。但是该语言对此不提供任何支持，这使它成为一个相当痛苦的练习。这就是为什么C不被视为面向对象的语言的原因。

您可以使用任何适当的通用语言进行OO。

这是比较容易做到这一点在“面向对象”的语言，因为你有惯用的结构可用，不必诉诸像用C OO -这是可能的，但可怕的。

OO构造是由语言本身，由其标准库还是由其他库提供的，都没关系，因为某些语言（例如Scala）允许库添加语言构造，因此从程序员的角度来看几乎是不可能的区分核心语言提供的内容和库提供的内容。

如果您查看被OO广泛接受和未被OO接受的语言范围，则该测试似乎是对包含多态性的支持（又称子类型多态性，但Cardelli多态性是Cardelli在这篇论文向我（以及我认为很多其他人）介绍了多态性的分类）。即，根据一个或多个值的类型，某些变量具有不同类型的值的可能性以及某些调用将其分派到不同例程的可能性。其他所有内容都以不被OO接受的语言呈现，或者被很好地被视为OO的语言缺失。

非OO语言提供了与OO语言相关的两个其他主要特征：

• Ada83很好地提供了封装；
• 继承是由Oberon提供的（Oberon很有趣，Wirth希望提供一种尽可能少的粗俗的OO语言，但是不得不重新审视他的概念以得到一种语言-Oberon-2是OO）。

面向对象的定义为

• 多态性
• 遗产
• 封装形式

还可以查看维基百科条目。这些是语言必须提供的功能，以将其定义为面向对象。

如果您的代码是面向对象的编程语言，请考虑它是面向对象的。即使您编写的东西看起来像是过程性的，它也将通过封装[也许]使用多态性作用于类中对象中的方法：)

关于您的最后一个问题，答案可能是。是。面向对象基本上只是作用于对象上的方法，并将这些对象作为参数传递。