Perl中按值而非索引对数组切片的惯用实现方法是什么？

优化方案说明 #

你当前使用firstidx的实现逻辑是正确的，但由于@steps是预排序的整数数组，线性查找的时间复杂度为O(n)，数组规模较大时性能损耗明显，以下提供两种更高效、更符合Perl惯用风格的实现：

方案1：二分查找（最高效，推荐）

有序数组定位边界最优选择是二分查找，时间复杂度降为O(log n)，推荐使用CPAN模块List::BinarySearch的binsearch_pos方法，和你当前使用List::MoreUtils的成本一致，逻辑完全兼容原有需求：

use List::BinarySearch qw( binsearch_pos );

# 定位第一个大于$min的元素索引，和原逻辑完全对齐
my $min_index = binsearch_pos { $a <=> $b } $min + 1, @steps;
# 边界处理：所有元素都小于等于$min时，min_index等于数组长度，后续切片为空
$min_index = @steps if $min_index < 0;

# 三目运算符合并$limit分支，同时兼容limit超出数组最大值的场景
my $max_index = $limit == -1 
    ? $#steps
    : do {
        my $pos = binsearch_pos { $a <=> $b } $limit, @steps;
        $pos > $#steps ? $#steps : $pos;
    };

# 最终切片，避免索引越界
my @steps_todo = $min_index <= $max_index ? @steps[$min_index .. $max_index] : ();

方案2：保留List::MoreUtils依赖的简洁写法

如果你不想新增CPAN模块依赖，仅调整原有写法使其更符合Perl惯用风格，同时补全边界校验：

use List::MoreUtils qw( firstidx );

my $min_index = firstidx { $_ > $min } @steps;
$min_index = @steps if $min_index == -1;

my $max_index = $limit == -1 ? $#steps : firstidx { $_ >= $limit } @steps;
$max_index = $#steps if $max_index == -1;

my @steps_todo = $min_index <= $max_index ? @steps[$min_index .. $max_index] : ();

这种写法用三目运算符简化了分支判断，同时补全了原有代码未处理的两种边界场景：

• $min大于等于所有数组元素的情况，避免切片索引越界
• $limit大于所有数组元素的情况，保证能取到末尾的元素

方案3：无第三方依赖实现

如果部署环境不能安装额外CPAN模块，可以自己实现轻量二分查找，性能和第三方模块基本一致：

# 自定义二分查找，返回第一个大于等于目标值的索引
sub find_first_ge {
    my ($target, $arr) = @_;
    my ($low, $high) = (0, scalar @$arr);
    while ($low < $high) {
        my $mid = int(($low + $high) / 2);
        $arr->[$mid] >= $target ? ($high = $mid) : ($low = $mid + 1);
    }
    return $low;
}

# 调用逻辑
my $min_index = find_first_ge($min + 1, \@steps);
my $max_index = $limit == -1 ? $#steps : find_first_ge($limit, \@steps);
my @steps_todo = $min_index <= $#steps ? @steps[$min_index .. $max_index] : ();

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