类型

最新推荐文章于 2019-05-19 12:59:10 发布

__pop_

最新推荐文章于 2019-05-19 12:59:10 发布

阅读量422

点赞数

分类专栏： C 文章标签：数据类型原子类型结构类型数据结构类型视角

本文链接：https://blog.csdn.net/u011011827/article/details/53054356

版权

C 专栏收录该内容

32 篇文章 2 订阅

订阅专栏

类型

一种值的集合(存储和逻辑的关系) ＋定义在此种值的集合上的一组操作＝类型
一种数据结构(存储结构和逻辑结构) ＋定义在此种数据结构上的一组操作＝结构类型
一种原子结构＋定义在此种原子结构上的一组操作＝原子类型(数据类型,狭义的)
结构类型＋原子类型＝数据类型(广义的)

可以看出来,类型是一种超级广泛的概念,分为 结构类型 和 原子类型两类
结构类型和原子类型都是一种概念,不是具体实现.
例如,结构类型对应的实现可以有很多中,例如单链表,顺序表,二叉树,等等.
例如,原子类型(数据类型)对应的实现有 int char double float 等等

结构类型

1.数据结构

存储结构
顺序/链式/索引/哈希
逻辑结构
线性 : 线性表/栈/队列
非线性 : 树/图

2.操作

增删改查(不限于)

else

时间复杂度
n称为问题的规模，当n不断变化时，时间频度T（n）也会不断变化。但有时我们想知道它变化时呈现什么规律。为此，我们引入时间复杂度概念。一般情况下，算法中基本操作重复执行的次数是问题规模n的某个函数，用T（n）表示，若有某个辅助函数f（n）,使得当n趋近于无穷大时，T（n）除以f（n）的极限值为不等于零的常数，则称f（n）是T（n）的同数量级函数，记作T（n）=Ｏ(f（n）),称Ｏ(f（n）) 为算法的渐进时间复杂度，简称时间复杂度。

空间复杂度
一个算法的空间复杂度（Space Complexity）S（n）定义为该算法所耗费的存储空间，它也是问题规模n的函数。渐近空间复杂度也常常简称为空间复杂度。空间复杂度(Space Complexity)是对一个算法在运行过程中临时占用存储空间大小的量度。一个算法在计算机存储器上所占用的存储空间，包括存储算法本身所占用的存储空间，算法的输入输出数据所占用的存储空间和算法在运行过程中临时占用的存储空间这三个方面。

结构类型与数据类型

数据类型是原子结构(int char 等)及对这些值的运算(例如 + - % / * – ++)

结构类型是结构体(struct 等)的集合(多个struct 结构体)及对约定关系(例如,先进先出)的操作。

抽象数据类型：是指一个数学模型以及定义在该模型上的一组操作。这个还不清楚.

数据元素是有类型的

数据结构撇开了这种元素具体的类型，只考虑数据元素间的相互关系(存储和逻辑)

抽象数据类型只关心数据集的抽象特性(逻辑)

类型规范

类型的本质是由操作(Operation)和操作间的关系或不变式(Invariant)所定义的，我们称之为类型规范(Type Specification)

/*Pair*/
Type Pair:
    Operations://操作
        Pair make_pair(int x, int y)
        int get_left(Pair pair)
        int get_right(Pair pair)
    Invariants://操作间的关系
        get_left(make_pair(x, y)) == x  //对x, y构造的Pair取左元素等于x
        get_right(make_pair(x, y)) == y  //对x, y构造的Pair取右元素等于y

/*栈*/
Type Stack:
    Operations://操作
        Stack make_stack()  //构造空栈
        Stack push(Stack stack, int x)  //将元素x压栈，返回新栈
        int top(stack)  //获取栈顶元素
        Stack pop(Stack stack)  //将栈顶元素弹栈，返回新栈
    Invariants://操作间的关系
        top(push(stack, x)) == x  //栈顶元素为最后一次压栈值
        pop(push(stack, x)) === stack  //对stack压栈后再弹栈等于原来的stack