シフト演算の結果の型

質問

シフト演算の結果の型は、左オペランドの型ということを聞きました。
この左オペランドの型というのは算術型変換をしてからのか、する前の型なのかどちらなのでしょうか？

例えば
int a = -2;
unsigned int b = 1;

a >> b

このときの結果の型は何になるのでしょうか？
算術型変換が起きる前のintになるのか？
それとも算術型変換が起きるた後のunsigned intになるのか？

例文としてはおかしい点もあるかもしれませんが
よろしくお願いします。

回答No.3

jacta · ベストアンサー

シフト演算の場合は、まず左右のオペランドが汎整数拡張されます。そして、結果の方は拡張された左オペランドの型になります。四則演算などとは異なり、通常の算術型変換は起きませんので注意してください。
これは、CでもC++でも同じです。

補足

回答ありがとうございます。
四則演算などとは異なるのですか。型変換は複雑なのでかなり勉強が必要ですね。

回答No.2

a987654

たぶんＣ言語と推察します。（言語位ははっきりさせましょう。）
ヒントのみ。
１．演算前のaとbおよび演算後のaとbをバイナリで表示するか印刷して
　　みて考えてください。
２．Ｃ言語では代入時に型変換がおこなわれます。

お礼

c言語です。書いていなくてすみません。
時間のある時によく考えてみます。ありがとうございます。

回答No.1

asuncion

＞算術型変換が起きた後のunsigned intになるのか？

算術型変換が起きた後の型がunsigned intになると思った理由を教えてください。

補足

http://www9.plala.or.jp/sgwr-t/detail/TypeConversion.html
の3.通常の算術型変換で一方が unsigned int なら、他方を unsigned int に型変換する。
とあったからです。