回答編集履歴

1

ミス

2020/04/21 05:56

投稿

Chironian
Chironian

スコア23272

test CHANGED
@@ -13,3 +13,23 @@
13
13
 
14
14
 
15
15
  > 1. 両方のオペランドが同じ型をもつ場合、更なる型変換は行わない。
16
+
17
+
18
+
19
+ ---
20
+
21
+ 【追記】
22
+
23
+ asmさんのご指摘より、当回答は間違いでしたので訂正させて下さい。
24
+
25
+
26
+
27
+ unsigned - signed(250はint型です)なので、同ページにある下記ルールが適用されそうです。
28
+
29
+
30
+
31
+ > 3. そうでない場合、符号無し整数型を持つオペランドが、他方のオペランドの整数変換の順位より高い又は等しい順位をもつならば、符号付き整数型をもつオペランドを、符号無し整数型をもつオペランドの型に変換する。
32
+
33
+
34
+
35
+ つまり、signedをunsignedへ変換するので、結局unsigned - unsignedとなりアンダーフローするということのようです。