与变量和类型有关的扩展