Term used to describe the process by which the compiler verifies that the way objects of a given type are used is consistent with the definition of that type.
编译器验证给定类型的对象的使用方式是否与该类型的定义一致，描述这一过程的术语。
2
Designing and implementing a teaching-oriented C-like compiler, which supports the definitionof local and global variables, function parameters, as well as recursive call of functions.
设计并实现了一个面向教学的类c编译器，支持全局或局部变量的定义、函数参数传递和函数递归调用。
3
Normally, this error is caught by the compiler; this error can only occur at run time if the definitionof a class has incompatibly changed.