为什么在一种情况下会收到带有字符串文字的不推荐使用的转换警告，而在另一种情况下却没有？

Question

我正在学习 C++。在这里显示的程序中，据我所知，str1 和str2 存储每个相关字符串的第一个字符的地址：

#include <iostream>
using namespace std;

int main() 
{
    char str1[]="hello";
    char *str2="world";
    cout<<str1<<endl;
    cout<<str2<<endl;
}

但是，str1 没有给出任何警告，而 str2 我收到了这个警告：

warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
     char *str2="world";

这两个声明在第二种情况下导致警告而不是第一种情况有什么不同？

Answer 1

当你写作时

char str1[] = "hello";

您是说“请给我一个包含字符串"hello" 的chars 数组，并请选择数组str1 的大小作为初始化它的字符串的大小。”这意味着str1 最终存储了它自己的字符串"hello" 的唯一副本。 str1 的最终类型是 char[6] - 五个用于hello，一个用于空终止符。

当你写作时

char *str2 = "world";

您是在说“请给我一个类型为 char * 的指针，它指向字符串文字 "world"。”字符串文字"world" 的类型为const char[6] - 它是一个由六个字符组成的数组（五个用于hello，一个用于空终止符），重要的是这些字符是const 并且不能被修改。由于您使用char * 指针指向该数组，因此您将丢失const 修饰符，这意味着您现在（不安全地）拥有指向const 数据位的非const 指针。

这里情况不同的原因是，在第一种情况下，您获得了字符串"hello" 的副本，因此您的数组不是const 的事实是'一个问题。在第二种情况下，您没有获得"hello" 的副本，而是获得了指向它的指针，并且由于您获得了指向它的指针，因此担心修改它可能是一个真正的问题。

换一种说法，在第一种情况下，您会得到一个由六个字符组成的诚实的数组，其中包含 hello 的副本，因此如果您决定去改变这些字符也没问题.在第二种情况下，您将获得一个指针，该指针指向您不应该修改的六个字符的数组，但您使用的指针允许您改变事物。

那么为什么"world" 是const char[6]？作为对许多系统的优化，编译器只会将"world" 的一个副本放入程序中，并使文字"world" 的所有副本指向内存中完全相同的字符串。这很好，只要您不更改该字符串的内容。 C++ 语言通过说这些字符是const 来强制执行这一点，因此对它们进行变异会导致未定义的行为。在某些系统上，这种未定义的行为会导致诸如“哇，我的字符串文字中的值错误！”之类的事情，而在其他系统中，它可能只是段错误。

Answer 2

问题是您正在尝试将字符串文字（类型为 const char*）转换为 char*。