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

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

B I U D

H [[]] <br> --

管理者パスワード：

*** チェック用のマクロ

以下のようなマクロを用意してみようと考える.
 DBG_ASSERT(x)              x が成立するか.
 DBG_ASSERT_PTR(p)          アドレスpがRAMとしておかしくないか(NULLはNG)
 DBG_ASSERT_PTR0(p)         アドレスpがRAMとしておかしくないか(NULLはOK)
 DBG_LIMIT(a, mi, ma)       aが[mi,ma]の範囲に収まるか(調度mi,maも含む)
 DBG_EQ(a,b)                aとbが等しいか
 
 DBG_LIM_I(a,mi,ma)         DBG_LIMITのint専用版
 DBG_EQ_I(a,b)              DBG_EQのint専用版
 (同様にlong long,float,double等も)

多少凝ったチェック等も用意してたこともあるが、
（たとえばポインタチェックでアライメントも指定する等）、
使っていて面倒だと、使わなくなったりおざなりな指定になったりするため
結局、そこそこ単純なのだけでいい、というのが結論。


実装例としては(面倒なんで3つだけ)
 #define ERR_ASSERT(x) do {                                                  \
         if (!(x)) {                                                         \
             ERR_PRINTF(("%s (%s): %s, failed.\n", __FILE__, __LINE__, #x)); \
             ERR_ABORT();                                                    \
         }                                                                   \
     } while (0)
 
 #define ERR_ASSERT_PTR(p) do {                                              \
         if (!(ERR_IS_RAM_PTR(p) && err_check_ptr_align(p))) {               \
             ERR_PRINTF(("%s (%s): bad pointer(%s=%#p).\n"                   \
                 , __FILE__, __LINE__, #p, p));                              \
             ERR_ABORT();                                                    \
         }                                                                   \
     } while (0)
 
 #define ERR_LIMIT(a,mi,ma) do {                                             \
         if (!((mi)<=(a)&&(a)<=(ma))) {                                      \
             ERR_STREAM(__FILE__ << " (" << __LINE__ << "): "                \
                       << #a << "=" << (a) << ", out of range["              \
                       << (mi) << ',' << (ma) << "]\n");                     \
             ERR_ABORT();                                                    \
         }                                                                   \
     } while (0)
 
 #ifdef NDEBUG
  #define DBG_ASSERT(x)
  #define DBG_ASSERT_PTR(p)
  #define DBG_LIMIT(a,mi,ma)
 #else
  #define DBG_ASSERT(x)        ERR_ASSERT(x)
  #define DBG_ASSERT_PTR(p)    ERR_ASSERT_PTR(p)
  #define DBG_LIMIT(a,mi,ma)   ERR_LIMIT(a,mi,ma)
 #endif


上記は、ERR_ABORT() がvoid関数であることを前提にしているが
 inline int ERR_ABORT2() { ERR_ABORT(); return 1; }


のようにintを返すように定義でもしておけば、
 #define ERR_ASSERT(x)  (!(x) && (ERR_PRINTF(("%s (%s): %s, failed.\n" \
                                 , __FILE__, __LINE__, #x)), ERR_ABORT2() ) )

のようにもかける. 
生成サイズ的にはさして違いはないだろうけど、記述量的にはシンプルになる.
が、if 文の形のほうがまだわかりやすい、と感じる人も多そうな気はする.


※ void exit(int); の場合
 #define ERR_ABORT2()     (((int (*)(int))exit)( 1 ), 1)

のように無理やりキャストするのも手……だが実際の定義では _&color(#0){_cdecl}; やら &color(#0){_};_declspec _&color(#0){_attribute_};_ の指定もからんでコンパイラごとの違いが面倒かもでinline関数するのが楽かも、と。

凍結する凍結しない

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

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

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