类型检查 — 计算机判断题
题目
设子类型关系满足：Cat <: Animal <: Living。函数类型写作 D -> R。在类型检查中，函数子类型规则为：D1 -> R1 是 D2 -> R2 的子类型，当且仅当 D2 <: D1 且 R1 <: R2。现有函数 h 的类型为 Animal -> Cat，变量 k 声明为 Cat -> Animal。判断：根据该规则，h 不能赋值给 k，因为函数返回类型必须按逆变处理。
相关题目
计算机
填空题
某语言规定，逻辑运算符“&&”的两个操作数都必须是 bool 类…
类型检查
计算机
判断题
某语言中，a 的类型为 int，b 的类型为 bool，c 的类型为 real。…
类型检查
计算机
选择题
某语言中，n 的类型为 int，r 的类型为 real，b 的类型为 bool。…
类型检查
计算机
填空题
有如下C++程序：#include <iostream> using namespace std; class Box { public…
赋值运算符重载
计算机
选择题
有如下 C++ 递归函数： int h(int m, int k) { if (m == 0) return k; …
递归函数设计
计算机
填空题
设事务 T1、T2、T3 对数据项 A、B 的并发调度 S 的操作顺序为…
并发调度的可串行性