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，我的版本为segfault

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。即使没有，也不能保证它会崩溃。

通过一些错误示例了解memcpy（）的行为

1 个答案: