这段代码、数组和指针的输出是什么

Question

我对下面的代码有几个问题。

1. 如果我有某种类型的指针，那么对它使用数组索引意味着什么？在这个例子中，ptr[3] 代表什么（ptr 是某种类型的指针）？

2. 程序的输出应该是to be or not to be (Hamlet)，但我不知道为什么，我的问题是(&ptr2)[3] = str这行，我不明白这行如何改变ptr1的第三个元素数组。

   int main()
   {
    char str[] = "hmmmm...";
    const char *const ptr1[] = {"to be", "or not to be", "that is the question"};
    char *ptr2 = "that is the question";
   
    (&ptr2)[3] = str;
   
    strcpy(str, "(Hamlet)");
    for (int i = 0; i < sizeof(ptr1) / sizeof(*ptr1); ++i)
    {
       printf("%s ", ptr1[i]);
    }
    return 0;
   }
   

使用this 可视化器，我们可以看到ptr1 将指向str，我只是不明白为什么会这样。

帮助表示赞赏。

Answer 1

如果我有某种类型的指针，那么对它使用数组索引意味着什么？在这个例子中，ptr[3] 代表什么（ptr 是某种类型的指针）？

在 C 中，a[i] 是 *(a + i) 的语法糖。这是指针的有效语法，即使它们不指向数组。

程序的输出应该是或不是（哈姆雷特），但我不知道为什么，我的问题在于 (&ptr2)[3] = str 行，我不明白怎么做这一行改变了 ptr1 数组的第三个元素。

(&ptr2)[3] 行不会改变 str1 中的任何内容。它试图访问一个未知的内存位置。

如果你被告知这个程序的输出应该是“to be or not to be (Hamlet)”，那么你被告知错了。