C 标准库——

头文件<assert.h>的唯一目的就是提供宏assert的定义；

#include <assert.h>
assert(idx>=0 && idx < sizeof a/sizeof a[0]);
/* a[idx] is now safe*/