一个变量可以同时被定义为多种类型吗