std::string_view与char跨编译器比较结果异常,求GCC合理性及正确方法
GCC处理std::string_view与char比较的行为是否合理?正确比较方式是什么?
#include <iostream> #include <string_view> #include <string> using namespace std::string_view_literals; int main() { const char bar{'a'}; std::string_view sep{"a"sv}; std::cout << sep.compare(&bar) << std::endl; std::cout << sep.compare(std::string_view(&bar)) << std::endl; std::cout << (sep == &bar) << std::endl; std::cout << (sep == std::string_view{&bar}) << std::endl; }
不同编译器运行上述代码的输出差异:
- GCC 9.4、9.5、12.2输出:
-1, -1, 0, 0(调整代码格式可能改变输出结果) - Clang 11输出:
0, 0, 1, 1(输出结果稳定)
GCC的这种行为是未定义行为导致的,并非编译器本身不合理。问题出在代码的错误用法上:
当直接用&bar构造std::string_view却不指定长度时,string_view会默认将该指针视为C风格字符串,从指针位置开始读取直到遇到'\0'终止符。但bar是单个char变量,它后面的内存内容是未定义的(可能是随机值,也可能是编译器插入的填充字节),不同内存布局下构造出的string_view实际包含的内容长度、字符都不确定,这直接导致比较结果不稳定——甚至调整代码格式改变内存布局,都会让输出变化。而Clang输出稳定只是巧合,它恰好让bar后的第一个字节是'\0',但这同样属于未定义行为,不能依赖。
正确比较std::string_view与单个char的方式有以下几种:
- 构造
string_view时明确指定长度为1:
确保构造出的std::string_view(&bar, 1)string_view仅包含bar这一个字符,不会越界读取内存。 - 直接比较
string_view的第一个字符(需先确保string_view非空):!sep.empty() && sep.front() == bar - 将
char转换为长度为1的string_view后再比较:sep == std::string_view{&bar, 1}
内容的提问来源于stack exchange,提问作者Wieland
相关产品推荐
相关产品推荐

