通过结束指针取消对数组类型的引用

Question

在C++中是否很好地定义了取消引用指向数组类型的一个结束指针？

请考虑以下代码：

#include <cassert>
#include <iterator>

int main()
{
    // An array of ints
    int my_array[] = { 1, 2, 3 };

    // Pointer to the array
    using array_ptr_t = int(*)[3];
    array_ptr_t my_array_ptr = &my_array;

    // Pointer one-past-the-end of the array
    array_ptr_t my_past_end = my_array_ptr + 1;

    // Is this valid?
    auto is_this_valid = *my_past_end;

    // Seems to yield one-past-the-end of my_array
    assert(is_this_valid == std::end(my_array));
}

通常的看法是，取消引用一个经过一个结束的指针是一种未定义的行为。但是，这对于指向数组类型的指针是否成立呢？

编辑：这个问题不是通过下标获取一个数组元素的地址的重复：根据C++标准是否合法？我在问问题中解释的规则是否也适用于指向数组类型的指针。

编辑2：删除auto以明确表示my_array_ptr不是int*。

Answer 1

这里是CWG232。这个问题看起来主要是关于取消引用空指针的问题，但从根本上讲，它是关于取消引用不指向对象的东西的意思。关于这个案例没有明确的语言规则。

其中一个例子是：

类似地，只要不使用值，就应该允许取消引用指向数组末尾的指针：

char a[10];
char *b = &a[10];   // equivalent to "char *b = &*(a+10);"

这与OP（上述表达式的A[10]部分）基本相同，只是使用char而不是数组类型。

通常的看法是，取消引用一个经过一个结束的指针是一种未定义的行为。但是，这对于指向数组类型的指针是否成立呢？

基于是哪种指针的规则没有区别。my_past_end是一个pass-the-end指针，因此UB是否取消引用它并不取决于它指向一个数组，而不是任何其他类型。