'typedef'를 사용하여 논리적 유형 안전 보장

Question

typedef int A; 
typedef int B; 

void foo(A arg){} 

void main(void){ 
    B wrongvar = 7; 
    foo(wrongvar); 
} 

표준에 따라이 구조가 경고/오류를 반환 할 예정입니까? 가장 인기있는 컴파일러는 어떻습니까?

예 : 우리는 킬로그램과 미터를 나타내는 변수를 가지며 모두 'int'유형입니다. 우리는 미터를 처리하는 함수를 가지고 있습니다. 우리는 컴파일러가 변수 변수를 의미하는 킬로그램을 함수에 전달하는 것과 관련된 버그를 잡기를 원합니다.

나는 Ada이 원활하게 처리한다고 믿습니다. 현대 C는 어때?

Answer 1

아니요, 다루는 것은 알려진 유형 문제입니다 구조적 동등성 대 이름 동등성. Dog가 말했듯이, 당신이 원하는 것을 성취하기 위해 할 수있는 가장 가까운 일은 구조체를 사용하는 것입니다. 그러나 컴파일러가 패딩을 추가하기를 원한다면 메모리 낭비가 될 수 있습니다 (이 경우는 없을 것입니다). C는 별칭에 대해 구조적 동등성 (두 유형이 같은 것을 의미 함)을 사용하지만 선언 된 다른 구조체에 대해 동일한 이름을 사용합니다 (동일한 레이아웃을 가진 두 가지 유형의 구조체는 동등한 것으로 처리되지 않습니다).

이 작업을 수행하는 구조체를 사용하는 예는 :

는

typedef struct { 
    double value; 
} meters; 

typedef struct { 
    double value; 
} kilograms; 

int main(){ 
    meters m; 
    kilograms k = {2}; // initialized 
    m.value = 1; 
    k = m; // error, can't assign meters to kilos 
    return 0; 
} 

이 문서 읽어하실 수 있습니다 : http://www.joelonsoftware.com/articles/Wrong.html 당신이 명명 규칙

Answer 2

하나의 필드가있는 구조체를 사용하여 원하는대로 정확하게 처리 할 수 ​​있습니다. 유일한 "단점"은 옵티마이 저가이를 최적화하지 않으면 1/2/4/8 바이트를 낭비한다는 것입니다 ...