如何确定类型对等。命名和结构

Question

以下声明是针对使用名称等效的语言的：A，D：int的arry [1..100]；C：int的arry [1..100]；F：int的arry [1..100]；说明这四个变量中的哪个具有相同的类型。此外，哪些类型不同？

这是我必须回答的问题。如何在这种情况下确定类型对等？

我相信A和D在名称上都是等效的，但所有选项实际上在结构上都是等效的。

它们是等效的，因为A和D都使用相同的赋值

这些在结构上都是等效的，因为它们使用所有相同的赋值含义（int的arry [1..100]）

Answer 1

类型的名称等效意味着“没有名称替换的结构等效” ^*。

因为您的所有变量都具有结构上等效的类型，不包含任何不同名称的类型（它们不同的变量名称和单独的声明与类型检查无关），所以它们的类型等效于名称，即。 e。 四个变量具有相同的类型。

^{* _{http://web.eecs.utk.edu/~bvanderz/teaching/cs365Sp12/notes/types.html}}