12.3 何谓宏定义