이름 등가 질문

Question

한다고 가정 내가 가진 :

int a; 
int b; 

이 변수 a 및 b 이름에 해당 (기본 유형은 유형 이름을 가지고 있지 않기 때문에보다 구체적으로, 그들은 고려 될 수있다 이름에 해당)이 있습니까?

감사합니다.

int a; 
int b; 

변수 a 및 b 이름에 해당되지 않습니다 내가 찾은

Answer 1

이름 (보다 적절하고 명목상의) 등가성은 값이 해당 유형의 (완전한) 이름으로 결정된 것과 동일한 유형을 가짐을 의미합니다. 예를 들어 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; }은 항상 같은 표현이 비록 다른 종류입니다.

Answer 2

일부 클래스 노트에 있음을 시사한다. 와 그러나

:

int a, b; 

변수 a 및 b는 이름이 동일합니다.

Answer 3

나는 C가 이름 등가성을 채택하지 않는다고 생각합니다. IMHO, C는 구조와 노동 조합을 예외로 구조적 동등성을 채택합니다. 그 (것)들을 위해 이름은 사용된다. 값은 이름 동등성에서 해당 유형의 이름에 의해 결정된 것과 동일한 유형을 가지며 값은 구조적으로 동등한 것으로 동등한 것으로 결정된 것과 동일한 유형으로 간주됩니다. 그러나 구조적 동등성에서도 이름에 관계없이 결정되지 않습니다.

기본적으로 프로그래밍 언어의 원자 유형은 이름을 가지며 이름 동등성 및 구조적 동등성 둘 다에서 사용됩니다. 차이는 int * 또는 char[10]과 같은 파생 된 유형에서 비롯됩니다. "기본 유형에는 유형 이름이 있습니다." 그리고 C의 타입 시스템은 파생 된 타입의 구조를 타입 정의어를 제외하고 사용자가 정의한 이름까지 비교합니다. 심지어 사용자가 typedef을 사용하여 정의한 것입니다.

C 타입의 시스템 구조가 일반적이다 .. 예 int *short * 및 다른 유형이지만 int *int *와 동일 타입이다.그 문자가 struct foo { int x; }과 struct bar { int x; } 인 이유는 사용자 정의 형식 이름까지 다른 구조를 가지기 때문입니다. 유형이 struct foo *과 struct foo *은 동일한 구조이므로 동일한 유형입니다. 제발, struct 유형의 구조를위한 것을 혼동하지 마십시오. C에서 형식 이름을 더 정확하게 구조화하기위한 것입니다.

단순히 strutural equivalence에서 원자 유형 이름까지 유형이 펼쳐져 비교됩니다. C에서 유형은 사용자 정의 이름까지 펼쳐집니다. (펼치기 위해 http://www.csd.uwo.ca/~moreno//CS447/Lectures/TypeChecking.html/node3.html를 참조하십시오) 이것이 차이점입니다. 당연히 이름에 해당하는 유형은 구조상으로는 동일하지만 그 반대가 아닙니다. 다음의 경우에 대해

:

int x; 
int y; 

xy 이름 및 동등한 구조 및 상응하는 양. 그러나 다음과 같은 경우 :

int *x; 
int *y; 

x 및 y 구조적 동일하지만 해당 이름을 수 없습니다. 심지어 다음과 같은 경우에이 선언이 이전 선언의 단지 속기로 간주됩니다에 대한

int *x, *y; 

x 및 y이 엄격한 이름 등가 방식에서 동등한 것으로 간주되지 않습니다. Ada는 엄격한 이름 등가성을 채택한 잘 알려진 언어입니다.