Cバイナリ演算子がLVALUEまたはRVALUEの幅に適用されます

Question

Cはバイナリ演算子をどのように処理しますか？標準でコンパイラがLVALUEにキャストする必要がありますか、それを必要としませんか？これらの定義で

typedef union { 
    unsigned long _Data; 
    struct { 
    unsigned long _Reserved : 28; 
    unsigned long _Info  : 1; 
    unsigned long _Reserved2 : 3; 
    }; 
} S_INFO; 

S_INFO Variable; 

、

Variable._Data &= ~3uL; 

は、16ビットアーキテクチャでは

Variable._Data &= ~3u; 

指示とは異なるコンパイル命令を次のように

具体的な問題は、私はルックスを発見しましたintは2バイト幅で、長さは4バイト幅です。

コンパイラは、&演算子をLVALUE Variable._Dataの幅ではなく、リテラル（RVALUE）の幅に適用するようです。

私はコンパイラのバグを発見しましたか、これはCの標準に従って正しい動作ですか？

Answer 1

コードの2つの部分がどのように異なってコンパイルされているかについての所見を投稿するのを待っている間に（そして私のコメントはあなたに答えを考えさせるように思われるが、これが正しい答えは、おそらく起こっていることは次のようなものです：

命令Variable._Data &= ~3uL;は、符号なしlongリテラルとlong値の論理積をとります。

命令Variable._Data &= ~3u;は、符号なし（ではなく、）のリテラルを取り、それをゼロに拡張してからlong値でANDします。

したがって、これらの命令は、ほとんどの場合、正しいオペランドにリテラルを宣言する方法が異なるため、コンパイルが異なります。これは、おそらく左のオペランドとは関係なく、オペランド間で実行しているオペレーションとは関係ありません。

これまでのところ、これは私の推測です。コードの2つの断片がどのように異なる方法でコンパイルされているかについての正確な結果を投稿してください。私は自分の答えを修正するかもしれません。

Answer 2

これらの2つの式が等しくない、バグがありません：

Variable._Data &= ~3uL; 

Variable._Data &= ~3u; 

両方がゼロアウトう最下位2ビット。しかし、2番目のビットだけが最上位16ビットをゼロにします。あなたのマシンでは、int型の幅は16ビットで、長さは32ビットです。

&=操作が実行される前に、単体~演算子が整数リテラルに適用されます。（あなたのマシン上の）相違点は次のとおりです。

操作〜3LU結果に：操作〜3Uは、その結果に0xFFFFFFFC

：0xFFFC、その後長いに昇格されます。0x0000FFFC

これら2つの値を適用した結果Variable._Dataは上記とは異なる。

Variable._Data &= 0xFFFFFFFC; 

2つ目は、次のとおりです：

まず一つはある

Variable._Data &= 0x0000FFFC;