c - 通过一些错误示例了解 memcpy() 的行为

Question

我正在尝试编写memcpy的实现。 这是它的样子:

void *ft_memcpy(void *s1, const void *s2, size_t n)
{
    size_t i;  
    i = 0;
    while (i < n)
    {
        ((unsigned char *)s1)[i] = ((unsigned char *)s2)[i];
        i++;
    }
    return (s1);
}

它主要以 string.h memcpy 的方式工作，除了一些错误情况:

memcpy(NULL, NULL, 256)

原来的memcpy返回NULL，我的版本出现段错误

void    test_memcpy()
{
    int  array[512] = {0};
    char byte_array[512];
    memcpy(byte_array, array, sizeof(array));
}

这里的原始memcpy以zsh: abort结尾，我的版本工作正常。 这种情况会调用未定义的行为，但在一个系统/编译器上我想它应该是相同的，但事实并非如此。谁能解释一下为什么会有这种不同？

Answer 1

当您调用undefined behavior时，您无法预测程序将如何运行。它可能会崩溃，可能会输出奇怪的结果，或者可能看起来工作正常。此外，看似不相关的更改(例如添加未使用的变量或调用 printf 进行调试)可能会改变未定义行为的表现方式。

在test_memcpy的情况下，memcpy将写入超过byte_array的末尾，因为您给它的大小太大。如果调用 ft_memcpy 也会发生同样的情况。两者都是未定义的行为，并且它们不需要以相同的方式表现。

为前两个参数传递NULL指针也是如此。 ft_memcpy 会调用未定义的行为，因为它尝试取消引用两个指针。至于memcpy，实现在执行任何操作之前可能会也可能不会检查NULL。即使没有，也不能保证它会崩溃。