C++ - unsigned long long 到有符号 long long 的隐式转换？

Question

clang-tidy 12.0.1 报告了一个相当奇怪的警告。在以下代码中:

#include <vector>

int main()
{
    std::vector<int> v1;

    const auto a = v1.begin() + v1.size();

    return 0;
}

我看到这个警告被触发了:

error: narrowing conversion from 'std::vector<int>::size_type' (aka 'unsigned long long') to signed type 'std::_Vector_iterator<std::_Vector_val<std::_Simple_types<int>>>::difference_type' (aka 'long long') is implementation-defined [bugprone-narrowing-conversions,cppcoreguidelines-narrowing-conversions,-warnings-as-errors]
    const auto a = v1.begin() + v1.size();
                                ^

据我了解，当操作两个大小相同但符号不同的整数时，有符号整数会转换为无符号整数，而不是相反。我在这里遗漏了什么吗？

Answer 1

从 C++20 开始，一个简单的修复方法是使用 std::sszie :

const auto a = v1.begin() + std::ssize(v1);