关于“型”的代码