16.5 可空类型（nullable type）