c++ - 为什么 ostream 为定义为 `1` 的字符串打印 `volatile char[]` ？

Question

这个问题在这里已经有了答案:

Why does std::cout convert volatile pointers to bool? (4 个回答)

关闭 8年前。

考虑这个(人工)示例:

#include <cstdio>
#include <iostream>

int main() {
  volatile char test[] = "abc";
  std::printf("%s\n", test);
  std::cout << test << "\n";
}

使用 GCC 编译并运行会得到以下输出:

$ g++ test.cc 
$ ./a.out 
abc
1

如您所见，printf 正确打印字符串，而 cout 打印 1。为什么在这种情况下写入 cout 会产生 1？

Answer 1

operator<< 唯一合适的重载是为bool ，因此数组被转换(通过指针)为bool , 给 true因为它的地址是非空的。这输出为 1除非你使用 std::boolalpha机械手。

它不能使用 const char * 的重载这将输出字符串，或者 const void *这将输出指针值，因为这些转换需要删除 volatile限定符。隐式指针转换可以添加限定符，但不能删除它们。

要输出字符串，你必须抛弃限定符:

std::cout << const_cast<const char*>(test) << "\n";

但请注意，这会产生未定义的行为，因为数组将被访问，就好像它不是 volatile 的一样。

printf是一个老式的可变参数函数，不提供类型安全。 %s说明符使其将参数解释为 const char * ，不管它实际上是什么。