マクロ定義内で使用できる「検証式」の目的はどれか。

渡された引数が期待される形式や値であるかをチェックするために使用します。