原始型别

在电脑科学中，原始型别（英语：Primitive type）有别于复合型别，是由程式语言提供的资料类型，作为建立基础。根据语言及其实作，在电脑的记忆体中，原始型别可能没有与物件一对一的对应。

Primitive type也有称作内建型别、基础型别或者基本型别。

概览

原始型别的实际范围，取决于所使用的特定程式语言。例如，在C语言中，字串是一个复合型别，不过在后来的Basic中，字串是原始型别。

典型的原始型别包含：

• 字元（character、char），依字元集又分为SBCS、DBCS、MBCS这三大类；
• 整数（integer、int、short、long、byte），其有各种精度，依是否可表示负数的数值又再各自区分有号数与无号数；
• 浮点数（float、double、real、double precision）；
• 定点数（fixed），其有各种精度，以及所选的数量级。
• 布林型别有真和假两值。
• 参照（又称作指针或handle），它是一个较小的值，指向其它可能大得多的物件，其所在的记忆体位址。

更多更复杂的原始型别：

• 多元组，出现于ML、Python
• 链表，出现于Lisp
• 复数，出现于Fortran、C（C99）、Python
• 有理数，出现于Lisp
• 一等函数、闭包、续体，出现于函数式程式语言，如Lisp和ML

通常预期以基于原始型别的运算，构成较快速的语言。整数加法，例如，可以执行单一的机器指令，且部分处理器提供特定的指令，以单一指令处理一系列的字元。尤其是，C语言标准中提到，“一个‘简单’的int物件，具有原始的大小，其大小以执行环境的架构所暗示。”意即在32位元架构下的int，可能就是32位元的长度。

大部分语言不允许以程式修改原始型别的行为或性能。例外的有Smalltalk，其允许在程式内部扩展原始型别。可以在其上执行加入的运算，甚至重新定义内建的运算。