8、类型检查与激活记录全解析

躺平摸鱼王

于 2025-06-21 12:43:09 发布

阅读量3

点赞数

CC 4.0 BY-SA版权

分类专栏：《现代编译原理：C语言描述》深度解析文章标签：类型检查激活记录环境管理

本文链接：https://blog.youkuaiyun.com/k8s6orchestrator/article/details/149525771

《现代编译原理：C语言描述》深度解析专栏收录该内容

39 篇文章 ¥399.00 ¥499.90

订阅专栏

超级会员免费看

类型检查与激活记录全解析

1. 类型检查环境

在类型检查中，环境起着关键作用。环境分为类型环境和值环境。以下是相关的结构体定义：

typedef struct E_enventry_ *E_enventry;
struct E_enventry_ {
    enum {E_varEntry, E_funEntry} kind;
    union {
        struct {Ty_ty ty;} var;
        struct {Ty_tyList formals; Ty_ty result;} fun;
    } u;
};
E_enventry E_VarEntry(Ty_ty ty);
E_enventry E_FunEntry(Ty_tyList formals, Ty_ty result);
S_table E_base_tenv(void); /* Ty_ ty environment */
S_table E_base_venv(void); /* E_ enventry environment */

变量会映射到一个 VarEntry 来表明其类型，而函数则会映射到一个 FunEntry ，其中包含形式参数的类型和函数返回的结果类型。