c - 这是未定义的行为(使用字符串文字)

Question

#include<stdio.h>

int main()
{ 
   char *s = "Abc";
   
   while(*s)
      printf("%c", *s++);
   
   return 0;
}

我已经(在站点上)看到了正确的代码，但是我认为这是未定义的行为。
我的理由:
这里s存储字符串文字Abc的地址。因此，在遍历while循环时:

迭代-1:
在这里*(s++)将存储在s中的地址递增1，并返回未递增的地址(即s的先前/原始值)。因此，没问题，一切正常，并打印Abc。

迭代-2:
现在，s指向一个完全不同的地址(可能有效或无效)。现在，当尝试执行while(*s)时，它不是undefined behavior吗？

任何帮助将非常感激!

Answer 1

Iteration - 1:

Here *(s++) increments the address stored in s by 1 and returns the non-incremented address (i.e the previous/original value of s). So, no problem everything works fine and Abc is printed.

不，不打印“Abc”。 %c告诉printf期望一个字符值并打印出来。它只打印一个字符，而不是字符串。最初，s指向"Abc"的第一个字符。 s++将其递增以指向下一个字符。

Iteration - 2:

Now s points to a completely different address (which may be either valid or not). Now when trying to perform while(*s) isn't it undefined behavior ?

在迭代2中，s指向“b”。
您可能已经在考虑某些char **p，而*p已设置为指向"abc"的指针。在那种情况下，增加p会将其更改为指向不同的指针(或指向不受控制的内存)，这将会出现问题。事实并非如此;对于char *s，s指向单个字符，并对其进行递增调整以指向下一个字符。