更好的类型转换implicit_cast和down_cast