C++数组超出范围访问计算指针有效？

Question

int* arr = new int[2];
std::cout << &arr[0x100];

Answer 1

在我的编译器（Cygwin GCC）中，以这个值获取地址与执行指针算术是相同的，尽管它们都是未定义行为(UB)。正如Jens在http://blog.llvm.org/2011/05/what-ever-c-programmer-show-know.html的评论中提到的，我发现以下内容很有帮助。

还值得指出的是，Clang和GCC都确定了C标准未定义的一些行为。根据标准，我将描述的东西都是未定义的，并且在它们的默认模式下，这两个编译器都将其视为未定义的行为。

取消野生指针和越界数组访问：取消随机指针（如NULL、指向空闲内存的指针等）和越界访问数组的特例是C应用程序中常见的bug，希望不需要解释。为了消除这种未定义行为的来源，必须对每个数组访问进行范围检查，并且必须更改ABI，以确保范围信息跟随在任何可能服从指针算术的指针周围。对于许多数值应用程序和其他应用程序来说，这将具有极高的成本，并且破坏了与每个现有C库的二进制兼容性。

    int* arr = new int[2];
    std::cout << arr << std::endl;
    std::cout << &(arr[0])<< std::endl;
    std::cout << &(arr[1])<< std::endl;
    std::cout << &arr[0x100] << std::endl; // UB, cannot be dereferenced
    std::cout << &arr[256] << std::endl;   // cannot be dereferenced, so no use in having it
    std::cout << arr + 0x100; // UB here too, no use in having this address 

0x60003ae50
0x60003ae50
0x60003ae54
0x60003b250
0x60003b250
0x60003b250