정렬을 위해 가장 제한적인 데이터 유형을 이동 가능하게 결정

Question

뭔가를 간과하지 않으면 uintmax_t를 선택하면 정수가 처리됩니다.

(1) float에 대한 유사한 데이터 유형이 있습니까? 그렇다면 어떤 헤더에 있습니까? (float.h에 나와 있지 않다.)

(2)이 2 가지 데이터 유형 (우리가 (1)을 긍정으로 대답 할 수 있다고 가정 할 때)의 결합을 선택하는 것이 항상 가장 제한적이어야한다는 것이 맞습니까?

Answer 1

에릭의 대답에서 지적한대로 C11은 가장 근본적인 정렬이 <stddef.h> : max_align_t 인 개체 유형을 정의합니다.

그러나 GCC에서 예상대로 작동하지 않을 수 있습니다. GCC의 웹 사이트에서 촬영 : 2011 :

C11로 알려진 C 표준의 네 번째 버전은 ISO/IEC으로 2011 년에 9899을 발표했다. GCC는이 표준을 에 대해 실질적으로 완벽하게 지원합니다. -std = c11 또는 -std = iso9899 : 2011을 사용합니다. ( 개발하는 동안,이 표준 버전의 초안이 C1X로 언급되었다.)

는 C11에 의존하지 않으려면 인해 신선도 및 지원의 현재 부족, 나는 조합과 정의 제안 모든 정수 유형, 모든 부동 소수점 유형, void 포인터 및 함수 포인터 : 이들 중 하나는 가장 제한적인 유형이어야합니다.

Answer 2

구현에서 지원되는 가장 큰 기본 정렬을 가진 객체 유형은 이고, 정의는 <stddef.h>입니다.

표준에서 정렬의 정렬 요구 사항이 구성원의 가장 엄격한 정렬 요구 사항임을 나타내는 텍스트가 표시되지 않습니다. 따라서 이론 상 노동 조합은 구성원 중 필요한 것보다 더 엄격한 조정을 요구할 수 있습니다. 나는 이것에 대한 거의 이유가 없으며 C 구현이 그것을 할 것이라고 기대하지 않는다. 일반적인 경우는 프로그램이 명시 적으로 더 큰 정렬을 요청하지 않는 한 (예 : _Alignas 키워드와 같이) 조합의 정렬 요구 사항이 해당 멤버의 가장 엄격한 요구 사항이라는 것입니다.