C语言中指针的「指向」是否存在限制？

咱们先从你提到的Prata的《Programming Language C》第6版里的内容说起：

C guarantees that when it allocates space for an array, a pointer to the first location after the end of the array is a valid pointer.

接下来咱们拆解你的两个疑问：

1. 首先说第一个问题：「指针能指向任意地址吗？」
   其实这里要分清语法允许赋值和标准认可合法操作是两回事。语法上，你确实能给指针赋任意地址值，比如你写的这段代码：

#include <stdio.h>

int main(void) {
    int m[10] = {0,1,2,3,4,5,6,7,8,9};
    int * p = m + 100;
    return 0;
}

编译器通常不会直接报错，但这绝不代表这个p是“合法可用”的指针。
C标准只认两类和数组相关的有效指针：一是指向数组某个元素的指针，二是指向数组末尾之后第一个位置的指针（也就是Prata书里说的那种）。超出这个范围的指针，哪怕你成功赋值了，对它进行的大多数操作（比如解引用*p、和非同数组系列的指针比较）都是未定义行为——标准不保证任何结果，可能看起来啥都没发生，可能程序直接崩溃，甚至可能出现完全离谱的奇怪现象，全看编译器和运行环境的“心情”。

2. 然后是第二个问题：「为什么这段代码没报错？」
   这得说回C语言的设计思路——它默认信任程序员，不会主动做太严格的静态检查。这段代码在语法上是完全合规的，所以编译器会顺利通过编译，但它的语义是违反C标准的未定义行为。
   如果你开启了更严格的编译警告（比如-Wall -Wextra这类参数），有些编译器会提示你可能存在越界问题，但默认情况下编译器不会拦着你。记住一个核心点：编译通过≠代码合法，没报错≠行为正确。

简单总结下：指针不是想指哪就指哪，标准给它划了安全的“活动范围”，超出范围的指针，你可以声明赋值，但不能随便操作，否则就是在踩未定义行为的雷区。

内容来源于stack exchange