为何Coverity Scan判定解决Undefined变量的‘$data ?? []’为死代码？

问题核心 #

你用$data ?? []作为if条件处理$data未定义的警告，但Coverity Scan判定这段代码为死代码，核心原因是该条件在部分场景下永远无法触发代码块执行，和Coverity的类型推断逻辑直接相关。

为什么会被标记死代码？ #

先拆解$data ?? []在if条件中的实际行为：

• 当$data是非空数组：条件为true，代码块执行；
• 当$data是空数组：条件为false，代码块不执行；
• 当$data未定义：??返回空数组，条件仍为false，代码块不执行；

你遇到警告的场景是$promotions为空数组，此时$data未定义，if ($data ?? [])的条件是false，代码块根本不会运行。Coverity的静态分析会推断出：只有$promotions非空时，$data才会被赋值为非空数组，代码块才会执行；若$promotions为空，代码块永远不会执行。如果你的业务逻辑本想让这段代码处理$data未定义的情况，那当前条件完全达不到目的，Coverity就会判定代码块为死代码。

解决思路 #

1. 提前初始化$data：在函数开头直接定义$data = [];，无论$promotions是否为空，$data都不会出现未定义的情况，既消除警告，也避免死代码标记。

   function addPromotions($promotions) {
       $data = []; // 提前初始化
       foreach ($promotions as $promo) {
           $data[] = $promo; // 业务处理逻辑
       }
       if (!empty($data)) { // 直接判断数组是否非空
           // 你的代码块
       }
   }
   

2. 调整条件逻辑：如果必须保留??语法，且需要判断$data是否存在（不管是否为空），可以写成：

   if (isset($data)) {
       // 代码块
   }
   

   若需要同时处理非空场景，可结合!empty()使用。

关键提醒 #

静态分析工具的类型推断会追踪变量的定义路径，当它发现某个代码分支永远无法进入时，就会标记死代码。你之前的条件逻辑仅在$data非空时生效，未定义和空数组场景都不会触发代码块，这就是Coverity标记的核心原因。

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