PHP中赋值$GLOBALS['z4']后return $z4为何提示未定义？

PHP默认对函数局部作用域和全局作用域做了完全隔离，所有的报错都来自对这个基础规则的认知错位，没有什么特殊的隐藏逻辑。

先把核心概念掰明白 #

• $GLOBALS本身是超全局数组，不受作用域访问限制，在代码的任意位置（包括函数内部）都能直接读取。这个数组的本质是存储了所有定义在全局作用域下的变量的键值映射：
  • 你在全局作用域写$z4 = 8，等价于直接给$GLOBALS数组加了个'z4' => 8的键值对
  • 反过来，你在任意位置（哪怕是函数内部）给$GLOBALS['z4']赋值，等价于在全局作用域创建或修改了同名的全局变量$z4
• 这种双向的映射关系绝不会自动把全局变量引入到函数的局部作用域。函数内部查找变量的逻辑非常直接：先在当前局部作用域搜一遍，找不到就直接报未定义，根本不会主动跨到全局环境去帮你找同名变量。

逐行拆解示例2的运行过程 #

你在addition_4()函数里写的$GLOBALS['z4'] = $GLOBALS['x4'] + $GLOBALS['y4'];，实际执行的动作是：

1. 因为$GLOBALS是超全局的，函数内部可以正常访问这个数组，顺利完成$x4和$y4的加法计算
2. 计算结果赋值给$GLOBALS['z4']，这个操作会在全局作用域创建一个叫$z4的全局变量，和你在函数外面直接写$z4 = 8的效果完全没有区别
3. 但此时你仍然处在函数的局部作用域里，这个刚创建的全局$z4根本没有被引入到当前函数的局部环境。你接着写return $z4的时候，PHP在局部作用域翻遍了都找不到叫z4的变量，自然就抛出Undefined variable的Notice。

纠正最常见的认知误区 #

很多人会默认推导：“既然$GLOBALS['z4']有值，说明全局已经存在$z4变量了，那函数里直接用$z4不应该是顺理成章的吗？”
这个推导完全不符合PHP的设计逻辑。PHP之所以强制隔离两个作用域，核心目的就是避免全局变量无限制污染函数内部的运行逻辑——哪怕全局作用域堆了100个变量，不做特殊声明的情况下，函数内部一个都感知不到。

你可以随手做个小验证：在示例2的代码最后（也就是函数调用完成之后）写echo $z4;，会发现这个值可以正常输出。这就证明$z4确实在全局作用域创建成功了，只是函数内部没有权限直接读取它而已。

为什么示例1能正常运行？ #

因为示例1里你返回的是$GLOBALS['z4']，你操作的是超全局数组本身，不是函数内部的局部变量，根本不存在跨作用域访问不到的问题，自然不会报错。

如果想在函数里直接用$z4不报错怎么办？ #

如果不想每次操作全局变量都写长长的$GLOBALS['xxx']，可以在函数内部用global关键字，把需要的全局变量手动引入到局部作用域，这个写法和直接操作$GLOBALS是完全等价的：

function addition_4()
{
    // 把全局的$z4、$x4、$y4映射到当前函数的局部作用域
    global $z4, $x4, $y4;
    $z4 = $x4 + $y4;
    return $z4; // 此时再写$z4就不会触发未定义报错了
}

内容的提问来源于stack exchange，提问作者studentprogrammer2020