5.4 已知类型