导言

本人学过多门语言，如：JavaScript，Java，python，Golang，Kotlin等语言，以及其他小众语言。

学了越来越多的语言，最后发现语言的结果都是殊途同归的，关键字，标识符，基本类型都是围绕着已经规范了的点进行开发。

所以在这里将语言的各个情况做一个总结和规划。

希望他人看见这篇文章能够更好的学习编程语言。

本人英语并不是很好，所以有可能翻译部分数据和说法有着问题，欢迎大家讨论。

大多数理论需要从代码方面来说，这里采用Go的代码来阐述，无论如何都是殊途同归的。

之所以用Go是因为Go这门语言可以称之为新现代化的语言，而我个人对Go的理解勉强还行，所以从我的角度来讲就用他来说明了。

更重要的是Go的话更容易翻看定义的源码

因为我对于知识的理解和不断内容更新，可能文章会更新多次，文章末尾都有着更新日志。

第一节 类型

首先这里要从操作系统的发展历史来说：

类型主要看编程语言是强类型，弱类型，为OOP面向对象 ，POP面向过程 ，SOA面向服务 ，AOP面向切面，解释型，编译型 等。

Go是一个编译型，更加面向过程的语言。

这里贴入Go定义类型的方法，代码可能略长，但是还请大家仔细看，后面又解析和说明：

// bool is the set of boolean values, true and false.
type bool bool

// true and false are the two untyped boolean values.
const (
    true  = 0 == 0 // Untyped bool.
    false = 0 != 0 // Untyped bool.
)

// uint8 is the set of all unsigned 8-bit integers.
// Range: 0 through 255.
type uint8 uint8

// uint16 is the set of all unsigned 16-bit integers.
// Range: 0 through 65535.
type uint16 uint16

// uint32 is the set of all unsigned 32-bit integers.
// Range: 0 through 4294967295.
type uint32 uint32

// uint64 is the set of all unsigned 64-bit integers.
// Range: 0 through 18446744073709551615.
type uint64 uint64

// int8 is the set of all signed 8-bit integers.
// Range: -128 through 127.
type int8 int8

// int16 is the set of all signed 16-bit integers.
// Range: -32768 through 32767.
type int16 int16

// int32 is the set of all signed 32-bit integers.
// Range: -2147483648 through 2147483647.
type int32 int32

// int64 is the set of all signed 64-bit integers.
// Range: -9223372036854775808 through 9223372036854775807.
type int64 int64

// float32 is the set of all IEEE-754 32-bit floating-point numbers.
type float32 float32

// float64 is the set of all IEEE-754 64-bit floating-point numbers.
type float64 float64

// complex64 is the set of all complex numbers with float32 real and
// imaginary parts.
type complex64 complex64

// complex128 is the set of all complex numbers with float64 real and
// imaginary parts.
type complex128 complex128

// string is the set of all strings of 8-bit bytes, conventionally but not
// necessarily representing UTF-8-encoded text. A string may be empty, but
// not nil. Values of string type are immutable.
type string string

// int is a signed integer type that is at least 32 bits in size. It is a
// distinct type, however, and not an alias for, say, int32.
type int int

// uint is an unsigned integer type that is at least 32 bits in size. It is a
// distinct type, however, and not an alias for, say, uint32.
type uint uint

// uintptr is an integer type that is large enough to hold the bit pattern of
// any pointer.
type uintptr uintptr

// byte is an alias for uint8 and is equivalent to uint8 in all ways. It is
// used, by convention, to distinguish byte values from 8-bit unsigned
// integer values.
type byte = uint8

// rune is an alias for int32 and is equivalent to int32 in all ways. It is
// used, by convention, to distinguish character values from integer values.
type rune = int32

// any is an alias for interface{} and is equivalent to interface{} in all ways.
type any = interface{}

// comparable is an interface that is implemented by all comparable types
// (booleans, numbers, strings, pointers, channels, interfaces,
// arrays of comparable types, structs whose fields are all comparable types).
// The comparable interface may only be used as a type parameter constraint,
// not as the type of a variable.
type comparable comparable

// iota is a predeclared identifier representing the untyped integer ordinal
// number of the current const specification in a (usually parenthesized)
// const declaration. It is zero-indexed.
const iota = 0 // Untyped int.

// nil is a predeclared identifier representing the zero value for a
// pointer, channel, func, interface, map, or slice type.
var nil Type // Type must be a pointer, channel, func, interface, map, or slice type

// Type is here for the purposes of documentation only. It is a stand-in
// for any Go type, but represents the same type for any given function
// invocation.
type Type int

// Type1 is here for the purposes of documentation only. It is a stand-in
// for any Go type, but represents the same type for any given function
// invocation.
type Type1 int

// IntegerType is here for the purposes of documentation only. It is a stand-in
// for any integer type: int, uint, int8 etc.
type IntegerType int

// FloatType is here for the purposes of documentation only. It is a stand-in
// for either float type: float32 or float64.
type FloatType float32

// ComplexType is here for the purposes of documentation only. It is a
// stand-in for either complex type: complex64 or complex128.
type ComplexType complex64

部分类型是其他编程语言没有的，这里折重说几个类型

Bool,Uint,Int,Float,String,Byte

仔细看前面的注释会发现有一个名为IEEE的标准，这里贴出IEEE的说明：

关于计算机和电子设备，很多标准都是按照IEEE定下的标准实施的。

电气电子工程师学会（IEEE）的英文全称是the Institute of Electrical and Electronics Engineers，其前身是成立于1884年的美国电气工程师协会(AIEE)和成立于1912年的无线电工程师协会(IRE)。前者主要致力于有线通讯、光学以及动力系统的研究，而后者则是国际无线电领域不断扩大的产物。20世纪30年代，“电子学”这个词开始进入工程学词典。虽然许多工程师都同时是AIEE和IRE两个协会的会员，但是新入行的电子工程师们还是更倾向于加入无线电工程师协会。两个协会之间激烈的竞争的结果，造就了双方的合作与合并。1963年，AIEE和IRE宣布合并，电气电子工程师学会（IEEE）正式成立了。 --- 引用地址：IEEE中国

布尔类型(Bool)

布尔类型分为true和false.

Go的源码：

// bool is the set of boolean values, true and false.
type bool bool

// true and false are the two untyped boolean values.
const (
    true  = 0 == 0 // Untyped bool.
    false = 0 != 0 // Untyped bool.
)

true = 0 == 0 // Untyped bool.
false = 0 != 0 // Untyped bool.

我个人觉得这个就能很好的说明布尔类型的特性。

从抽象的角度来说，当处于0==0的情况时这是真的，因为0真的等于0，而当0!=0这种情况时，肯定就是假的。

真=true
假=false

*布尔 （英语：Boolean）是计算机科学中的逻辑数据类型，以发明布尔代数的数学家乔治·布尔为名。它是只有两种值的原始类型，通常是真和假。布尔数据类型主要与条件语句相关系，条件语句通过根据开发人员指定的条件式，更改程序控制流来允许评估语句的运算值为真或假(即条件成立或不成立)。这是一种更广泛的逻辑数据类型的特殊情况（参见概率逻辑）－逻辑并不总是只属于布尔类型的。

在一些语言中，布尔数据类型被定义为可代表多于两个真值。例如，ISO SQL:1999标准定义了一个SQL布尔型可以储存三个可能的值：真、假、未知（SQL null) "空值 (SQL)")被当作未知真值来处理，但仅仅在布尔型中使用）。在此情况下，未知先于真及假，因为布尔型一开始是未有实际值，其值是unknown(也有机会是随机值)而非真。* -- 维基百科定义)

Uint==Byte类型

Unit的取值范围注释上很清楚了。

之所以说byte类型就是Uint类型是根据这一段源码来的：

// byte is an alias for uint8 and is equivalent to uint8 in all ways. It is
// used, by convention, to distinguish byte values from 8-bit unsigned
// integer values.
type byte = uint8

Uint是无符号数，什么是无符号数呢？

无符号数 （unsigned）是计算机编程中的一种数值资料型别。有符号数（signed）可以表示特定类型规定范围内的整数（包括负数），而无符号数只能表示非负数（0及正数）。--维基百科来源

Int 类型（整数）

你可以看作是整数，包括正整数和负整数。

范围前面源码注释有，下面贴参考文献:

在计算机科学中，整数 的概念指数学上整数的一个有限子集。它也称为整数数据类型，或简称整型数 、整型 。^[[1]](https://zh.wikipedia.org/wiki/%E6%95%B4%E6%95%B0_(%E8%AE%A1%E7%AE%97%E6%9C%BA%E7%A7%91%E5%AD%A6)#cite_note-1)^ 通常是程序设计语言的一种基础资料类型，例如java及C 编程语言的int 资料类型，然而这种基础资料类型只能表示有限的整数，其范围受制于电脑的一个字组) "字 (计算机)")所包含的比特数所能表示的组合总数。当运算结果超出范围时，即出现演算溢出，微处理器的状态寄存器中的溢出旗标（overflow flag）会被设置，而系统则会产生溢出例外（overflow exception）或溢出错误（overflow error）。

电脑可处理带号（signed）及非带号（unsigned）整数，非带号整数不包括负数。由于一般情况下要同时处理正数及负数，带号整数把字组的最高有效比特（msb，即最左边的比特）视为正负号（0 代表正，1 代表负），而数字则以补码形式编码，以简化二进制运算的逻辑电路。--维基百科)

Float（浮点数）

你可以看作是有着小数位的结果数，如：3.1243就是浮点数

在计算机科学中，浮点 （英语：floating point，缩写为FP）是一种对于实数的近似值数值表现法，由一个有效数字（即尾数 ）加上幂数来表示，通常是乘以某个基数) "基数 (对数)")的整数次指数得到。以这种表示法表示的数值，称为浮点数 （floating-point number）。利用浮点进行运算，称为浮点计算 ，这种运算通常伴随着因为无法精确表示而进行的近似或舍入。--维基百科

String字符串类型

字符串还与byte字节内容有着关联，byte中若储存的ASSCII 表所对应的内容，就可以转为人眼可识别的字符。

字符串 （英语：string），是由零个或多个字符组成的有限序列。一般记为{\displaystyle s=a_{1}a_{2}\dots a_{n}}s=a_{1}a_{2}\dots a_{n}（{\displaystyle 0\leq n\lneq \infty }0\leq n\lneq \infty ）。它是编程语言中表示文本的数据类型。

通常以串的整体作为操作对象，如：在串中查找某个子串、求取一个子串、在串的某个位置上插入一个子串以及删除一个子串等。两个字符串相等的充要条件是：长度相等，并且各个对应位置上的字符都相等。设p、q是两个串，求q在p中首次出现的位置的运算叫做模式匹配。串的两种最基本的存储方式是顺序存储方式和链接存储方式。--维基百科

Go语言的单独吐槽类型

// any is an alias for interface{} and is equivalent to interface{} in all ways.
type any = interface{}

新版的sdk真离谱，让你写个泛型，你就any=interface{}就完事了，蚌埠住了。

// nil is a predeclared identifier representing the zero value for a
// pointer, channel, func, interface, map, or slice type.
var nil Type // Type must be a pointer, channel, func, interface, map, or slice type

// Type is here for the purposes of documentation only. It is a stand-in
// for any Go type, but represents the same type for any given function
// invocation.
type Type int

这两个类型也很有意思。

更新日志：2022.1.11 确认文章初版
最后修改：2022 年 01 月 11 日
© 允许规范转载
如果觉得我的文章对你有用，请随意赞赏