已知值为正，如何规范转换有符号到无符号类型并消除编译器窄化警告？

已知代码中std::distance(first, second)的结果必定为正，如何在不触发编译器窄化警告的前提下，规范地将这个有符号类型（long int）转换为std::string_view所需的无符号类型（long unsigned int）？

原代码 #

#include <cstdio>
#include <iterator>
#include <string_view>
#include <cstring>

std::string_view foo(const char* token)
{
    const char* first = std::strchr(token, 'H');
    const char* second = std::strchr(first+1, 'W');
    return std::string_view { first, std::distance(first, second) }; // <-- 触发警告的行
}

int main()
{
    const char* hello = "Hello World!";
    const auto view = foo(hello);
    printf("%.*s\n", static_cast<int>(view.size()), view.data());
}

编译器警告信息 #

<source>: In function 'std::string_view foo(const char*)':
<source>:10:51: warning: narrowing conversion of 'std::distance<const char*>(first, second)' from 'std::iterator_traits<const char*>::difference_type' {aka 'long int'} to 'std::basic_string_view<char>::size_type' {aka 'long unsigned int'} [-Wnarrowing]
   10 |     return std::string_view { first, std::distance(first, second) };
      |                           ~~~~~~~~~~~~~^~~~~~~~~~~~~~~

解决方案 #

1. 显式static_cast转换 #

直接将std::distance的结果转换为目标无符号类型，明确告知编译器我们确认转换安全：

return std::string_view { first, static_cast<std::string_view::size_type>(std::distance(first, second)) };

逻辑：窄化警告的本质是编译器默认不允许隐式的有符号到无符号转换（哪怕值为正），显式转换会打消编译器的顾虑——我们已经确认输入值在目标类型的合法范围内。

2. 直接计算指针差值并转换 #

对于指针这种随机访问迭代器，std::distance的底层实现就是指针减法，因此可以直接替换为指针差值后转换：

return std::string_view { first, static_cast<std::string_view::size_type>(second - first) };

逻辑：和std::distance的结果完全等价，减少了一层函数调用，同时显式转换同样能消除警告。

3. C++23：使用std::to_underlying（可选） #

如果项目使用C++23标准，可以配合std::to_underlying完成转换，更强调类型底层值的安全性：

#include <utility> // 需包含此头文件
return std::string_view { first, std::to_underlying(static_cast<std::string_view::size_type>(std::distance(first, second))) };

备注：此方法相对冗余，更适合枚举类型的转换，前两种方法在这个场景下更简洁高效。

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