Realloc 分配的内存比请求的多

Question

我对以下功能有疑问。

当我尝试realloc() 记忆时，我得到的比我实际要求的要多！

在这种情况下，我尝试连接 2 个字符串，一个是 14 个字符长，一个是 11 个字符长，但最终结果是 memTemp 是 38 个字符长，即使 memNewSize 显示它在事实 25，有人知道该怎么做吗？

int dstring_concatenate(DString* destination, DString source)
{
    assert(destination != NULL); // Precondition: destination ar ej NULL
    assert(*destination != NULL); // Precondition: *destination ar ej NULL
    assert(source != NULL); // Precondition: source ar ej NULL
    //Dstring looks like this = "typedef char* Dstring;"

    int memNewSize = strlen(*destination) + strlen(source);
    char *memTemp;
    memTemp = (char*)realloc(memTemp, sizeof(char) * memNewSize);

    printf("%d\n", memNewSize);
    printf("%d\n", strlen(memTemp));

    if(memTemp == NULL)
    {
        printf("Could not allocate new memory.\n");
        return 0;
    }
    else
    {
        *destination = memTemp;
        strcat(*destination, source);
        return 1;
    }
}

Answer 1

这里的问题是，realloc() 仅在（正确）上工作

• 分配器函数之前返回的指针
• NULL 指针。

引用C11，第 7.22.3.5 章

如果ptr 是空指针，则realloc 函数的行为类似于malloc 函数 指定size。否则，如果ptr 与内存先前返回的指针不匹配 管理功能，或者如果空间已通过调用 free 或 realloc 函数，行为未定义。 [....]

在您的情况下，memTemp（作为自动存储局部范围的变量）只是一个未初始化的指针，具有 不确定值，指向 谁知道 地址！甚至不能保证是NULL。所以，你只有undefined behavior。

只是猜测：可能您打算用传入的*destination 初始化memTemp？

---

也就是说，正如实际问题下的 cmets 所指出的那样，

• realloc() 中提供的大小乘数应该是 memNewSize + 1 才能容纳空终止符。
• sizeof(char) 在 C 中保证为 1，因此将其用作乘数是多余的。

Answer 2

好的，我搞定了，非常感谢大家！下面更新了代码。

int dstring_concatenate(DString* destination, DString source)
{
    assert(destination != NULL); // Precondition: destination ar ej NULL
    assert(*destination != NULL); // Precondition: *destination ar ej NULL
    assert(source != NULL); // Precondition: source ar ej NULL
    // Dstring look like this = "typedef char* Dstring;"

    int memNewSize = strlen(*destination) + strlen(source);
    char *memTemp;
    memTemp = (char*)realloc(*destination, sizeof(char) * memNewSize+1);

    if(memTemp == NULL)
    {
        printf("Could not allocate new memory.\n");
        return 0;
    }
    else
    {
        *destination = memTemp;
        strcat(*destination, source);
        return 1;
    }
}