4.1.4 空类型