与构造函数相反的函数的正确术语是什么-从数据类型中解包值？

编辑：我改一下这个问题。显然，我引起了一些混乱，因为我没有意识到在OOP中使用析构函数一词是因为它们完全不同-它是在销毁对象时调用的函数。在函数式编程中，我们（尽量）避免发生可变状态，因此没有这种等效状态。（我在问题中添加了适当的标签。）

相反，我已经看到用于解开值的记录字段（尤其是用于newtypes的单值数据类型）有时称为destructor或deconstructor。例如，让我们（在Haskell中）：

newtype Wrap = Wrap { unwrap :: Int }

这Wrap是构造函数，unwrap是什么？

问题是：

• 我们如何unwrap在函数式编程中调用？解构器？破坏者？或其他术语？
• 并澄清一下，这个/其他术语是否适用于其他功能语言，还是仅在Haskell中使用？
• 或许，在非功能性语言中，对此是否有通用的术语？

我看过两个词，例如：

...通常，一个人为这些提供聪明的构造函数和析构函数以简化与它们的合作。...

在Haskell Wiki上，或

...这里的一般主题是融合构造函数- 像...这样的解构函数对

在Haskell Wikibook上（这里的含义可能更笼统），或者

newtype DList a = DL { unDL :: [a] -> [a] }

该unDL功能是我们的解构，从而消除了DL构造。...

在现实世界中的Haskell。

这个概念有几个术语。我认为，解构是Haskell圈子中的常见现象，这是真实世界中Haskell所说的。我相信在Lisp圈子中，“解构（或解构绑定）”一词很常见。

析构函数是C ++以及我不知道的其他语言使用的术语。它们用于释放由构造函数创建的资源，因此它们的作用恰恰相反。也许该概念并没有从字面上翻译为Haskell，但该术语似乎在某些地方使用。

编辑：考虑到您对问题的编辑，那么我将其称为“ unwrapper”。我能够回答原始问题，但是现在它已经超出了我的知识范围，因此请不要过于重视此编辑。

在OOP中，构造函数是创建或初始化新对象（“构造”对象）的函数或语言构造，而析构函数是其对偶，函数或语言构造，其在对象释放后清除（通过释放它的任何资源）。保留）并将其删除。

但是，由于Haskell（与C ++不同）具有垃圾回收并且不支持可变状态或其他副作用（至少不直接支持），因此从绝对意义上说，绝对没有理由使用析构函数。而且，与OOP构造函数不同，Haskell构造函数具有更多的应用程序，而不仅仅是对象创建。它们在模式匹配中也大量使用（请参阅下面的示例）。

在您的代码示例中，“ unwrap”是一个记录字段，根据使用方式的不同，我可能将其称为accessor，甚至可能称为getter（尽管后者也用于镜头环境中，所以它可能实际上有点混乱）。

我自己从未在Haskell上下文中使用过“析构函数”（或“析构函数”）一词。正如Andres F.指出的那样，它有时用于指代取消构造函数引入的包装的函数。据我了解，记录获取器可以充当析构函数，但是常规函数也可以充当析构函数，只要它们可以从更复杂的数据类型中获取值即可。例子包括maybe和either来自前奏。

请注意unwrap，在您的示例中，可能有几件事情：

• 一个函数（就像其他函数一样）：例如，您可以执行map unwrap [ Wrap 23, Wrap 42 ]；这种用法大致相当于OOP中的getter方法。
• 记录构造中的记录字段说明符： let w = Wrap { unwrap = 23 }
• 记录字段说明在记录更新：let w' = w { unwrap = 23 }; 这类似于OOP中的setter方法（如果您挤压很多）。
• 模式匹配中的记录字段说明符： f Wrap { unwrap = a } = a

最好将Haskell构造函数与OOP构造函数完全不同。我建议您（重新）读一本有关Haskell编程语言的好书，以更好地理解- “ Real World Haskell”确实很好，并且我听说过有关“ Learn You A Haskell”的好东西。两者都应该对构造函数有很好的解释，尤其是记录语法。

我认为析构函数是广义的术语。某些语言（例如Java和VB.NET）具有终结器。 /programming/171952/is-there-a-destructor-for-java

由于似乎没有任何跨语言约定，所以我通常称它们为提取器，因为这是Scala用于该一般概念的术语，并且因为它不太可能与任何现有用法混淆。