理解“未定义偏移”错误
在PHP中，当你尝试给一个尚未存在的变量或数组键赋值时，PHP通常会自动创建它。例如，$array['key'] = 'value'; 在$array或$array['key']不存在时，会自动创建它们。然而，这种“自动创建”的机制并不适用于所有操作，尤其是那些需要先读取变量值的操作，例如递增运算符++。
递增操作符$var++的本质是$var = $var + 1。这意味着在执行赋值操作之前，PHP会尝试计算右侧表达式$var + 1的值。如果此时$var（或多维数组中的某个键）尚未被定义，PHP就会尝试读取一个不存在的值，从而抛出E_NOTICE级别的“未定义偏移”（Undefined offset）或“未定义索引”（Undefined index）错误。尽管这是一个通知级别的错误，但在生产环境中大量出现时，会严重影响日志可读性和应用性能。
这个问题在PHP 5向PHP 7升级时变得尤为突出，因为PHP 7对错误报告和严格性有所加强，使得这类潜在问题更容易被发现和暴露。
PHP 7 的解决方案：空合并赋值运算符 ??=
为了优雅地解决对未初始化数组元素进行递增操作的问题，PHP 7引入了空合并赋值运算符??=（Null Coalescing Assignment Operator）。这个运算符提供了一种简洁的方式来初始化变量或数组键，仅当它们为null或未定义时才进行赋值，而不会覆盖已有的非null值。
立即学习“PHP免费学习笔记（深入）”；
其语法为：
$variable ??= $default_value;
这等价于：
if (!isset($variable)) {
$variable = $default_value;
}
// 或者更精确地等价于：
$variable = $variable ?? $default_value;当我们需要对一个可能不存在的多维数组元素进行数值递增时，可以先使用??=将其初始化为0，然后再进行递增。这样就避免了在读取时出现未定义错误。
示例：安全递增多维数组元素
假设我们有一个多维数组 $childs_classroom，结构为 $childs_classroom[classroom][week][day_of_week]，我们需要统计某个特定日期某个班级的使用次数。
<?php // 模拟数据：教室ID，周数，星期几 $classroom_id = 0; $week_number = 10; $day_of_week = 3; // 初始化多维数组，确保最深层元素存在且为数值 // 使用 ??= 运算符，如果该键不存在或为null，则初始化为0 $childs_classroom[$classroom_id][$week_number][$day_of_week] ??= 0; // 现在可以安全地递增该元素了 $childs_classroom[$classroom_id][$week_number][$day_of_week]++; echo "第一次递增后:\n"; var_dump($childs_classroom); echo "\n-------------------\n\n"; // 再次递增同一个元素 $childs_classroom[$classroom_id][$week_number][$day_of_week] ??= 0; // 此时不会改变其值，因为已存在且非null $childs_classroom[$classroom_id][$week_number][$day_of_week]++; echo "第二次递增后:\n"; var_dump($childs_classroom); // 尝试递增另一个新的元素 $new_classroom_id = 1; $new_week_number = 5; $new_day_of_week = 1; $childs_classroom[$new_classroom_id][$new_week_number][$new_day_of_week] ??= 0; $childs_classroom[$new_classroom_id][$new_week_number][$new_day_of_week]++; echo "\n-------------------\n\n"; echo "递增新元素后:\n"; var_dump($childs_classroom); ?>
代码输出：
第一次递增后:
array(1) {
[0]=>
array(1) {
[10]=>
array(1) {
[3]=>
int(1)
}
}
}
-------------------
第二次递增后:
array(1) {
[0]=>
array(1) {
[10]=>
array(1) {
[3]=>
int(2)
}
}
}
-------------------
递增新元素后:
array(2) {
[0]=>
array(1) {
[10]=>
array(1) {
[3]=>
int(2)
}
}
[1]=>
array(1) {
[5]=>
array(1) {
[1]=>
int(1)
}
}
}从输出可以看出，$childs_classroom[0][10][3] 在第一次递增后变为 1，第二次递增后变为 2。新的元素 $childs_classroom[1][5][1] 也被成功初始化并递增为 1。整个过程中，没有产生任何“未定义偏移”的通知或错误。
注意事项与最佳实践
-
PHP 版本要求: ??= 运算符是 PHP 7.0 及以上版本才支持的特性。如果你的项目仍在使用 PHP 5.x 或更早版本，则需要采用传统的 isset() 检查或三元运算符来替代，例如：
// PHP 5.x 兼容写法 if (!isset($childs_classroom[$classroom_id][$week_number][$day_of_week])) { $childs_classroom[$classroom_id][$week_number][$day_of_week] = 0; } $childs_classroom[$classroom_id][$week_number][$day_of_week]++;或者使用更紧凑的三元运算符（但可读性稍差）：
$childs_classroom[$classroom_id][$week_number][$day_of_week] = isset($childs_classroom[$classroom_id][$week_number][$day_of_week]) ? $childs_classroom[$classroom_id][$week_number][$day_of_week] + 1 : 1; // 如果初始值为0，则直接设置为1显然，??= 提供了更简洁、更现代的语法。
默认值选择: 在本例中，我们选择 0 作为默认值，因为我们是要进行数值递增。如果你的场景是字符串拼接或数组合并，则应选择相应的默认值（例如空字符串 '' 或空数组 []）。
-
多维数组的层级创建: ??= 运算符只会检查并初始化其直接操作的那个键。如果 $childs_classroom 本身未定义，或者 $childs_classroom[$classroom_id] 未定义，那么 $childs_classroom[$classroom_id][$week_number][$day_of_week] ??= 0; 仍然会引发错误。在处理完全未知的多维数组路径时，需要确保中间层级的数组也被正确初始化。通常，在实际应用中，我们会确保最外层数组是存在的，而内部层级则可能根据需要动态创建。 例如，更严谨的做法是：
// 确保各层级数组存在 $childs_classroom[$classroom_id] = $childs_classroom[$classroom_id] ?? []; $childs_classroom[$classroom_id][$week_number] = $childs_classroom[$classroom_id][$week_number] ?? []; // 然后再操作最内层 $childs_classroom[$classroom_id][$week_number][$day_of_week] ??= 0; $childs_classroom[$classroom_id][$week_number][$day_of_week]++;
但对于递增操作，如果只需要最内层的值是数字，且中间层级在第一次访问时自动创建数组，那么直接使用$array['a']['b']['c'] ??= 0; 是可以的，因为PHP在尝试访问$array['a']['b']['c']时，如果$array['a']或$array['a']['b']不存在，会自动将其创建为空数组。
总结
PHP 7的空合并赋值运算符??=是处理多维数组元素初始化和递增操作的强大工具。它不仅使代码更加简洁、可读，而且有效避免了因尝试操作未定义变量而导致的“未定义偏移”或“未定义索引”错误。通过掌握并应用这一特性，开发者可以编写出更健壮、更现代的PHP代码。在进行类似计数或累加的场景时，务必考虑使用??=来确保数据的安全初始化。
