记录

在计算机科学中，记录（record）也称为结构体（struct）或复合资料（compound data）是基本的数据结构，记录是一些相关栏位的聚集，它们可由不同的资料类型组成，通常是固定的数量和序列。记录中的每个栏位或称为元素，但可能与集合的元素概念混淆不清。在物件导向编程中，记录的栏位也另外被称为成员；依照惯例和具体的编程语言，多元组有可能会被认为是一个记录，反之亦然。
譬如将日期储存为一个记录，则其中包含了数字的年份，以字串表示的月份和数字的日期等栏位。而人事记录可包含姓名，薪水和职级等栏位。一个圆形的记录可包含圆中心点和它的半径－在这种情况下，圆中心点本身可能表示为x和y座标的点记录。
记录与阵列的区别在于，它们的栏位数通常是固定的，每个栏位都有一个名称，而且每个栏位可能有不同的类型。
一个记录型别是描述其中栏位所具有值和变量的资料类型。大多数现代计算机语言允许开发人员自由定义新的记录型别。记录型别的定义将会指定每个栏位的资料类型和存取它的标识符（名称或标签）。
记录可以存在于任何存储介质中，包括主记忆体和大容量存储装置，如磁带或硬盘。记录是大多数资料结构的基本组成部分，特别是链接的资料结构。
许多计算机档案是以逻辑记录的阵列组成的，通常被分组成更大的实体记录或区块以提高存取效率。
函数或程序的参数通常当作是一个记录变量其中的栏位；而在呼叫该函数时，传递给它的参数可被视为将栏位的值指派给该记录变量。此外，通常用于实现程序调用的呼叫堆叠中，每个登录即是一条启动记录或呼叫框页，包含了程序参数和局部变量，返回位址和其它内部栏位。
物件导向语言中的物件本质上是一个记录，有如何处理该记录的专用程序；而物件型别是对记录类型的详细描述。实际上在大多数物件导向语言中，记录只是物件的特殊情况，并且被称为普通旧资料结构（plain old data structures, PODS），与使用OO特征的物件形成对比。
计算机的记录可类比为数学的元组。相同地，记录型别可看作是两个或多个数学集合的笛卡尔积，或是以特定语言实作的抽象乘积型别。
在许多计算机语言中，都对结构有所定义：
关联键.
一条记录可能有零个或多个关联键。关联键是以记录其中一个或多个栏位的集合，来作为标识符。唯一的键通常被称为主键，或简称为记录键。例如，员工档案可能包含了员工编号，姓名，部门代码和薪资，那么员工编号在组织中应该是唯一的，并且为主键。依据存储媒介和档案结构，员工编号可被编入索引档，另外个别地储存能使查询过程加速。部门代码或许不是唯一的，它也可能被编成索引；这样子它会被当作是次要键或备用键。如果没有索引，则必须依序扫描整个员工档案，以产生特定部门的所属员工列表。薪资领域通常不被视为可用的关键。索引是设计资料档时需考量的一个因素。
历史.
记录的概念可从久远的会计使用中回溯到各种类型的表格和分类帐。现代计算机科学中的记录形式，具有明确的类型和大小的栏位，已经隐含在19世纪机械的计算器，如巴贝奇的分析机中。
最初用于处理资料（与控制相反）的机器可读媒介，是在1890年美国人口普查中用于记录的打孔卡：每张打孔卡是单个记录。若将1895年的打孔卡与1880年的日记帐两相比较，记录在20世纪上半叶成熟，大多数资料处理是用打孔卡片完成的。通常资料档的每条记录会记录在一张打孔卡中，特定栏分配给特定栏位。一般地，记录是可从外部存储装置（例如读卡器，磁带或磁盘）读取的最小单元。
大多数机器语言实现和早期组合语言没有记录的特殊语法，但借由使用索引暂存器，间接定址和自修改代码，这个概念是可用的（并广泛被使用）。一些早期的计算机如IBM 1620，具备了对分隔记录和栏位的硬体支援，以及复制这些记录的特殊指令。
一些早期的档案排序和制表工具如IBM的报告程序生成器（Report Program Generator, RPG）中，记录和栏位是其核心概念。
COBOL是第一个支持记录类型并广泛使用的编程语言，其记录定义在当时已相当复杂。它允许以任意大小和精度的英数字、整数和小数栏位，来定义巢状记录，并自动格式化将值指定给纪录的栏位（例如，插入货币符号，小数点和数字组分隔符）。每个档案与读取或写入的资料一并关联到一个记录变量。 COBOL 还提供了一个codice_1codice_2陈述语句，根据名称来指派两个记录的相对应栏位。
早期开发用于数值计算的计算机语言，如FORTRAN（到FORTRAN IV）和Algol 60，并不支援记录类型；但这些语言的更新版本，如Fortran 77和Algol 68增加了记录类型。最初的Lisp编程语言也缺乏记录（除了内置的cons单元），但它的S表达式能满足对纪录的需求。将记录类型与其它基本类型完全整合逻辑上一致性的型别系统，则是Pascal编程语言。
PL/I编程语言提供了COBOL格式的记录。C编程语言最初将记录类型（codice_3）当作是置于储存区块之上的模板概念，而并不是真实的记录资料类型。后来C语言提供了（以codice_4宣告），但这两个概念在语言上仍然是不同的。在Pascal之后设计的大多数语言（如 Ada，Modula 和 Java）也都支援了记录。
记录的操作.
从记录中选取一个栏位会产生一个值。
有些语言提供列举记录所有栏位的功能，或至少是引用的栏位。该功能需要实现某些服务，像是除错器、垃圾收集器和序列化。它需要具备一定程度的多型。
在具有记录子类型的系统中，记录类型的值操作还可以包括：
在这样的设定中，特定的记录类型表示目前有特定的一组栏位，但是该类型的值可能包含其它栏位。因此，具有"x"，"y"和"z"栏位的记录将属于具有"x"和"y"栏位的记录类型，以及具有"x"，"y"和"r"栏位的记录。理由是将（"x","y","z"）记录传递给某个函数，若该函数预设使用（"x","y"）记录作为参数，因为该函数将在记录中找到所需的全部栏位。实际上在编程语言中实作记录的许多方法，若允许这样的型别转换会遇到麻烦，然而在理论中这个事实是记录类型的核心特征。
赋值与比较.
大多数语言允许在完全相同类型的记录之间进行指派（包括相同的栏位类型和名称，以相同的顺序）。
然而，依照语言的不同，两个单独定义的记录类型，即使它们具有完全相同的栏位，也可能被视为不同类型。
在记录之间，有些语言也允许对其中不同名称的栏位进行指派，按照栏位在其记录中的位置，将每个栏位值与相应的栏位变量进行对应；所以譬如有一复数的纪录，其中有codice_5和codice_6两个栏位，则可将两栏位值指派给有codice_7和codice_8栏位，表示平面上一点的记录变量。在这种方案中，两个操作数仍旧要求相同的栏位类型序列。
某些语言可能也要求相对应的类型，应该具有相同的大小和编码，以便整个记录能被指派成不解译的位元字串。而其它语言可能在这方面更有弹性，仅要求每个值栏位可合法地指派给相应的变量栏位；所以譬如可将短整数栏位分配给长整数栏位，反之亦然。
另外的语言（例如COBOL）可借由名称来匹配栏位与值，而不用位置。
以上所述的功能性质同理应用在比较两个记录值的等同性。某些语言也允许使用根据单一栏位的字典序来进行次序的比较（'<'和'>'）。
PL/I允许以上两种类型的赋值，也允许结构表达式，如codice_9其中“a”是一条记录，或是在PL/I术语中所指的结构。
ALGOL 68的栏位选取.
在Algol 68中，如果codice_10是一组记录，每个都有整数字段codice_7和codice_8，可以写入codice_13来获得一个整数数组，
由codice_10的所有元素的codice_8字段组成。结果，语句codice_16和codice_17将具有相同的效果。
PASCAL中的WITH陈述句.
在Pascal编程语言中，使用codice_18的陈述将执行指令序列codice_19，就像记录codice_20的所有字段都被声明
为变量一样。 所以不必全部写出codice_21，而可以缩写为codice_22。
在记忆体中的表现.
记录在记忆体中的表现取决于编程语言。通常，这些栏位会依照在记录类型中宣告的相同顺序，连续地储存于记忆体中。这可能导致两个或多个栏位储存在相同的记忆体字组中；实际上，此功能经常用于系统编程以存取字组的特定位元。另一方面，大多数编译器会添加开发人员看不见的填补栏位，以符合硬体要求的对齐限制 -比如浮点栏位必须补满整个字组。
有些语言将记录实作为位址指向栏位（可能的名称和/或类型）的阵列。物件导向语言中的物件通常以相对复杂的方式实现，特别是在允许多重类别继承的语言中。
自定义记录.
自定义记录是一种类型，其中包含辨别记录类型和记录内定位的相关资讯。它可能包含了元素的偏移量；因此，元素可用任何次序储存或者可省略掉次序。另外在这样类型的记录中，具有标识符的各种元素可简单地依任何次序，跟随彼此。
范例.
以下显示记录定义的示例：
</syntaxhighlight>
struct date {
</syntaxhighlight>
struct Date {
</syntaxhighlight>