[질문]공용체안의 구조체 값을 생성할때

union A{
		struct {
				unsigned int a ; 
				unsigned int b ;
		} Int0;
		struct {
				unsigned int c ;
				unsigned int d ;
		}Int1;
		int e;
};

#define INT0(a,b) { {a,b}}
#define INT1(c,d) { Int1:{c,d}}

union A aa[]= {
		INT0(1,2),
		INT1(3,2)
};


int main()
{
  int i;

  for(i=0; i<2; i++){
		  printf("%d %d %d %d %d\n", aa[i].Int0.a, aa[i].Int0.b, aa[i].Int1.c, aa[i].Int1.d, aa[i].e);
  }

  return 0;
}

1 2 1 2 1
3 2 3 2 3

규칙이 있습니다.

일단, Int0 과 Int1 의 두 멤버가 항상 동일한 값으로 초기화된다는 사실은
공통 초기열 (common initial sequence) 이라는 규칙이 보장해 줍니다. 즉,
공용체 안의 구조체 멤버가 호환되는 데이터형의 멤버를 앞 부분에 공유하
고 있기 때문에 Int0 의 a, b, 그리고 Int1 의 c, d 는 서로 같은 offset
으로 할당되고, 또 한 구조체의 공통 초기열에 값을 쓰고, 다른 구조체를
통해 읽는 것은 항상 같은 값을 보장해 줍니다.

(IT 백두대간 C 언어, pp.670-672)

구조체 멤버가 아닌 e 가 규칙적인 결과를 보이는 것은 다음 규칙에 기반합
니다.

- 구조체/공용체의 가장 앞에는 padding 이 없습니다.
- 대응하는 unsigned 정수형과 signed 정수형은 (sizeof 의 관점에서) 같은
크기를 갖습니다.
- 대응하는 unsigned 정수형과 signed 정수형에 대해, unsigned 정수형이
표현할 수 있는 값의 범위와 signed 정수형이 표현할 수 있는 양수값의
범위의 교집합에 속하는 양수값들은 같은 표현을 사용합니다 - 즉,
signed 정수형에 양수값을 저장하고 이를 대응하는 unsigned 정수형으로
type punning 해서 읽으면 올바른 값이 보장됩니다.

(IT 백두대간 C 언어, pp.180-184, p.652)

일단 해당 컴파일러의 document 를 살펴보는 것이 우선이겠지만, 만약 C99
를 부분적으로 지원한다면, 다음과 같이 designated initializer 를 사용하
는 방법이 가능합니다.

#define INT1(c,d) { .Int1 = {c,d}}

gcc 역시 C99 를 완벽하게 지원하지는 않아도 이는 지원해주고 있으니 보다
근거있는 방법으로 바꾸시기를 추천합니다.

만약, ADS 1.2 에서 이 방법이 안 되고 특별히 확장으로 지원해 주는 방법
이 없다면 언어 정의상으로는 제공되는 방법이 없습니다 - 초기화가 아닌
직접 해당 멤버에 값을 대입해 사용하거나 다른 꽁수를 쓰는 수 밖에요...

하지만, 위에서 말씀드렸듯이 공통 초기열이 보장되는 경우에는 충분히 활
용하시기 바랍니다.

(IT 백두대간 C 언어, p.672, p.703)

그럼...