小编joh*_*ohn的帖子

结构等价与名称对等

我似乎无法准确掌握什么名称等价.我很确定我的结构已经下降了.我教授给出的一个例子是:

 Type TI=integer
 Type TTI=TI

 a=integer
 b=TTI
 f= ref float
 g= ref float
Run Code Online (Sandbox Code Playgroud)

a和b都是结构和名称等价的,而f和g只是结构上的等价.我不明白为什么a和b是名字等价的,但f和g不是.

type-equivalence

15
推荐指数
3
解决办法
3万
查看次数

标签 统计

type-equivalence ×1