姓名等同问题

int a;
int b;

名称(更恰当地,名义上)等价意味着值具有与其类型的(完全限定的)名称所确定的相同类型 – 例如,a和b在名义上是等价的,因为它们都具有“int”类型.结构等价意味着这些值被认为具有相同的类型,因为它们的类型在结构上是等价的,无论名称如何.名义类型等价意味着结构类型等价,因为命名类型在结构上等同于它自身.你的a和b在名义上是等价的,因为它们具有相同的类型(“int”).声称“基本类型没有类型名称”只是假 – int是类型名称. int a之间没有区别; int b;和int a,b; – 都使用相同(结构和名称)类型定义a和b.

C的类型系统通常是按名称…例如,int *和short *是不同的类型,即使int和short具有相同的表示,struct foo {int x;和struct bar {int x;即使它们总是具有相同的表示,它们也是不同的类型.