如何让std::max_element跳过标记为false的元素？代码修复求助

我有一个存储std::pair<Item, bool>类型元素的std::vector容器，正在实现一个刻意设计的低效贪心搜索逻辑：每次迭代找出最优元素，将其对应的bool标记设为false使其失效，直至所有元素标记均为false。元素的最优值由Item类的GetYield()函数决定。

当前代码如下：

std::vector<std::pair<Item, bool>> items;

while( std::any_of( items.begin(), items.end(),
    []( const auto& item ) { return item.second; } ) )
{
    auto max_element = std::max_element( items.begin(), items.end(),
        [&]( auto& itema, auto& itemb )
        {
                return  itema.second && itemb.second && ( itema.first.GetYield() < itemb.first.GetYield() );
        } );

    max_element->second = false;
}

但代码在第一个元素标记设为false后陷入死循环，反复返回该元素。需要在不删除vector元素的前提下修复这个问题。

问题原因 #

死循环的核心是std::max_element的比较函数逻辑错误：
原比较函数仅当两个元素都处于有效状态（bool标记为true）时，才会比较它们的GetYield()值；只要其中一个元素失效，函数就返回false。这会导致：当第一个元素失效后，max_element在遍历比较时，会把失效元素判定为“不小于”任何有效元素——因为失效元素和有效元素比较时，比较函数返回false，max_element会认为当前候选元素（失效的第一个元素）比有效元素更大，因此每次都返回该失效元素，反复将其标记为false（无实际变化），最终陷入死循环。

修复方案 #

调整max_element的比较函数逻辑，优先保证有效元素被选中，失效元素视为比任何有效元素都“小”。具体逻辑如下：

• 若itema有效、itemb无效：itema更优，比较函数返回false（表示itema不小于itemb）
• 若itema无效、itemb有效：itema更差，比较函数返回true（表示itema小于itemb）
• 若两者都有效：按GetYield()值比较，返回itema.first.GetYield() < itemb.first.GetYield()
• 若两者都无效：返回false（此时循环条件any_of已不满足，不会执行到该逻辑）

修复后的代码：

while( std::any_of( items.begin(), items.end(),
    []( const auto& item ) { return item.second; } ) )
{
    auto max_element = std::max_element( items.begin(), items.end(),
        []( const auto& itema, const auto& itemb )
        {
            // 优先处理有效状态差异
            if (itema.second != itemb.second) {
                // 无效元素比有效元素小，故itema无效时返回true（表示itema < itemb）
                return !itema.second;
            }
            // 两者都有效时，按Yield值比较
            return itema.first.GetYield() < itemb.first.GetYield();
        } );

    max_element->second = false;
}

额外优化点 #

• 比较函数参数改为const auto&，避免不必要的拷贝（原代码的auto&不符合max_element对比较函数的const要求）
• 移除了不必要的[&]捕获，因为比较函数不需要外部变量

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