来源：http://blog.sina.com.cn/s/blog_6b32b0870100twya.html
先来谈一下什么是数据类型。当年那些涉及计算机语言的人，为什么会考虑到数据类型呢？
比如，大家都需要住房子，也都希望房子越大越好。但显然，没有钱，考虑房子没有意义。于是就出现了各种各样的商品房，有别墅的、复式的、错层的、单间的……甚至只有两平米的胶囊房间。这样做的意义是满足不同人的需要。
同样，在计算机中，也存在相同的问题。计算1+1这样的表达式不需要开辟很大的存储空间，不需要适合小数甚至字符运算的内存空间。于是计算机的研究者们就考虑，要对数据进行分类，分出来多种数据类型。比如int，比如float。
虽然不同的计算机有不同的硬件系统，但实际上高级语言编写者才不管程序运行在什么计算机上，他们的目的就是为了实现整形数字的运算，比如a+b等。他们才不关心整数在计算机内部是如何表示的，也不管CPU是如何计算的。于是我们就考虑，无论什么计算机、什么语言都会面临类似的整数运算，我们可以考虑将其抽象出来。抽象是抽取出事物具有的普遍性本质，是对事物的一个概括，是一种思考问题的方式。
我们对已有的数据类型抽象，就有了抽象数据类型。
抽象数据类型（ADT）是指一个数学模型及定义在该模型上的一组操作。它仅取决于其逻辑特征，而与计算机内部如何表示和实现无关。比如刚才说得整型，各个计算机，不管大型机、小型机、PC、平板电脑甚至智能手机，都有“整型”类型，也需要整形运算，那么整型其实就是一个抽象数据类型。
根据定义抽象数据类型的定义，它还包括该模型上的一组操作。就像“超级玛丽”这个经典的任天堂游戏，里面的游戏主角是马里奥，我们给他定义了基本操作，前进、后退、跳、打子弹等。这就是一个抽象数据类型，定义了一个数据对象、对象中各元素之间的关系及对数据元素的操作。至于，到底是哪些操作，这只能由设计者根据实际需要来定。像马里奥可能开始只能走和跳，后来发现应该增加一种打子弹的操作，再后来又有了按住打子弹键后前进就有跑的操作。这都是根据实际情况来定的。
事实上，抽象数据类型体现了程序设计中问题分解和信息隐藏的特征。它把问题分解为多个规模较小且容易处理的问题，然后把每个功能模块的实现为一个独立单元，通过一次或多次调用来实现整个问题。
补：
抽象数据类型的表示与格式：
ADT = （D,S,P） （D：数据对象 S：D上的关系集 P：D上的一组操作）
ADT 抽象数据类型名称{
数据对象：<数据对象的定义>；
数据关系：<数据关系的定义>；
基本操作：<基本操作的定义>
}