4.2 声明与定义