C.3 为什么类型提示很有用