void* 铸造得到意外的输出

Question

struct mystruct{
    int* x;
    float *y;
    string *z;
    mystruct(int* a,float* b, string *c): x(a), y(b), z(c){}
};
void* create(){
    int a = 1;
    float b = 2.2;
    string c = "aaa";
    mystruct x(&a, &b, &c);
    void* p = &x;
    return p;
}
void print(void *p){
    mystruct* p1 = static_cast<mystruct*>(p);
    cout << *p1->x  << " " << *p1->y << " "<<*p1->z<< endl;
}
int main(){
    cout << sizeof(mystruct) << endl;
    void* p1 =  create();
    print(p1);
    return 0;
}

代码的输出是这样的：24 1 2.76648e+19 \203\304 ]\303fffff.\204UH\211\345H\201\354\220H\211}\270H\211. 我想是：24 1 2.2 aaa

我猜想 void* 指针转换有问题，但我不知道为什么。有人可以帮忙吗？

Answer 1

你用这个创建了未定义的行为：

void* create(){
    int a = 1;
    float b = 2.2;
    string c = "aaa";
    mystruct x(&a, &b, &c);
    void* p = &x;
    return p;
}

在那里，您使用指向create 的自动存储范围（又名局部变量）中的对象的指针来初始化mystruct。这些对象在返回 create 的那一刻就不再存在，因此指针变得无效。此外，您还将在 create 函数内返回指向 mystruct 自动存储对象的指针。所以这是在未定义行为之上调用未定义行为。

编辑建议的解决方案：

停止在结构中使用指针。无论如何，传递指向int 或float 的指针是没有意义的，因为指针总是大于。如果您传递指针或指向函数的指针，则将通过复制值来传递，但使用指针时会有一个额外的间接步骤。如果您想使用它们来传递函数可以更改值的“引用”，那么传递指向数字类型的指针是有意义的。

传递指向结构的指针也很有意义，这样就不必复制整个结构。

所以我建议你完全摆脱指针。您显然还不了解它们是如何工作的，而且对于您在那里的特定任务，它们无论如何都是错误的工具。