带volatile的C风格字符串为何std::cout输出1而printf正常？

这是个很有意思的问题，核心在于C++的重载解析规则，以及volatile限定符对std::cout和printf的不同影响，咱们一步步拆解：

先看std::cout << s的奇怪输出 #

当s被volatile修饰时，数组名s会退化为volatile char*类型的指针。而std::ostream的<<运算符有几个和指针相关的重载：

• 专门用来输出字符串的operator<<(const char*)：但这个重载只认const char*，volatile char*没法直接转成const char*（volatile和const是独立的限定符，不能隐式互相转换），所以这个重载用不了。
• 输出指针地址的operator<<(const void*)：要把volatile char*转成const void*，需要先转成const volatile void*再去掉volatile限定，这是个多步的限定转换。
• 输出布尔值的operator<<(bool)：任何非空指针都能隐式转成bool类型的true，这是一步简单的标准转换。

根据C++的重载解析规则，编译器会优先选择转换步骤更少、优先级更高的重载——这里布尔转换比带限定的指针转换优先级高，所以最终调用的是输出布尔值的重载，非空指针转成true，自然就输出1了。

再看printf为什么能正常工作 #

printf是C标准库的可变参数函数，对于%s格式符，它期望接收一个char*指针。在C++中，把volatile char*传给可变参数时，编译器会做一个限定转换（去掉volatile），把它转成char*（虽然严格来说这属于未定义行为，但GCC这类编译器为了兼容C的行为，会允许这种转换）。所以printf拿到的是指向"test"的正常字符串指针，就能正确输出内容了。

去掉volatile后恢复正常的原因 #

当移除volatile后，数组s退化为char*，它可以隐式转成const char*，正好匹配std::cout输出字符串的重载，所以就能正常打印"test"了。

怎么让带volatile的数组用cout输出字符串？ #

如果想保留volatile同时让cout输出字符串，可以显式转换指针类型：

std::cout << const_cast<const char*>(s) << std::endl;

这个转换是安全的——咱们只是让cout识别它为字符串指针，并没有修改volatile修饰的数组本身的访问语义。

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