c++ - C26486 与 string_view

Question

在启用 C++ 核心指南的情况下在 MSVS 中编译以下代码会产生警告:

C26486 LIFETIMES_FUNCTION_PRECONDITION_VIOLATION - Link to relevant Microsoft Docs

using vec_pair = std::vector<std::pair<const std::string_view, const std::string_view>>;

void foo(const vec_pair& vec_pair) noexcept
{
    for (auto [first, second] : vec_pair) //<---- Warning here
    {
        // do stuff
    }
}

int main()
{
    const vec_pair my_vec_pair { {
        {"yes", "no"},
        {"what", "why"},
        {"salt", "pepper"},
    } };

    foo(my_vec_pair);

    return 0;
}

描述是:

Don't pass a pointer that may be invalid to a function. Parameter 0 '$S1' in call to '<move><std::pair<std::basic_string_view<char,std::char_traits<char> > const ,std::basic_string_view<char,std::char_traits<char> > const > & __ptr64>' may be invalid (lifetime.3).

将 std::string_view 更改为 std::string 没有帮助。也不检查 for 循环前后的 nullptr。

我该如何处理？

Answer 1

这是核心指南检查器中的错误。该错误实际上在于其对元组类类型(例如 std::pair)的结构化绑定(bind)的理解；一个最小的例子是:

#include <utility>
void foo(std::pair<int, int> p) noexcept {
    auto const [x, y] = p;
}

似乎检查员对将发明的变量作为 xvalue 的处理感到困惑；参见案例 2:绑定(bind)类似元组的类型，地址为 Structured binding declaration和 dcl.struct.bind .解决方法是使用 & 的 ref-qualifier，以便将发明的变量视为左值:

#include <utility>
void foo(std::pair<int, int> p) noexcept {
    auto const& [x, y] = p;
    //        ^
}

Live example .

注意:诚然，该解决方法在这种情况下不起作用，因为它违反了 C26445:对 gsl::span 或 std::string_view 的引用可能表明生命周期问题 (gsl. view)。 如果您不能抑制或忽略警告，则必须像过去一样使用 first 和 second。