arrays - 配列内のC共用体ポリモーフィズム

Question

次の場合：

typedef struct{
...
...
} A;

typedef struct{
...
... 
} B;

typedef union __attribute__((transparent_union)) {
    A a;
    B b;
} C;

関数を宣言すると

myMethod(C){
...
}

以下は、明示的なキャストなしで合法です。

A myA;
B myB;

meMethod(myA);
myMethod(myB);

ただし、次のことが許可されないのはなぜですか。

C cArray[2];
c[0]=myA;
c[1]=myB;

これにより、明示的なキャストなしで互換性のないタイプエラーが発生します。明示的なキャストを回避する方法はありますか？

score 3 · Accepted Answer

GCCドキュメントには次のように記載されています。

共用体型定義に付加されたこの属性は、その共用体型を持つ関数パラメーターが、その関数への呼び出しを特別な方法で処理することを示します。

つまり、透過性は関数パラメーターにのみ適用されます。

1 に答える 1