あんまりいいパターンではないとは思いつつ
今書いてるCに契約プログラミングっぽいマクロを入れていってる
#define require_not_null(ptr, ret_val) \
if (is_null(ptr)) { \
return ret_val; \
}
Thread
Login to reply
Replies ()
静的検証までやってほしい（）
静的検証って静的解析のこと？
Coverityやclang-tidyじゃあかんのかな
事前条件とか事後条件とか与えたいじゃないですか
あ、そういうことね
事後条件をマクロで実装しようとしたら、関数とマクロが1対1で必要になる気がするな