字符串 s； &s+1;合法的？布？

Question

考虑以下代码：

#include <cstdlib>
#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
using namespace std;

int main()
{
    string myAry[] = 
    {
        "Mary",
        "had", 
        "a",
        "Little",
        "Lamb"
    };
    const size_t numStrs = sizeof(myStr)/sizeof(myAry[0]);

    vector<string> myVec(&myAry[0], &myAry[numStrs]);

    copy( myVec.begin(), myVec.end(), ostream_iterator<string>(cout, " "));

    return 0;
}

这里感兴趣的是 &myAry[numStrs]：numStrs 等于 5，因此 &myAry[numStrs] 指向不等于 5 的值存在;数组中的第六元素。上面的代码中还有另一个例子：myVec.end()，它指向向量myVec的末尾一位。获取这个不存在的元素的地址是完全合法的。我们知道string的大小，因此我们知道C风格string数组的第6个元素的地址必须指向哪里。只要我们只计算这个指针而不取消引用它，就可以了。我们甚至可以将它与其他指针进行比较以获得相等性。 STL 在作用于一系列迭代器的算法中始终执行此操作。 end() 迭代器指向末尾，循环在计数器 != end() 时保持循环。

现在考虑一下：

#include <cstdlib>
#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
using namespace std;

int main()
{
    string myStr = "Mary";
    string* myPtr = &myStr;
    vector<string> myVec2(myPtr, &myPtr[1]);

    copy( myVec2.begin(), myVec2.end(), ostream_iterator<string>(cout, " "));   

    return 0;
}

这段代码合法且定义明确吗？将数组元素的地址放在末尾之后是合法且定义良好的，如 &myAry[numStrs] 中所示，因此假装 应该是合法且定义良好的myPtr 也是一个数组？

Answer 1

拥有一个指向数组“超出末尾”的指针是合法的，而不是 UB，并且任何单个对象都可以被视为位于长度为 1 的数组中；但是，由于 &ptr[1] 取消引用然后获取地址的技术性，您需要使用 ptr + 1 来代替。这也适用于 &array[size] 变为 array + size。

您所拥有的将在我所知道的所有平台上按照您的预期工作，但考虑到使用明确正确的形式是多么容易，我认为没有理由不这样做。

Answer 2

C++标准5.6/4“加法运算符”中说：

就这些运算符而言，指向非数组对象的指针的行为与指向长度为 1 的数组的第一个元素的指针相同，对象的类型作为其元素类型。

C99 标准 6.5.6/7 的说法基本相同。