问题描述
我对为什么类被视为数据类型感到困惑。
我了解其中一部分是“数据”,另一部分是方法。为什么将它们称为数据类型?
过程编程语言(例如C)中的过程有时会包含一种或多种基本数据类型。但是它们不称为数据类型。
解决方法
给定维基百科的定义:
数据类型(或数据类型)是一种分类,用于标识各种数据类型(例如浮点数,整数或布尔值)中的一种,以确定该类型的可能值;可以对该类型的值执行的操作;以及该类型值的存储方式。
我相信类非常适合该定义,而过程编程(如C)中的过程根本不适合。
类表示一组可能的值(对象),并定义可以对此类型的值执行的可能的操作。它还使如何在内存中表示该类的对象变得很清楚。
然而,用C语言编写的过程并不能识别出一组可能的值,所以说有定义说明可以对过程执行什么操作就没有任何意义。
也许您的困惑源于关于函数式编程的一些文字,其中将过程(或函数)视为具有特定类型的第一类值。
, 过程不“持有”数据类型。它可以在运行时临时定义一个供自己使用的名称,但实际上并没有保留它。您可以使用静态变量对其进行非常差的近似,但是您不能将其公开,它们仍然适用并且仅对它们的过程可见。当然,全局变量不会被其程序“保留”。
另一方面,类的功能更像数据类型。它们确实具有方法,但是方法的思想是围绕它们将以明确定义的方式来操纵或返回类数据的想法而设计的(如果您正确地编写了类,则明确定义了)。可以将它们实例化为数据类型,并像原始类型一样传递给函数:
class Foo
{
...
};
void main()
{
Foo bar;
Foo *baz = new Foo;
delete baz;
}
void useFoo(Foo &blah)
{
blah.doSomething();
...
}
简而言之,它们被视为数据类型,因为它们是数据类型,它们的行为类似于数据类型,并且它们存储指定的数据类型。它们以指定的方式作用于数据的事实并不会改变这一事实(毕竟,“ +”运算符也对整数或双精度数具有指定的作用。)
, 面向对象编程中的类不仅仅是数据类型,它们是抽象数据类型(ADT)。所以你应该问:
什么是抽象数据类型(ADT)?
ADT由数据和对数据进行操作的操作组成。数据以及操作都是ADT的一部分。
维基百科说,
在计算中,抽象数据类型(ADT)是用于具有类似行为的特定类数据结构的数学模型;或针对一种或多种具有相似语义的编程语言的某些数据类型。仅通过可以对抽象数据类型执行的操作以及对这些操作的影响(可能是成本)的数学约束来间接定义抽象数据类型。
换句话说,不同的类是不同抽象数据类型的不同表示形式,这些抽象数据类型由数据(通常是OOP中的内部数据称为ѭ1))以及操作(通常称为方法或成员函数)组成。
,粗略地说,您可以将数据类型视为名称以及该类型的实现。
该实现定义了您可以对该类型的实体执行的操作类型,而该名称用于确保在期望使用另一个类型时不使用该类型。
现在,一切都可以成为一种类型。您说\“ procedures \”不是类型-通常可能是这样-但您可以定义与某种类型的函数(或过程)相对应的类型,如下所示:
typedef void (*function_type)(void *);
将此与该类型的函数的指针的简单声明进行对比:
void(*pf)(void *);
如您所见,技巧是通过关键字typedef
定义的,该关键字定义了function_type
类型。在这种类型的实体上,您可以执行的操作很少:提取地址,调用...
再次,粗略地说,诀窍是“给一个名字”,以便能够将一个实体与另一个实体区分开。
对于类,其理由是相同的,但是没有理由不应该将它们视为数据类型,因为它们定义了名称,并允许您将一组操作与该名称相关联,以便您可以检查该类型的实体的方式用过的。
, OOP方法的全部目的在于混淆,错误整合,数据和过程的合并以及非必需的定义。
谷歌“面向对象程序设计出了什么问题”,提供了一些直接的答案。