C言語復習

Transcription

1 著者 : 大和正武 <yamato@redhat.com> 生成日時 : :59 Copyright 2013 Red Hat, K.K. Copyright 2015 Red Hat, K.K. C 言語復習 The text of and illustrations in this document are licensed by Red Hat under a Creative Commons Attribution Share Alike 3.0 Unported license ("CC-BY-SA"). An explanation of CC-BY-SA is available at In accordance with CC-BY-SA, if you distribute this document or an adaptation of it, you must provide the URL for the original version.

2 概要 書くではなく読むという観点でC 言語の機能を見直す 空白 インデントスタイル 文字列定数の連結 プリプロセッサ (cpp) goto 文 三項演算子 ビット演算を用いたフラッグ操作 否定の否定 スコープ 初期値が明記されていないstatic 変数の値 コマンドライン引数 2

3 空白 区切り文字として * 一つ以上の * スペースやタブが使われる 検索文字列に空白を含めるときに注意する必要がある foo (); /* 関数呼び出し */ このコードを発見するのに例えば "foo()" という検索文字列を使うと 目的のコードに合致しない 3

4 インデントスタイル 書くときはインデントスタイルを統一しましょう と習う 読むときにはインデントスタイルを選べない インデントスタイルに特徴があればより目的に合致した検索文字列を構築できる 例 1 if (a == b) do_something(); else rest(); 例 2 if (a == b) do_something(); 4

5 else rest(); 例 3 if ( a == b ) do_something(); else rest(); 5

6 文字列定数の連結 ダブルクォートで囲まれた文字列を文字列リテラル 文字列定数あるいは固定文字列と呼ぶ 空白で区切られた隣接する 2 つ以上の文字列は連結されて 1 つの文字列定数となる /* concat.c */ const char* str = "abc" "def" "ghi"; printf("=>%s\nb", str); $ gcc concat.c $./a.out =>abcdefghi 画面に出力された文字列の出所を探そうとソースコードツリー中で abcdefghi を検索しても 該当する箇所を発見できない 6

7 プリプロセッサ (cpp) C コンパイラは入力を処理する前にプリプロセッサを呼び出す ソースコードを変形する ファイルの読み込み (#include) マクロ展開 (#define) 書く人にやさしく 読む人に厳しい 検索対象の文字列が変形に由来する場合 ソースコードツリーからは発見できない 7

8 cpp プリプロセスだけの実行 gcc の -E オプションを使うと引数で与えた c ファイルについてプリプロセスだけを実行して結果を標準出力に表示できる $ cat /tmp/foo.c #define x "abc" x $ gcc -E /tmp/foo.c # 1 "/tmp/foo.c" # 1 "< コマンドライン >" # 1 "/tmp/foo.c" "abc" 8

9 cpp 名前の合成 マクロ定義中で ## が使われると 文字列を連結して 変数名 関数名 型名など識別子を合成する /* /tmp/foo.c */ #define def_inc(a) \ static int A; \ inc##a (void) A++; def_inc(x) /* incx, incy 関数が定義される */ def_inc(y) int main(void) incx(); /* ソースコードを呼んでいて incx や incy 関数を発見して */ incx(); /* その定義を探してみつからない */ incy(); 9

10 return x + y; $ gcc -E /tmp/foo.c... 省略 static int x; incx (void) x++; static int y; incy (void) y++; int main(void) incx(); incx(); incy(); return x + y; $ gcc /tmp/foo.c $./a.out 10

11 11 $ echo $? 3

12 cpp マクロによる文字列化 マクロ定義中で マクロ変数の前に # があるとマクロ変数の値が ( ダブルクォートで括られた ) 定数文字列へ展開される /* /tmp/bar.c, taken from ui/gtk/prefs_dlg.c of wireshark */ #include <stdio.h> typedef enum pref_type PREF_UINT, PREF_BOOL, PREF_ENUM, PREF_STRING, PREF_RANGE, PREF_STATIC_TEXT, PREF_UAT, PREF_OBSOLETE, pref_type_t; 12

13 static const char* get_pref_type_string(pref_type_t t) switch (t) #define CASE(T) case PREF_##T: return #T CASE(UINT); CASE(BOOL); CASE(ENUM); CASE(STRING); CASE(RANGE); CASE(STATIC_TEXT); CASE(UAT); CASE(OBSOLETE); default: return "UNKNOWN"; int main(int argc) 13

14 printf("=>%s\n", get_pref_type_string(argc)); return 0; 実行結果 $ gcc /tmp/bar.c gcc /tmp/bar.c $./a.out./a.out =>BOOL $./a.out a./a.out a =>ENUM $./a.out a b./a.out a b =>STRING get_pref_type_string 関数だけを抜粋してマクロ展開した結果 static const char* get_pref_type_string(pref_type_t t) 14

15 switch (t) case PREF_UINT: return "UINT"; case PREF_BOOL: return "BOOL"; case PREF_ENUM: return "ENUM"; case PREF_STRING: return "STRING"; case PREF_RANGE: return "RANGE"; case PREF_STATIC_TEXT: return "STATIC_TEXT"; case PREF_UAT: return "UAT"; case PREF_OBSOLETE: return "OBSOLETE"; default: return "UNKNOWN"; 15

16 goto 文 使用は推奨されていないが 現実には使われている リソースのクリーンアップ処理で特に良く使われる static int net_init netdev_init(struct net *net) INIT_LIST_HEAD(&net->dev_base_head); net->dev_name_head = netdev_create_hash(); if (net->dev_name_head == NULL) goto err_name; net->dev_index_head = netdev_create_hash(); if (net->dev_index_head == NULL) goto err_idx; return 0; err_idx: kfree(net->dev_name_head); 16

17 err_name: return -ENOMEM; /* Taken from linux fc13.x86_64/net/core/dev.c */ 17

18 三項演算子 三項演算子を使った式 D = A? B: C; は A が真のとき B を 偽 (== 0) のとき C を返すという意味になる if 文を使って次のようにも書ける if (A) else D = B; D = C; return の値 if/while などの条件を記述する箇所で良く使われる /* coreutils-8.15/lib/parse-datetime.c */ static int to_hour (long int hours, int meridian) switch (meridian) default: /* Pacify GCC. */ 18

19 case MER24: return 0 <= hours && hours < 24? hours : -1; case MERam: return 0 < hours && hours < 12? hours : hours == 12? 0 : -1; case MERpm: return 0 < hours && hours < 12? hours + 12 : hours == 12? 12 : -1; 19

20 ビット演算を用いたフラッグ操作 ビット演算群を使って正数型 (unsigned int) の変数を フラッグ群として扱う 操作 与えられた変数のn 番目のビットをon(1) あるいはoff(0) に設定する 与えられた変数のn 番目のビットがonかoffか調べる 20

21 ビット演算を用いたフラッグ操作 n 番目のビット を指定する定数 ( マスク値 ) の定義 操作用の定数 ( マスク値 ) を用意していることが多い 定数の定義には #define あるいは enum を用いる enum ; FLAG_X = 1 << 0, /* 0 番目のビット */ FLAG_Y = 1 << 1, /* 1 番目のビット */... FLAG_Z = 1 << n, /* n 番目のビット */ FLAG_0N = FLAG_X FLAG_Z, /* 0 番目と n 番目のビット */ 21

22 ビット演算を用いたフラッグ操作 値の取得 演算子 & が使われる unsigned int var;... if (var & FLAG_X) /* FLAG_X で指定したビットが立っていれば ここへ制御がうつる */... if (var & FLAG_0N) /* FLAG_0N で指定したいずれかのビットが立っていれば ここへ制御がうつる */... 22

23 23 if ((var & FLAG_0N) == FLAG_0N) /* FLAG_0N で指定した両方のビットが立っていれば ここへ制御がうつる */...

24 ビット演算を用いたフラッグ操作 フラッグを上げる 演算子 = が使われる unsigned int var;... var = FLAG_X; 24

25 ビット演算を用いたフラッグ操作 フラッグを下げる 演算子 ~ と &= が使われる unsigned int var;... var &= ~FLAG_X; 25

26 否定の否定 非 0 の値を 1 に 0 をそのまま 0 に変換するのに否定の演算子を 2 つ重ねた式が使われることがある b =!!var これは b =!(var == 0) と同じ意味になる 26

27 スコープ 変数名や関数名が参照されうる範囲のことをスコープと言う C 言語には 狭い順に 3 種類のスコープがある 文内.c ファイル内 プログラム全域 スコープを使うとリーディングの範囲を狭めることができる 27

28 スコープ 文内 文中で定義された変数をローカル変数と呼ぶ ローカル変数の名前は それが定義された文中からのみ参照できる 参照できない例 int main(void) for (int i = 0; i++; i < 10) ; return i; /* for 文で定義された i を参照できない */ 28

29 スコープ 文内 : 複文 と を使うと複数の文をまとめた複文 ( ブロック ) を作れる ブロック中に定義した変数の名前は そのブロック中でのみ参照可能である 関数の仮引数の名前はその関数定義中で参照可能である int foo(int o) int p;... /* o, p が参照可能 */ int q;... /* o, p, q が参照可能 */... /* o, p が参照可能 */ 29

30 スコープ 文内 : ローカル関数宣言 規格化された C 言語の範囲ではローカル関数を定義できない ただし文中で ( 他の箇所で定義された ) 関数を宣言することはできる G_MODULE_EXPORT void plugin_register (void) extern void proto_register_wimaxmacphy (void); proto_register_wimaxmacphy (); G_MODULE_EXPORT void plugin_reg_handoff(void) extern void proto_reg_handoff_wimaxmacphy (void); proto_reg_handoff_wimaxmacphy (); 30

31 スコープ プログラム全域 31.c ファイル内にあって関数定義の外側をトップレベルと呼ぶ /* ここトップレベル */ void foo(void) /* ここはトップレベルではない */ /* ここトップレベル */ トップレベルで static 修飾子無しで定義されている関数あるいは変数の名前はプログラム全域から参照できる 変数名について特に大域変数と呼ぶ ただし参照箇所において その名前が宣言されている必要がある 通常ヘッダファイルにて名前が宣言され 参照箇所を含む.c ファイルはそのヘッダファイルをインクルードする 変数の宣言には extern 修飾子がつけられる ( つけないと定義になってしまう )

32 スコープ.c ファイル内 トップレベルで static 修飾子付きで定義されている関数あるいは変数の名前はその定義のある.c ファイルからだけ参照される static int counter; static void func (void); ファイルローカル変数 あるいはファイルローカル関数と呼ぶことがある 異なる 2 つの.c ファイルで同じ名前のファイルローカル変数があっても その実体 ( 定義 ) は別ものである スコープと関係無いが変数は 0 で初期化される 32

33 スコープ 典型的なスコープの使い分け プログラム全域スコープを持つ関数 ファイルローカル関数 ファイルローカル変数 変数の値の参照 変更 細かい処理の下請け 他の.c ファイルからの依頼 ( 関数呼び出し ) 33

34 スコープ 参照によるスコープの崩壊 スコープにより名前で直接参照できない場合でも ポインタ変数を介してその名前で指し示す定義を参照できてしまう /* bar.h */ void func(int * p); /* bar.c */ static int * pointer; void func(int * p) pointer = p; /* foo.c */ #include "bar.h" 34

35 static int file_private; func(&file_private);... foo.c 中のファイルローカル変数 file_private は 他の.c ファイルから名前では参照できない func 経由で変数のアドレスを渡すことで bar.c からアクセスできてしまう 変数のアドレスを取得する & 単項演算子に注意する 35

36 初期値が明記されていない static 変数の値 初期値が明記されていない static 変数の値は 実行時に実行環境が 0 で塗り潰します static boolean b; static int i; static void* p; は static boolean b = false; static int i = 0; static void* p = NULL; と読み替えることができます 36

37 コマンドライン引数 プログラムの起動引数 ( コマンドライン引数 ) は main 関数に渡される 個数 第 1 引数として渡される int 型 慣例で argc と名付けられる 内容 第 2 引数として渡される char* 型の配列 慣例で argv と名付けられる 37