09类型推断和联合类型