类型表达式

超、凢脫俗 2022-01-31 19:11 186阅读 0赞

### 文章目录 ###

*  类型表达式
 *   *  基本类型
     *  类型构造符
     *   *  数组构造符
         *  指针构造符
         *  笛卡尔乘积构造符\`$✖$\`
         *  函数构造符\`$\\rightarrow$\`
         *  记录构造符

# 类型表达式 #

## 基本类型 ##

*  基本类型是类型表达式
    
     *  integer
     *  real
     *  char
     *  boolean
     *  type\_error(出错类型)
     *  void(无类型)

**可以为类型表达式命名，类型名也是类型表达式，将类型构造符作用于类型表达式可以构成新的类型表达式**

## 类型构造符 ##

### 数组构造符 ###

若T是类型表达式，则`array(I,T)`是一个类型表达式（I是一个整数）

例如：

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2hqYzI1Ng_size_16_color_FFFFFF_t_70]

### 指针构造符 ###

若T是类型表达式，则`pointer(T)`是类型表达式，它表示一个指针类型。

### 笛卡尔乘积构造符`$✖$` ###

若`$T_1$`和`$T_2$`是类型表达式，则笛卡尔乘积`$T_1*T_2$`是类型表达式

### 函数构造符`$\rightarrow$` ###

若彤`$T_1$`、`$T_2$`、…、`$T_n$`和`R`都是类型表达式，则`$T_1*T_2*...*T_n\rightarrow{R}$`是类型表达式

**其中，`$T_1$`、`$T_2$`、…、`$T_n$`为函数参数，`R`为返回值**

### 记录构造符 ###

若有标识符`$N_1$`、`$N_2$`、…、`$N_n$`与类型表达式`$T_1$`、`$T_2$`、…、`$T_n$`，则`$record((N_1*T_1) * (N_2*T_2) *...* (N_n*T_n))$`是一个类型表达式。

例如：

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2hqYzI1Ng_size_16_color_FFFFFF_t_70 1]

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2hqYzI1Ng_size_16_color_FFFFFF_t_70]: /images/20220131/706b83880e4d49ed936988f84bab0b78.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2hqYzI1Ng_size_16_color_FFFFFF_t_70 1]: /images/20220131/5520b6849f2d42e7969481cd397d4cd3.png