Microsoft PowerPoint - CproNt05.ppt [互換モード]

Transcription

1 第 5 章 + 第 14 章演算子 CPro:05-01 第 5 章演算子 I 概要 Cには約 40 種類の演算子がある 算術演算子: ( 基本的なもの ) -( 単項 ) * / + - % 優先順位( 評価順序 ) の規則 カッコにより優先順位を変えることができる 算術演算子は代入演算子とあわせて複合演算子となる 算術計算では, 型が異なる場合, 暗黙のキャストが行われる ( 最大化 ) キャスト演算子を用いると明示的に型変換が行える 5.1 算術演算子と代入演算子 = 代入 ( 左辺と右辺が等しいという意味はない ) 左辺 (L value) = 右辺 (R value) 左辺 : 変数のみ右辺 : 変数 定数 およびそれらの演算を評価した結果 a = 1 + 2; a = a + 1; 以下の例は C 言語では正しくない ( いずれも左辺が変数でない ) 1 = 3 2; = a; a + b = 3; 1

2 5.2 優先順位と結合規則 優先順位 種類 演算子 結合規則 高 関数, 添字, 構造 体メンバ参照, 後置増分 / 減分 ( ) [ ]. -> 左 右 前置増分 / 減分, 単項式 ++ --! ~ + - * & sizeof 左 右 キャスト ( 型名 ) 乗除余 * / % 加減 + - シフト << >> 比較 < <= > >= 等値 ==!= ビットAND & 左 右 ビットXOR ^ ビットOR 論理 AND && 論理 OR 条件?: 代入 = += -= *= /= %= 左 右 &= ^= = <<= >>= 低 コンマ, 左 右 単項式とは演算子を適用する項が1つだけの式 :!( 否定 ) ~( 排他的論理和 ) +( 正 ) -( 負 ) *( ポインタ ) &( アド レス ) sizeof 5.3 複合演算子 a = a + 1; と a += 1; は同じ意味 += ( 加算 ) -= ( 減算 ) *= ( 乗算 ) /= ( 除算 ) %= ( 剰余 ) >>= ( 右シフト ) <<= ( 左シフト ) &= ( ビットごとのAND) ^= ( ビットごとのXOR) = ( ビットごとのOR) 2

3 5.4 モジュロ演算子 演算子 : % 整数系のみ対象 a = 5 % 3; 5 3 の余り 5.5 混合演算と型変換 ランク低ランク高 char < int < long < float < double 式中の最高位ランクの型にあわせて演算が行われ, 評価結果もその型になる ( 最大化 ) 3

4 test5_1.c 1 main() /* test5_1.c (p.120) */ 2 { 3 char c1, c2, c3; 4 int i1, i2, i3; 5 float f1, f2, f3; 6 7 c1 = 'x'; 8 c2 = 1000; 9 c3 = 6.02e23; 10 printf("%c %c %c n", c1, c2, c3); 11 printf("%d %d %d n", c1, c2, c3); i1 ='x'; 14 i2 = 1000; 15 i3 = 6.02e23; 16 printf("%c %c %c n", i1, i2, i3); 17 printf("%d %d %d n", i1, i2, i3); f1 ='x'; 20 f2 = 1000; 21 f3 = 6.02e23; CPro: printf("%c %c %c n", f1, f2, f3); 23 printf("%d %d %d n", f1, f2, f3); 24 printf("%f %f %f n", f1, f2, f3); 25 } % cc test5_1.c test5_1.c: In function `main': test5_1.c:8: warning: overflow in implicit constant conversion test5_1.c:9: warning: overflow in implicit constant conversion test5_1.c:15: warning: overflow in implicit constant conversion % a.out x 苙 char に 1000 は入らない も x 苙 int に は入らない 実数を整数系に代入するとでたらめな値になる % 4

5 5.6 キャスト 明示的に型変換したいとき 書き方 : ( 型名 ) 変数または定数 (double)f (long)i float x, f; f = ; x = (int)f ; x は 3 になる ( 切り捨て ) 5.7 インクリメント演算子とデクリメント演算子 インクリメント : ++ 変数に1 足下結果を変数の値に デクリメント : -- 変数から1 引いた結果を変数の値に a++ ++b c-- --c 前置と後置で意味が違う int x, a = 5; x = a++; x は 5,a は 6 になる ( 評価してから足す ) int x, a = 5; x = ++a; x は 6,a も 6 になる ( 足してから評価する ) 5

6 test5_2.c 1 main() /* test5_2.c (p.126) */ 2 { 3 int a, b; 4 char c; 5 float e; 6 7 a = b = 2; 8 b += 2; 9 b++; 10 c = 2; 11 b += c; 12 putchar(b); 13 e = (char)b; 14 printf("e is %f n", e); 15 } % cc test5_2.c % a.out ^Ge is ^G(=0x07) のところでピッと鳴る % 第 14 章演算子 II 概要 ビット演算子 ビットシフト ビットごとの AND,OR,XOR とマスク キャスト演算子 sizeof 演算子 条件演算子 (3 項演算子 ~?~:~ ) C 言語は比較的低レベルの言語 ビットパターンの操作が可能 プログラムの移植性は低下 6

7 14.1 ビット演算子 CPro:05-13 整数系のみを対象 printbits 関数 ( 自作 ): 整数をビット (0/1 パターン ) で表示 0~4,-1~-4 のビットパターンを表示 (test14_1.c) 2 進数表示になっている負数は 2 の補数表示 test14_1.c 1 main() /* test14_1.c (p.370) */ 2 { 3 int i; 4 5 for (i = 0; i < 5; i++) { 6 printf("decimal %2d equals binary ", i); 7 printbits(i); 8 } 9 for (i = -1; i > -5; i--) { 10 printf("decimal %2d equals binary ", i); 11 printbits(i); 12 } 13 } 14 % cc test14_1.c /var/tmp//cc1jcfdm.o(.text+0x43): In function `main': : undefined reference to `printbits' /var/tmp//cc1jcfdm.o(.text+0x78): In function `main': : undefined reference to `printbits %

8 printbits.c #definebytesize printbits(intval) 4 int intval; 5 { 6 int i; 7 8 for (i = 0; i < (BYTESIZE * sizeof(int)); i++) { 9 printf("%1d", (intval << i & 1 << BYTESIZE * sizeof(int) - 1)? 1: 0); 10 } 11 putchar(' n'); 12 } % cc test14_1.c printbits.c % a.out Decimal 0 equals binary Decimal 1 equals binary Decimal 2 equals binary Decimal 3 equals binary Decimal 4 equals binary Decimal -1 equals binary Decimal -2 equals binary Decimal -3 equals binary Decimal -4 equals binary %

9 ビット反転演算子 演算子 : ~ 0~4 のビットパターンを反転 (test14_2.c) test14_2.c 1 main() /* test14_2.c (p.371) */ 2 { 3 int i; 4 5 for (i = 0; i < 5; i++) { 6 printf("decimal %2d equals binary ", i); 7 printbits(i); 8 printf(" ~ %2d equals binary ", i); 9 printbits(~i); 10 } 11 } % cc test14_2.c printbits.c % a.out Decimal 0 equals binary ~ 0 equals binary Decimal 1 equals binary ~ 1 equals binary Decimal 2 equals binary ~ 2 equals binary Decimal 3 equals binary ~ 3 equals binary Decimal 4 equals binary ~ 4 equals binary %

10 ビットシフト演算子 CPro:05-19 演算子 : << 左シフト >> 右シフト 数 123 を 0~31 回左シフト (test14_3.c) test14_3.c 1 main() /* test14_3.c (p.373) */ 2 { 3 int i; 4 5 printf("decimal 123 is binary "); 6 printbits(123); 7 for (i = 0; i < 32; i++) { 8 printf(" %12d 123 << %2d is ", 123 << i, i); 9 printbits(123 << i); 10 } 11 } % cc test14_3.c printbits.c % a.out Decimal 123 is binary << 0 is << 1 is << 2 is << 3 is << 4 is << 5 is << 6 is << 7 is << 8 is << 9 is << 10 is << 11 is << 12 is << 13 is << 14 is << 15 is << 16 is << 17 is << 18 is << 19 is

11 % << 20 is << 21 is << 22 is << 23 is << 24 is << 25 is << 26 is << 27 is << 28 is << 29 is << 30 is << 31 is 数 を 0~31 回右シフト (test14_4.c) test14_4.c 1 main() /* test14_4.c (p.374) */ 2 { 3 int i; 4 5 printf("decimal is binary "); 6 printbits(30000); 7 for (i = 0; i < 32; i++) { 8 printf(" %6d >> %2d is ", >> i, i); 9 printbits(30000 >> i); 10 } 11 } % cc test14_4.c printbits.c 11

12 % a.out Decimal is binary >> 0 is >> 1 is >> 2 is >> 3 is >> 4 is >> 5 is >> 6 is >> 7 is >> 8 is >> 9 is >> 10 is >> 11 is >> 12 is >> 13 is >> 14 is >> 15 is >> 16 is >> 17 is >> 18 is >> 19 is % >> 20 is >> 21 is >> 22 is >> 23 is >> 24 is >> 25 is >> 26 is >> 27 is >> 28 is >> 29 is >> 30 is >> 31 is

13 CPro:05-25 数ー を 0~31 回右シフト (test14_4a.c) test14_4a.c 1 main() /* test14_4a.c */ 2 { 3 int i; 4 5 printf("decimal is binary "); 6 printbits(-30000); 7 for (i = 0; i < 32; i++) { 8 printf(" %6d >> %2d is ", >> i, i); 9 printbits( >> i); 10 } 11 } % cc test14_4a.c printbits.c % a.out Decimal is binary >> 0 is >> 1 is >> 2 is >> 3 is >> 4 is >> 5 is >> 6 is >> 7 is >> 8 is >> 9 is >> 10 is >> 11 is >> 12 is >> 13 is >> 14 is >> 15 is >> 16 is >> 17 is >> 18 is >> 19 is

14 % >> 20 is >> 21 is >> 22 is >> 23 is >> 24 is >> 25 is >> 26 is >> 27 is >> 28 is >> 29 is >> 30 is >> 31 is ビットごとの AND 演算子 演算子 : & (&&: 論理積と間違わないように ) int a = 170; /* */ int b = 240; /* */ int z; z = a & b; z は 160 となる &) AND 演算の真理値表 A B Z

15 AND 演算を用いれば, マスク が実現できる x を &) 0x でマスクすると x すなわち, 下 4ビットのみを取り出せた 2 進化 10 進コード (BCD: Binary Coded Decimal) (10 進数 ) 1 桁ずつ2 進数に (2 進数 ) = 4952(10 進に変換すると ) ビットごとの OR 演算子 演算子 : ( : 論理和と間違わないように ) int a = 170; /* */ int b = 240; /* */ int z; z = a b; z は 250 となる ) OR 演算の真理値表 A B Z

16 ビットごとの XOR 演算子 CPro:05-31 演算子 : ^ int a = 170; /* */ int b = 240; /* */ int z; z = a ^ b; z は 90 となる ^) XOR 演算の真理値表 A B Z XOR(^) を使って,2 つの数を入れ換える (test14_5.c) test14_5.c 1 main() /* test14_5.c (p.379) */ 2 { 3 int x = 0x1234; 4 int y = 0x5678; 5 6 printf("x = %x, y = %x n", x, y); 7 x ^= y; 8 y ^= x; 9 x ^= y; 10 printf("x = %x, y = %x n", x, y); 11 } % cc test14_5.c % a.out x = 1234, y = 5678 x = 5678, y = 1234 % 16

17 14.2 タイプキャスティング 書式 : ( データ型 ) 式 データ型は,int,short,float,double, および自分で定義した型 (struct) およびそれぞれへのポインタ等 式は, 定数, 変数, 演算子を含んだ式など (long)2 (double)(x + y) (struct abc *)z test14_6.c 1 main() /* test14_6.c (p.382) */ 2 { 3 int i; 4 char result; 5 6 i = 65; 7 result = (char)i; 8 9 printf("i is %c n", i); 10 printf("result is %c n", result); 11 } % cc test14_6.c % a.out i is A result is A %

18 14.3 sizeof 演算子 書式 : sizeof( データ型または式 ) sizeof(int) sizeof(x) test14_7.c 1 main() /* test14_7.c (p.384) */ 2 { 3 printf("%d n%d n%d n%d n%d n%d n%d n%d n", 4 sizeof(char), sizeof(int), sizeof(short), 5 sizeof(long), sizeof(float), sizeof(double), 6 sizeof(char *), sizeof(int *)); 7 } % cc test14_7.c % a.out %

19 test14_8.c CPro: /* test14_8.c (p.384) */ 2 struct pencil { 3 int hardness; 4bytes 4 char maker; 1byte 5 int number; 4bytes 6 }; 7 8 main() 9 { 10 int num_of_bytes; 11 struct pencil p0; num_of_bytes = sizeof(p0); 14 printf("structure p0 occupies %d bytes n", num_of_bytes); 15 } % cc test14_8.c % a.out structure p0 occupies 12 bytes % 4+1+4=9にならないのは? 14.4 条件演算子 書式式 1? 式 2 : 式 3 式 1( 条件式 ) を評価し, 真ならば式 2 を, 偽ならば式 3 を値とする (x >= 0)? x : -x 絶対値を返す 19

20 C 言語入門問題集ー若林研究室ー 基本かつ重要問題, 無印 ふつうの問題, 難易度高の問題 ( 略 ) 5-2 整数 n を入力して,1~n までの整数の総和 (= n) を公式を使って計算し, 結果を出力するプログラムを作れ. 5-3 変数 x に値 ( 実数 ) を読み込んで, 式 y = 4 x x /2 の y の値を計算するプログラムを作れ. ( ヒント ) べき乗の計算には, 数学関数ライブラリ中に pow という関数が用意されている. 使い方はオンラインマニュアル (3M 章 ) で調べること. 5-4 つぎの各式を (1) から (8) までプログラム中で順番に評価した値 ( 演算結果 ) を予測せよ. さらに, 実際に計算するプログラムを作って, 予測した結果と合っていたか確認せよ. すなわち, 各式の演算結果 ( 式を評価した値 ) を別の変数に代入し, その変数の値を出力するプログラムを作成すること. ただし, 変数 a, b, c はいずれも整数型とし, 最初は a = 1, b = 5, c = 12 の値が, それぞれ代入されているものとする. (1) a += b == c (2) (a += b) == c (3) a << b (4) c b (5) a > b (6)!b (7) a < b && b < c (8) a & b c ( ヒント ) 算術演算と論理演算が混在していることに注意せよ. C 言語では, 論理値の 真 は 0 以外, 偽 は 0 と決められている, 算術演算と混在して評価した場合, 真 は "1" を返すのが一般的である. 20

21 14-1 つぎのプログラムを実行したときの結果を予想し, 実際に試してみよ. 1 main() 2 { 3 char a; 4 unsigned char b; 5 6 a = b = -2; 7 8 printf("%d n", a >> 1); 9 printf("%d n", b >> 1); 10 } 結果を考察するために, 変数 a および b, またシフトした結果の値のビット列をながめて見られるように, プログラムを修正せよ 整数系の変数 x,y に 16 進定数 x = 0x57db,y = 0xb0f3 をそれぞれ代入し, つぎの各式の演算結果を 16 進で出力するプログラムを作り実行結果を説明せよ. ただし, 変数 x および y を,short 型で宣言した場合と unsigned short 型で宣言した場合, および long 型で宣言した場合とで結果を比較し考察すること. x & y x ^ y x y x << 1 y >> 2 ~x -x ( 単項演算子のマイナス ) 14-3 テキストのプログラム bcd_to_bin 関数 (p.376) の,for ループを j についてのみのループに書き換えて, この関数の動作を説明せよ. 試す値として,4660 と 4654( いずれも10 進 ) を用いて関数を実行させ, 結果を考察せよ. bcd_to_bin(bcd) unsigned int bcd; { } int i, j, k; for (i = j = 0, k = 1; j < 16; j += 4, k *= 10) { i += k * (bcd >> j & 0xf); } return i;

22 14-4 Pro:05-43 テキスト p.380 あたり ( スライド 03-15) で議論されている上位, 下位バイトの問題について,4 バイト整数の場合にどうなるかを,SPARC および Pentium で比較してみよ. 試す数として (10 進 ) を使い, メモリ上の 1 バイトずつの内容を 16 進で順に表示してみること. 結果から, 自分のコンピュータが Little Endian か Big Endian かを考えよ. ( ヒント ) unsigned char 型 (1 バイト ) のポインタが, その整数の変数を指すようにして,1 バイトづつインクリメントして, 中身を 16 進数で表示してみればよい 前問をふまえて,4 バイト整数の上位 下位を入れ換える関数を作れ 浮動小数点型の変数に適当な値 (0.1,0.01,0.001など) を代入し, そのビット列をながめて, 使用しているコンピュータがどのような符号化を用いているかを推測せよ. ( ヒント ) 浮動小数点型の変数の中身のビット列を見るには, その浮動小数点型の変数のアドレスを,unsigned char 型 (1 バイト ) のポインタ変数に 1 バイトずつ代入し, その中身を見てみればよい. 22