计算机 判断题 较难 ★ 精品

类型检查 — 计算机判断题

编译原理(大学通用) 语义分析与中间代码生成 AI 三重审校通过

题目
某语言中,a 的类型为 int,b 的类型为 bool,c 的类型为 real。类型检查规则:int 可隐式转换为 real,real 不可隐式转换为 int;逻辑运算符“且”要求两个操作数均为 bool 类型;条件表达式 if(E) x else y 要求 E 为 bool 类型,且 x、y 类型一致。设有声明 int x; real y;,则语句 if(a 且 c) x else y 通过类型检查。