歧义的类型与利用