memcpy布尔将无效*

编程问答 2022-06-06

问题描述

我刚刚创建了一个测试函数，其中我必须在void *中传递布尔值，以便我可以在其他函数中对其进行解析并使用它。

但是我被困住了，不知道我应该如何在void *中存储布尔值。

但是当我在另一个功能中对其进行解析时，我总是会得到真实的值。

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

typedef struct {
    int a;
    uint8_t var_data[];
} s;

void parse(s * dummy)
{
    void *var_data = dummy->var_data;
    
    uint8_t *len;
    char type[128];
    bool *leaf;
    for(int i = 0; i < dummy->a; i++)
    {
        len = (uint8_t *)var_data;
        var_data += 1;
        memcpy(type,var_data,*len);
        type[*len] = '\0';
        var_data += *len;
        leaf = (bool *)var_data;
        var_data += 1;
        
        printf("%s\n",type);
        printf("leaf: %s\n\n",leaf ? "true" : "false");
    }
}

int main() 
{
    // Write C code here
    char val[] = "dummy value";
    uint8_t len = strlen(val);
    bool v = false;
    int b = 2;
    int sz = sizeof(s) + b * (sizeof(bool) + len + 1);
    s * dummy = (s *) malloc(sz);
    dummy->a = b;
    void *var = dummy->var_data;
    for(int i = 0; i < dummy->a; i++){
        memcpy(var,&len,1);
        var += 1;
        memcpy(var,val,len);
        var += len;
        memcpy(var,&v,sizeof(bool));
        var += sizeof(bool);
    }
    parse(dummy);
    return 0;
}

身体可以帮助我解决这个问题。

解决方法

var_data未初始化。您应该为var_data分配malloc，并将leaf中的数据复制到其中：

void *var_data = malloc(sizeof(bool));
bool leaf = false;
memcpy(var_data,&leaf,sizeof(bool));

您可以像这样将其投射到bool *：

bool *leaf;
leaf = (bool *) var_data;

此外，您可以递增var_data指针。因此var_data现在指向另一个存储位置。

,

您没有在此行中取消引用leaf：

printf("leaf: %s\n\n",leaf ? "true" : "false");

由于leaf是一个非零的指针，因此在C语言中它将始终为true。您想改为打印*leaf：

printf("leaf: %s\n\n",*leaf ? "true" : "false");

其他一些注释：

  1. void*算术（即var_data += 1）在C语言中是非法的，尽管gcc不会抱怨。使用char*，因为这是应该用于序列化的类型。

  2. 就像其他答案中提到的那样，像现在一样使用指针会导致细微的错误。如果您的指针指向一个地址，并且要取消引用它（读取存储在其中的值），则最好尽早执行此操作，而不要冒险与此位置同时用其他一些代码更改此位置。

    因此，只需将数据从char*数组复制到目标结构（或类似uint8_t的原语）中，然后前进指针即可。

  3. 从技术上讲，允许您在C中强制转换指针的唯一方法是将从强制转换为特定的指针（例如something*）到char*，为了检查它们的内容。您也可以隐式地从void*到memcpy进行强制转换，但前提是您不对指针进行别名（尝试修改基础类型）。朝其他方向进行的任何转换均违反严格的别名，因此应尝试使用const char*来代替。它可能看起来很丑陋，但编译器仍会对其进行优化（see for yourself），您可以放心使用the horrors of aliasing。

  4. 一个好习惯，就是尽可能尝试使用const-correctness，它有助于编译器在您做错事情时发出警告。如果您的函数正在解析数组，则参数应为typedef struct { int len; char * var_data; } example; // note the const keyword - this means this function is // not going to change the struct,only read it void parse(const example * dummy) { // again,pointer to const char const char * var_data = dummy->var_data; // move all variables to the innermost scope for (int i = 0; i < dummy->len; i++) { uint8_t len = 0; memcpy(&len,var_data,sizeof(len)); var_data++; ... } } 。

  5. 最后，如果您的目标是序列化和反序列化结构，也许您应该考虑使用protocol buffers或类似的序列化框架。它是快速，高效，可移植的，而且最重要的是，它已经编写。

所以，像这样：

visit_info.storyboard
booleancmemcpyvoid-pointers