7.8.2 类型为值对象的派生属性