能否嵌套定义