类型与作用域