いきちがいのぷろぐらむあ - PG雑記/assert系マクロ関係のメモ

ページを凍結するにはパスワードが必要です。

B I U D

H [[]] <br> --

管理者パスワード：

*** assert の実装

assertマクロは、例えば、以下のような感じに定義できる.
 #ifdef NDEBUG    // NDEBUG定義時(RELESEコンパイル時)は何もしない.
  #define assert(x)
 #else            // NDEBUG未定儀時(DEBUGコンパイル時)は条件をチェック.
  #define assert(x)   do {                                           \
             if (!(x)) {                                             \
                 printf("Assertion failed: %s, file %s, line %d\n"   \
                        , #x, __FILE__, __LINE__);                   \
                 exit(1); /*abort();*/                               \
             }                                                       \
         } while (0)
 #endif

プリプロセッサ・マクロの記述に慣れてないと？な代物かもしれない.

このマクロ定義では、マクロ記述での基本的な事が結構含まれていて

- #define マクロ定義は1行で記述しなければならず、複数行に別けたい場合は行連結指定の\ を使う必要がある
- if条件式で !x でなく !(x) のように記述するのは、例えば a+1 が指定されると !a+1 のように式の意味が変わってしまって不味いので、それを回避するため。~
のでマクロ引数で''数値(式)''を受け取る場合は、''マクロ中では必ず()をつける''必要がある。
- #x は、マクロ引数の条件式を、出力するために文字列化する.
- _&color(#0){_FILE_};_, _&color(#0){_LINE_};_ はコンパイル時に使われたそのファイル名(文字列)と行番号(整数)に置き換わる特殊なマクロ名.
- {…} でなく、do { … } while (0) で全体を囲っているのは、~
　  if (…) assert(…); else …;~
のように使われた場合に {} のみだと~
　  if(…) {…}; else …;~
になって '';'' else がエラーになるのを回避するため.~
マクロ定義で複文を扱うときの常套句.
//(コーディング規約で絶対にif,while等で{}を付ける、と決めていたとしても、ツールでチェックしているので無い限り、do {} while(0)にすべき)

のようになっている。~
(あと、ここで出ていないマクロ機能関係としては##や _&color(#0){_func_};_ があるが、それらは後述)

※ 隣接文字列定数の連結機能を用いて&br(); "Assertion failed: " #x ", file " _&color(#0){_FILE__}; ", line %d\n"&br();のように書くこともできる.&br();
が、これだと実行時の引数は減るが、assert 毎にデバッグ文字列が作られstaticな文字列が膨れ上がりやすいので、止めておいたほうがいいだろう.

~
なお上記は、動作の雰囲気をみるため、あえて標準ライブラリのみでマクロ内だけで処理を終えているが、実際には
 #define assert(x)  (!(x) && _assert_message(#x,__FILE__,__LINE__))

のような感じに、出力＆プログラムストップ処理をまとめたサブルーチンを用意しているかもしれない。(このほうが、デバッグ処理として生成されるコード量が減るだろう)


~

凍結する凍結しない

テキスト整形のルールを表示する

PG雑記/assert系マクロ関係のメモ の編集・凍結

PG雑記/assert系マクロ関係のメモの編集・凍結