已知有如下定义和输入语句