Visual Studio C26800警告是否为误报？结构化绑定触发问题

问题描述 #

在启用/std:c++latest的最新版Visual Studio 2022中，代码里的std::ranges::equal_range行会触发IntelliSense警告C26800：Use of a moved from object: ''$S2'' (lifetime.1)，具体特征：

• 仅当使用结构化绑定auto [it_lower, it_upper]接收返回值时才会出现该警告，用普通变量接收则无此问题
• 无论基于视图还是其他容器创建的范围，都会触发该警告

代码示例

#include <algorithm>
#include <iostream>
#include <ranges>
#include <vector>

int main()
{
    auto range = std::ranges::iota_view{ 1, 100 };

    auto [it_lower, it_upper] = std::ranges::equal_range(range, 10, {}, {});

    while (it_lower != it_upper) {
        ++it_lower;
    }
}

代码编译、运行均正常，在Clang 17.0.1和x64 MSVC v19.latest编译器下也无问题，现询问该警告是否为误报，代码是否存在实际问题？

解答 #

这是Visual Studio 2022 IntelliSense的误报，你的代码没有实际问题。

原因说明：

• std::ranges::equal_range的返回值是包含两个迭代器的std::ranges::subrange对象，结构化绑定会正确解构该对象并初始化两个迭代器，全程不存在对已移动对象的非法使用
• 该警告是IntelliSense静态分析逻辑在处理范围库结构化绑定时的错误判断，并非代码本身存在内存安全或生命周期问题
• 编译器本身（MSVC v19.latest）编译代码时无报错，其他主流编译器（如Clang 17.0.1）也未检测到问题，进一步验证了代码的正确性

若需消除这个警告，可临时采用以下方式：

• 在触发警告的代码行添加#pragma warning(suppress: 26800)
• 等待Visual Studio后续更新修复该IntelliSense分析bug

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