language-agnostic - 究竟什么是数据类型？

Question

我理解什么是数据类型(凭直觉)。但我需要正式的定义。我不明白它是一个集合还是名称“int”“float”等。维基百科上的正式定义令人困惑。

In computer programming, a data type is a classification identifying one of various types of data, such as floating-point, integer, or Boolean, that determines the possible values for that type; the operations that can be done on values of that type; the meaning of the data; and the way values of that type can be stored.

有人可以帮我吗？

Answer 1

是的。也就是说，一个数据类型包含三个部分:

1. 各种可能的值。因此，例如，一个八位有符号整数可能有 -127..128。这是一组值 V。

2. 操作:所以一个 8 位有符号整数可能有 +、-、*(乘法)和 /(除)。完整的定义会将这些定义为从 V 到 V 的函数，或者可能定义为从 V 到 float 的函数以进行除法。

3. 它的存储方式——当我说“八位有符号整数”时，我有点泄露了它。另一个细节是，我通过显示值范围的方式假设了一个特定的表示。

如果您喜欢面向对象编程，您可能会注意到这与类的定义非常相似，类的定义由每个对象使用的存储空间和类的方法定义。为任意事物提供这些部分，而不是继承规则，为您提供所谓的抽象数据类型。

更新

@Appy，手续上有一些差异。我有点微妙，因为已经很晚了，我突然不确定我是假设一个的补码还是两个的补码——当然是两个的补码。所以解释包含在我的描述中。不过，抽象地说，您会说它是一个代数结构 T=(V,O)，其中 V 是一组值，O 是一组从 V 到某种任意类型的函数——例如，记住“==”将是一个函数 eq:V × V → {0,1} 所以你不能指望每个操作都进入 V。