在计算机科学中，程序类型（或类型系统）是一种用于约束和管理程序中数据和表达式的分类系统。它定义了数据的表示方式、允许的操作以及如何解释这些操作的规则。类型系统是编程语言的核心概念之一，直接影响代码的可读性和可靠性。

类型系统的本质和功能

1. 数据表示和存储：

   • 原始类型（Primitive Types）：如整数、浮点数、布尔值等，定义了基本数据的存储和操作方式。
   • 复合类型（Composite Types）：如数组、结构体、函数等，将多个数据组合成一个单元，并定义了如何访问和操作这些单元。

2. 操作和语法规则：

   • 类型检查（Type Checking）：编译器或解释器在编译或运行时检查类型的一致性，防止不同类型之间的非法操作。
   • 类型转换（Type Conversion）：允许将一个类型的值转换为另一个类型，通常有隐式和显式两种方式。
   • 类型推断（Type Inference）：有些编程语言可以根据上下文推断表达式的类型，从而减少类型声明的冗余。

3. 编程风格和约束：

   • 静态类型 vs 动态类型：静态类型语言在编译时检查类型，动态类型语言在运行时检查类型。
   • 强类型 vs 弱类型：强类型语言要求严格的类型转换，弱类型语言则灵活一些，允许隐式类型转换。

4. 安全性和可靠性：

   • 类型系统可以帮助预防许多常见的编程错误，如空指针引用、类型不匹配的操作等。
   • 强类型和静态类型的语言通常能提供更高的安全性和可靠性，因为编译器能够在编译时捕获到很多潜在的问题。

5. 抽象和模块化：

   • 类型系统支持数据的抽象和模块化设计，通过定义自定义类型和接口，能够将实现细节与数据结构分离。

示例：C 和 Python 的类型系统对比

• C语言：静态类型、强类型，需要显式声明变量类型，编译器在编译时检查类型。

  int x = 10;
  float y = 3.14;

• Python语言：动态类型、强类型，变量的类型是在运行时确定，但是要求变量在使用前已经定义。

  x = 10
  y = 3.14

用 type 声明类型：定义与别名

type 关键字有两种写法，区别在于有没有 =。

type MyString string 定义一个新类型，底层类型是 string，但两者是不同类型，互相赋值要显式转换，新类型还可以挂自己的方法：

package main

import "fmt"

type MyString string

func (m MyString) Hello() string {
    return "Hello, " + string(m)
}

func main() {
    var s MyString = "Go"
    fmt.Println(s.Hello())

    var str string = string(s) // 需要显式转换
    fmt.Println(str)
}

type MyString2 = string 是类型别名，MyString2 与 string 是同一个类型，直接赋值，不需要转换：

package main

import "fmt"

type MyString2 = string

func main() {
    var s MyString2 = "Hello, Go"
    var str string = s // 同一个类型，无需转换
    fmt.Println(str)
}

用 type 还能声明结构体、接口和函数类型，分别对应 type Person struct{...}、type Describer interface{...}、type MathOperation func(int, int) int，具体写法见结构体、接口与函数各章。

总结

程序类型定义了数据的结构和操作，是编程语言的基础。静态还是动态、强还是弱，不同的组合决定了错误在编译期还是运行期暴露，也影响写代码的方式。

参考资料

• 语言规范 · 类型

同层页面

• Assertion
• Interface
• Map
• Template
• TypeInference

相关页面

• Template