重定义;不同的基类型