C言語 - 変更履歴

Hagio: /* 三項演算子 */

2011-02-09T16:15:50Z

‎三項演算子

Hagio: /* キャストの桁あふれ動作 */

2009-11-29T22:30:48Z

‎キャストの桁あふれ動作

Hagio: /* キャストの桁あふれ動作 */

2009-11-28T05:57:50Z

‎キャストの桁あふれ動作

Hagio: /* キャストの桁あふれ動作 */

2009-11-28T05:49:14Z

‎キャストの桁あふれ動作

Hagio: /* キャストの桁あふれ動作 */

2009-11-28T05:19:29Z

‎キャストの桁あふれ動作

Hagio: /* scanf() の桁あふれ動作 */

2009-11-28T05:06:41Z

‎scanf() の桁あふれ動作

Hagio: /* 覚え書き */

2009-11-28T05:04:08Z

‎覚え書き

Hagio: /* scanf() の桁あふれ動作 */

2009-11-28T04:43:32Z

‎scanf() の桁あふれ動作

Hagio: /* scanf() の桁あふれ動作 */

2009-11-28T04:37:30Z

‎scanf() の桁あふれ動作

Hagio: /* scanf() の桁あふれ動作 */

2009-11-28T04:32:38Z

‎scanf() の桁あふれ動作

@@ 行98: / 行98: @@
 === 三項演算子 ===
 カーネルソース中に、以下のような三項演算子がよく出てくる。
-  int res = 0, hoge = 1, fuga = 2;
+  int res = 0, hoge = 10, fuga = 20;
   res = hoge ? : fuga;
 このとき res の値は、
-  res = 1
+  res = 10
-つまり、hoge の評価結果になる。
+つまり、hoge の値になる。
-−
 === 可変引き数リスト ===

@@ 行13: / 行13: @@
       int i;
       unsigned long l;
-      unsigned long long ll = 0xFFFFFFFFL;
+      unsigned long long ll = 0xFFFFFFFFUL;
       for (i = 0; i < 3; i++, ll++) {
           l = (unsigned long) ll;

@@ 行6: / 行6: @@
 == 覚え書き ==
 === キャストの桁あふれ動作 ===
 キャスト時に桁あふれが生じていた場合はどうなるのか。
   #include <stdio.h>

@@ 行11: / 行11: @@
       int i;
       unsigned long l;
-      unsigned long long ll[3] = \
+      unsigned long long ll = 0xFFFFFFFFL;
-         {4294967295LL, 4294967296LL, 4294967297LL};
+      for (i = 0; i < 3; i++, ll++) {
-      for (i = 0; i < 3; i++) {
+          l = (unsigned long) ll;
-          l = (unsigned long) ll[i];
+          printf("ll = %llu, l = %lu\n", ll, l);
-          printf("ll[%d] = %llu, l = %lu\n", i, ll[i], l);
+      }
       return 0;
@@ 行22: / 行21: @@
 こうなる。
-  ll[0] = 4294967295, l = 4294967295
+  ll = 4294967295, l = 4294967295
-  ll[1] = 4294967296, l = 0
+  ll = 4294967296, l = 0
-  ll[2] = 4294967297, l = 1
+  ll = 4294967297, l = 1
-収まるビットのみが代入されるってことか？とりあえずアセンブラを見てみる。
+下位 32 ビットのみが代入されるってことか？とりあえずアセンブラを見てみる。
-    jmp .L2
+    movl    $-1, -16(%ebp)  // ll の下位 32 ビット確保
-.L3:
+    movl    $0, -12(%ebp)   // ll の上位 32 ビット確保
-    movl    -16(%ebp), %eax
+    movl    $0, -24(%ebp)   // i 確保
-    movl    -36(%ebp,%eax,8), %edx
+     jmp .L2
-    movl    -40(%ebp,%eax,8), %eax
+.L3:
-    movl    %eax, -12(%ebp)
+    movl    -16(%ebp), %eax // ll の下位 32 ビットを eax へ
-    movl    -16(%ebp), %eax
+    movl    %eax, -20(%ebp) // eax の内容で l 確保 ★
-    movl    -40(%ebp,%eax,8), %edx
+    movl    -20(%ebp), %eax // 意味ねー
-    movl    -36(%ebp,%eax,8), %ecx
+    movl    %eax, 12(%esp)  // l を積む
-    movl    -12(%ebp), %eax
+    movl    -16(%ebp), %eax // ll の下位 32 ビットを eax へ
-    movl    %eax, 16(%esp)
+    movl    -12(%ebp), %edx // ll の上位 32 ビットを edx へ
-    movl    %edx, 8(%esp)
+    movl    %eax, 4(%esp)   // ll の上位 32 ビットを積む
-    movl    %ecx, 12(%esp)
+    movl    %edx, 8(%esp)   // ll の下位 32 ビットを積む
-    movl    -16(%ebp), %eax
+    movl    $.LC0, (%esp)   // フォーマット文字列のアドレスを積む
-    movl    %eax, 4(%esp)
+    call    printf
-    movl    $.LC0, (%esp)
+    addl    $1, -24(%ebp)   // i++
-    call    printf
+    addl    $1, -16(%ebp)   // 下位 ll++
-     addl    $1, -16(%ebp)
+    adcl    $0, -12(%ebp)   // 上位 ll + 0 (下位からのキャリー付き)
 .L2:
-    cmpl    $2, -16(%ebp)
+    cmpl    $2, -24(%ebp)   // for の条件判定
     jle .L3
 === scanf() の桁あふれ動作 ===

@@ 行12: / 行12: @@
       unsigned long l;
       unsigned long long ll[3] = \
-          {4294967295,4294967296,4294967297};
+          {4294967295LL, 4294967296LL, 4294967297LL};
       for (i = 0; i < 3; i++) {
           l = (unsigned long) ll[i];
@@ 行26: / 行26: @@
   ll[2] = 4294967297, l = 1
-収まるビットのみが代入されるってことか？詳細はソースかアセンブリ見なければわからない。
+収まるビットのみが代入されるってことか？とりあえずアセンブラを見てみる。
 === scanf() の桁あふれ動作 ===

←前の版		2009年11月28日 (土) 05:06時点における版
行69:		行69:
	* unsigned では、最大値で頭打ちになる。		* unsigned では、最大値で頭打ちになる。

		+	キャスト時の挙動と違っていてややこしい…。

	=== 三項演算子 ===		=== 三項演算子 ===

@@ 行5: / 行5: @@
 == 覚え書き ==
 === scanf() の桁あふれ動作 ===
 例えば以下のようなコードがあって
@@ 行45: / 行68: @@
 * singed では、最小値・最大値で頭打ちになる。
 * unsigned では、最大値で頭打ちになる。
 === 三項演算子 ===
@@ 行53: / 行77: @@
   res = 1
 つまり、hoge の評価結果になる。
 === 可変引き数リスト ===
@@ 行70: / 行95: @@
     '''va_end(ap);'''
+  }
 === 構造体のサイズ ===
@@ 行97: / 行123: @@
 なぜなら、型の大きさに(?)アラインされ、パディングが入るから。
 例えば、4 バイトの int なら、アドレスは必ず 4 の倍数になる。
 [[画像:alignment.png]]
 === 関数ポインタ ===
@@ 行108: / 行136: @@
 文字列を返す関数へのポインタの配列へのポインタを返す関数だって！！！
 こんなのが出てきた時点で、プログラムの設計ミスだろ…。
 === <code>printf</code> のフォーマット ===
@@ 行147: / 行176: @@
 .46              -123.46
 .4560012817 -123.4560012817
 === 定数 ===
@@ 行215: / 行245: @@
          "ccccccccccccccc\n");
   // print "aaaaaaaaaaaaaaabbbbbbbbbbbbbbbccccccccccccccc\n"
 === マクロ ===
@@ 行233: / 行264: @@
   joint(hoge, 3)
   ⇒ hoge3
 === その他 (細かいこと) ===

@@ 行41: / 行41: @@
   l = -2147483648, ul = 4294967295
-これは非常に興味深いぞ…。
+とりあえず、パッと見でわかるのは以下のこと。
 === 三項演算子 ===

@@ 行7: / 行7: @@
 === scanf() の桁あふれ動作 ===
 例えば以下のようなコードがあって
-      unsigned int uint;
+      long l;
-      unsigned long ulong;
+      unsigned long ul;
+        :
       while (fgets(line, 128, fp) != NULL) {
-          sscanf(line, "%u %lu", &uint, &ulong);
+          sscanf(line, "%ld %lu", &l, &ul);
-          printf("uint = %u, ulong = %lu\n", uint, ulong);
+          printf("l = %ld, ul = %lu\n", l, ul);
+      }
 fp の指すテキストファイルが以下の内容だった場合どうなるのか。
 1
   2147483647 4294967295
@@ 行25: / 行27: @@
   -2147483648 -4294967296
   -2147483649 -4294967297
 こうなる。
-  uint = 1, ulong = 1
-  uint = 2147483647, ulong = 4294967295
+  l = 1, ul = 1
-  uint = 2147483648, ulong = 4294967295
+  l = 2147483647, ul = 4294967295
-  uint = 2147483649, ulong = 4294967295
+  l = 2147483647, ul = 4294967295
-  uint = 4294967295, ulong = 4294967295
+  l = 2147483647, ul = 4294967295
-  uint = 4294967294, ulong = 4294967294
+  l = -1, ul = 4294967295
-  uint = 4294967293, ulong = 4294967293
+  l = -2, ul = 4294967294
-  uint = 2147483649, ulong = 1
+  l = -3, ul = 4294967293
-  uint = 2147483648, ulong = 4294967295
+  l = -2147483647, ul = 1
-  uint = 2147483647, ulong = 4294967295
+  l = -2147483648, ul = 4294967295
 これは非常に興味深いぞ…。