主页 / coding / 问题 / 77602487
Accepted
gulpr
Asked: 2023-12-05 04:50:37 +0800 CST

该函数的行为是否已定义？

  • 772
int *shiftRmemmove(int *arr, size_t size)
{
    if(arr && size)
    {
        memmove(arr + size - 1, arr + size - 2, (size - 1) *sizeof(*arr));
        arr[0] = 0;
    }
    return arr;
}

是否定义为size == 1？它正在计算并传递对第一个元素之前的数组元素的引用。它相当于：memove(arr, arr -1, 0); （©Jabberwocky）

c

3 个回答

  1. 如果arr是指向数组第一个元素的指针，并且如果size是 1，则即使尝试形成地址arr + size - 2也是未定义的行为。C 标准（C23 标准草案 6.5.6 9）对此进行了详细说明：

    当将具有整数类型的表达式添加到指针或从指针中减去时，...如果指针操作数和结果不指向同一数组对象的元素或超出数组对象的最后一个元素，则行为未定义。

    • 5

  2. 正如C 标准ch中提到的。7.24.1 第 2 款（适用于<string.h>- 强调我的所有功能）：

    如果声明为 size_t n 的参数指定函数的数组长度，则调用该函数时 n 的值可以为零。除非在本节中特定函数的描述中另有明确说明，否则此类调用中的指针参数仍应具有有效值，如 7.1.4 中所述。在此类调用中，定位字符的函数未找到任何匹配项，比较两个字符序列的函数返回零，而复制字符的函数则复制零个字符。

    所以您正在拨打电话：

    memove(arr, arr -1, 0);

    其中第二个（指针）参数没有有效值。该标准明确禁止您形成此类指针，因为第 7.1.4 章（由第一个引用指出）提到：

    如果函数的参数具有无效值（例如函数域之外的值，或程序地址空间之外的指针，或空指针，或指向不可修改存储的指针，当相应的参数不是 const 限定的）或具有可变数量参数的函数不期望的类型（在默认参数提升之后），行为是 undefined。

    结论：标准明确禁止这样做。该行为是未定义的。

    • 3
  3. Best Answer

    arr是一个指针，但是，从注释来看，我们打算假设它指向某个 array 的元素 0 A。

    考虑这个表达式arr + size - 2。arr + size是没有争议的；它指向&A[1]，即使A是一个只有 1 个元素的数组，因此它&A[1]是“刚好超出”数组最后一个元素的地址。

    对于arr + size - 2，实际上&A[1] - 2，我们考虑 C 2018 6.5.6 8：

    如果指针操作数指向数组对象的元素，并且数组足够大，则结果指向距原始元素的元素偏移量，使得结果数组元素和原始数组元素的下标之差等于整数表达式。换句话说，如果表达式P指向数组对象的第 i个元素，则表达式(P)+N(等效地，N+(P)) 和(P)-N(其中N值为n ) 分别指向第i + n和第 i − n数组对象的元素，只要它们存在[强调]...

    这段话没有定义结果，&A[1] - 2因为索引为 -1 的数组元素A不存在。仅此一点就足以使行为未定义，因为标准中没有其他内容定义它，并且 C 2018 4 2 告诉我们“本文档中以其他方式指示未定义的行为......通过省略任何明确的行为定义。” 然而，6.5.6 8 继续：

    …如果指针操作数和结果都指向同一个数组对象的元素，或者超过数组对象的最后一个元素，则求值不会产生溢出；否则，行为是未定义的......

    这里，指针操作数 ( &A[1]) 和结果 ( &(A[-1]) 不指向同一数组对象的元素或它后面的元素，因此行为未定义。

    的求值arr + size - 2发生在memmove调用之前，因此是否memmove使用其对应的参数无关紧要；该行为已经是未定义的。

    • 1

相关问题