指称语义：利用globals函数来实现引入外部变量字典