memcpy（），未初始化的局部变量

Question

最初，我跑在Ubuntu这个代码和它的工作就好了不用任何警告。 但是，当我在Windows上的VS上运行它时，它说_operand1未初始化。 我想知道它怎么会出错。

我知道不是强制转换malloc的结果，但是VS只会不断抛出警告。

程序应该采用9个字节的char数组。 第一字节代表算术运算，及其他8表示2个整数4字节，每字节（4位数字）。 这是代码：

#include <stdio.h>
#include <string.h>
#include <stdlib.h>

float* calculate(char *, int *, int *);

int main() {

    char buffer[9];

    gets_s(buffer);

    int a, b;

    float* rez = calculate(buffer, &a, &b);

    printf("Operand1: %d, Operand 2: %d\n Result: %f\n", a, b, *rez);

    return 0;
}

float* calculate(char *buffer, int *a, int *b) {
    char operation;
    char *_operand1;
    char *_operand2;

    int operand1, operand2;

    memcpy(_operand1, buffer + 1, sizeof(int));
    _operand2 = (buffer + 5);

    operand1 = atoi(_operand1);
    operand2 = atoi(_operand2);

    operation = buffer[0];

    float *rez = (float *)malloc(sizeof(float));

    switch (operation) {
    case '0':
        *rez = (float)(operand1 + operand2);
        break;
    case '1':
        *rez = (float)(operand1 - operand2);
        break;
    case '2':
        *rez = (float)(operand1 * operand2);
        break;
    case '3':
        *rez = (float)operand1 / operand2;
        break;
    }

    return rez;

}

Answer 1

我真的不知道您会发生什么，但这是100％错误的。

char *_operand1; /* uninitialized */
char *_operand2; /* uninitialized */

int operand1, operand2;

/* _operand1 is still uninitialized... */
memcpy(_operand1, buffer + 1, sizeof(int));

在这里调用memcpy()不会有任何好处。 绝对最佳情况是程序将崩溃。 但是，它可能不会崩溃，这是值得思考的可怕事情……如果没有崩溃，它在做什么？ 它可能正在做您不希望做的事情。

进一步分析

该代码通常非常可疑。

memcpy(_operand1, buffer + 1, sizeof(int));

为什么选择sizeof(int) ？ buffer大概是一个指向字符数组的指针，并且没有特别的理由选择sizeof(int) ，因为结果只是传递给了atoi 。 atoi函数只是使用一个指向以NUL终止的字符数组的指针， sizeof(int)只是atoi 结果的大小而不是输入的大小。

如何运作

这是在不调用未定义行为的情况下如何执行此操作：

char tmp[5];

memcpy(tmp, buffer, 4); // don't use sizeof(int), just use 4
tmp[4] = '\0'; // add NUL terminator
int op0 = atoi(tmp);

memcpy(tmp, buffer + 5, 4);
// NUL terminator already present in tmp
int op1 = atoi(tmp);

请注意，将tmp传递给memcpy ，它将转换为char *类型的指针，该指针指向tmp的第一个元素。 有点像执行以下操作：

char tmp[5];
char *my_ptr = &tmp[0];
memcpy(my_ptr, ...);

您可以看到这与以下内容有何不同：

char *my_ptr; // uninitialized
memcpy(my_ptr, ...);

Answer 2

当我在Windows上的VS上运行它时，它说_operand1未初始化。 我想知道它怎么会出错。

使用未初始化的值会导致未定义的行为，这意味着任何事情都可以发生。 这样就可能出错。

---

我知道不是强制转换malloc的结果，但是VS只会不断抛出警告。

您是否有机会将代码编译为C ++？ 由于C ++不允许从void*进行隐式转换，而C则允许。