C언어 타입 합성 마법 скачать в хорошем качестве

C언어 타입 합성 마법

호환 타입 (Compatible Type): 컴파일러가 두 타입을 사실상 동일하게 취급하거나, 서로 다른 번역 단위에 있는 선언들이 동일한 객체나 함수를 참조한다고 인정하는 것을 의미합니다. 기본적으로 두 타입이 동일하면 호환됩니다. 구체적인 호환 조건: • 한정자: 두 타입이 호환되려면, 두 타입은 동일하게 한정된 버전의 호환 가능한 타입이어야 합니다. • 포인터: 두 포인터 타입이 호환되려면, 동일하게 한정되어야 하며, 가리키는 대상의 타입이 서로 호환되어야 합니다. • 배열: 두 배열 타입이 호환되려면, 요소 타입이 호환되어야 합니다. 만약 두 배열 모두 크기가 명시되어 있다면 그 크기가 같아야 합니다. • 함수: 두 함수 타입이 호환되려면, 반환 타입이 호환되어야 합니다. 그리고 두 함수 모두 매개변수 타입 목록이 있는 경우, 매개변수의 개수, ...의 사용 여부, 그리고 대응되는 각 매개변수의 타입이 호환되어야 합니다. • 구조체/공용체/열거형 (서로 다른 번역 단위 간): ◦ 구조체: 멤버의 개수와 이름이 같고, 각 멤버의 순서가 같으며, 대응되는 멤버의 타입이 호환되어야 합니다. ◦ 열거형: 멤버의 개수와 이름이 같고, 멤버의 값(value)이 동일해야 합니다. 주의 사항: 동일한 객체나 함수를 참조하는 모든 선언은 반드시 호환되는 타입을 가져야 하며, 그렇지 않을 경우 정의되지 않은 동작이 발생합니다. 합성 타입 (Composite Type): 두 호환되는 타입으로부터 구성되는 새로운 타입으로, 두 타입이 가진 정보를 모두 포함하는 더 구체적인 타입입니다. 보통 동일한 식별자가 같은 스코프 내에서 (혹은 서로 다른 선언을 통해) 다시 선언될 때, 이 식별자의 타입은 두 선언의 정보를 합친 합성 타입이 됩니다. 구성 규칙: 두 호환되는 타입으로부터 합성 타입을 만들 때 다음 규칙이 적용됩니다: 1. 배열 (Arrays): 한 쪽 타입이 크기가 알려진 배열(known size)이고 다른 쪽이 크기를 알 수 없는 배열인 경우, 합성 타입은 크기가 알려진 배열이 됩니다. 2. 함수 프로토타입 (Function Prototypes): 한 쪽만 매개변수 타입 목록(프로토타입)을 가지고 있는 경우, 합성 타입은 해당 프로토타입을 가집니다. 3. 매개변수 (Parameters): 두 타입 모두 매개변수 리스트가 있는 경우, 합성 타입의 각 매개변수 타입은 대응되는 원본 매개변수 타입들의 합성 타입이 됩니다.