为什么Perl的Devel::Cover会判定部分分支与条件未被覆盖？

• 你当前代码的sort块中使用了三层or连接的比较条件，Devel::Cover需要覆盖每个比较运算符的所有返回分支、以及or逻辑的所有真假组合才能算100%覆盖率，你未覆盖的部分来自两个场景：
  1. 三层逻辑的最后一个lc $a cmp lc $b永远不会被触发：因为%counts的键是唯一的原始元素，$a和$b作为哈希键必然是不同的字符串，所以第二层$a cmp $b永远不会返回0，永远不会走到第三层比较，属于逻辑上的死代码，所以条件覆盖率只有66.6%。
  2. <=>运算符的三个返回值（-1、0、1）未完全覆盖：你当前的测试用例只覆盖了频次相等（返回0）、频次左低于右（返回-1）两种场景，缺少频次左高于右（返回1）的分支，所以分支覆盖率只有50%。

首先建议你调整排序条件的顺序，你的原始需求逻辑有顺序错误：如果优先按区分大小写的字符顺序升序，不区分大小写的比较永远不会触发，更合理的排序顺序应该是频次降序 → 不区分大小写升序 → 区分大小写升序，调整后的代码如下：

my @sorted = sort { 
    $counts{$b} <=> $counts{$a} or lc $a cmp lc $b or $a cmp $b
} keys %counts;

调整后添加两个测试用例即可覆盖所有分支：

# 用例1：覆盖<=>的所有返回值，包含不同频次的元素
is_deeply(['x', 'y', 'z'], [sorted('x','x','x','y','y','z')], '频次不同排序正确');
# 用例2：覆盖lc比较相等后触发区分大小写比较的场景
is_deeply(['Apple', 'apple', 'banana'], [sorted('Apple', 'apple', 'banana', 'Apple', 'apple', 'banana')], '同频次同小写排序正确');

如果不需要调整原有逻辑，可以通过两种方式让Devel::Cover跳过这部分统计：

方式1：运行时加排除参数 #

执行cover命令时添加过滤规则，跳过sort相关的分支和条件统计：

cover -ignore_branch sort -ignore_condition sort

也可以在运行测试时直接通过环境变量配置：

HARNESS_PERL_SWITCHES=-MDevel::Cover=-ignore_branch,sort,-ignore_condition,sort prove -I. test.t

方式2：添加代码注释标记 #

要注意Devel::Cover的不可覆盖标记有严格格式，需要写在对应逻辑的紧前位置：

my @sorted = sort {
    # uncoverable branch true
    # uncoverable branch false
    # uncoverable condition right
    $counts{$b} <=> $counts{$a} or $a cmp $b or lc $a cmp lc $b
} keys %counts;

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