“ OOP隐藏状态”是什么意思？[关闭]

在cat-v.org上的许多反OOP咆哮中，我发现Joe Armstrong的一段话提出了一些反对OOP模型的异议，其中之一是：

异议4 –对象具有私有状态

国家是万恶之源。特别应避免具有副作用的功能。

尽管编程语言中的状态是不可取的，但在现实世界中，状态比比皆是。我对银行帐户的状态非常感兴趣，当我从银行存款或取款时，我希望银行帐户的状态能够正确更新。

考虑到现实中存在状态，编程语言应提供哪些设施来处理状态？

OOPL说“隐藏程序员的状态”。状态只能通过访问功能隐藏和看到。常规编程语言（C，Pascal）说，状态变量的可见性由该语言的作用域规则控制。纯声明性语言表示没有状态。系统的全局状态包含在所有功能中，并且来自所有功能。诸如monads（用于FPL）和DCG（逻辑语言）之类的机制用于向程序员隐藏状态，以便它们可以“好像状态无关紧要”进行编程，但在必要时可以完全访问系统状态。

OOPL选择的“从程序员隐藏状态”选项是最糟糕的选择。他们没有揭露状态并试图找到最小化状态滋扰的方法，而是将其隐藏了起来。

这到底是什么意思？我几乎没有底层或程序方面的经验，主要是OOP，所以这可能解释了我对此有多么不熟悉。从更现代的角度来看，现在大多数面向对象的歇斯底里都通过了（至少据我所知），你们认为这种通过的准确性/相关性如何？

谢谢你的帮助。

这到底是什么意思？

在这种情况下，这意味着OOP通过将程序隐藏在远离程序员的位置，但仍通过（泄漏）访问器方法使其可见，从而模糊了程序的状态。有论点是，通过遮盖状态，将使其工作起来更加困难，并由此导致更多错误。

你们认为该段落的准确性/相关性如何？

我认为这是相关的，但误导了。如果您的班级将其状态的概念泄漏给外界，那绝对是一个问题。如果您的班级试图在应由外部世界操纵状态时使状态变得晦涩，则绝对存在问题。虽然这不是整个OOP的失败，但是是该类的个性化设计。我不会说隐藏状态本身就是一个问题-monad始终在函数式编程中这样做。

在最好的情况下，OOP就像函数式编程和过程的最佳结合一样，人们可以使用类，“状态无关紧要”，因为用于保护类不变式的私有状态是隐藏的，但拥有自由使用明确定义的类的公共状态来抽象细节。

OOP是否会使人们更难达到最好的情况？可能吧 “ Java学派”以及整个Shape / Circle / Rectangle或Car的Wheels学派的OO学派可能要比方法本身承担更多的责任。现代的OOP从函数式编程中吸取了很多东西，它鼓励不可变的对象和纯函数，同时不鼓励继承，从而使设计良好的类变得更加容易。

如果存在多个可变状态而没有单个明确的“所有者”，则对系统进行推理将很困难。这并不意味着对象永远不应该具有可变状态，而是应该以不清楚所有权的方式使用具有可变状态的对象，相反，应该自由传递而不跟踪所有权的对象应该使用一成不变。

实际上，有效的编程经常要求某些对象具有可变状态。但是，这种状态应限于未共享的工作对象。考虑.NET中的IEnumerable/ IEnumerator接口：如果实现了一个集合IEnumerable，它将允许一次读取一项。读取集合的实际过程通常需要跟踪已读取的项目（可变状态），但是的实现中不包含这种状态IEnumerable。相反，IEnumerable提供了一种称为的方法，该方法GetEnumerator将返回一个实现IEnumerator并包含足以允许从集合中读取项目的状态的对象。对象包含这种状态这一事实将不会造成任何问题，如果IEnumerator不共享对象实现。

在大多数情况下，最好的模式是混合使用可以自由共享但永远不会被修改（至少在共享之后不会被修改）的对象以及拥有明确所有者并且可以由该所有者自由修改的对象的混合，但永远不会与任何人共享。

冒着超越回答问题的风险，很容易看到OOP理念的缺陷，但是我倾向于认为一个理念的力量体现在它被滥用的能力上。

毕竟，每个人都有自己喜欢的语言，用“非常非常强大”这样的术语来描述，这表示他们真的很喜欢它。但是计算通用性的奇迹在于，无论一种语言多么辉煌，如果它真正强大，它就可以模拟汇编语言。如果可以的话，有人会看到的。（并不是说汇编语言有什么问题。）

我对OOP潮流的个人感觉是，它代表了人们对软件工程/计算机科学教育的发展。他们在认为与数据结构有关的某个级别上受挫。类，继承，容器，迭代器，哈希映射，属性，状态隐藏等-与数据结构有关-越多越好。

我个人希望看到一个新的水平，在这个水平上，人们将通过语言角度学习解决问题。他们将了解特定领域语言的概念，以及如何轻松制作它们并使它们成为解决问题的组成部分。说数据结构是一种语言并没有错。人们应该具有这种语言设计技能，因此他们不仅会对此感到无所适从。

接下来，我希望看到人工智能重新焕发活力。我希望看到程序员超越字节和线程，虚函数表和CUDA，而转向如何使机器推理，学习和创建。我知道这在领域的各个角落已经取得了很大进展，但范围还不够广泛。

可访问性不是OOP的功能，它特定于Java和Microsoft dotNET之类的实现。定义OOP的主要特征是多态。

无论如何，通过隐藏对象状态，无法创建有意义的API。演示是现实世界中OOP的重要组成部分。那些不同意的人可能对软件行业抱有非理性的敌意，从我的观点来看，这与他们的观点无关。

您所链接的网站之所以臭名昭著，是因为人们对新技术的思想刻板和批评。有些人就是不明白。