15.6 Option类型