#include <assert.h> int getNumberOfDays(int month) { assert(1 <= month && month <= 12); /* うるう年は無視 */ static int days[12] = { 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 }; return days[month - 1]; } ここでは、変数monthが1~12の間にあることを条件として指定しています。 プログラム実行時にassertに指定された条件を満足していないと、その時点で