类型和值的性质