23

在我们的代码中，我们曾经有这样的东西：

   *(controller->bigstruct) = ( struct bigstruct ){ 0 };

这曾经很好用，然后我们升级了 GCC 版本，突然开始看到堆栈溢出。查看程序集，旧的 GCC 代码（2.x）基本上是这样做的：

memset(controller->bigstruct, 0, sizeof(struct bigstruct));

新的 GCC (3.4.x) 正在这样做

   struct bigstruct temp = { 0 };
   controller->bigstruct = temp;

在查看了 C99 规范后，我明白了原因；C99 基本上要求堆栈上存在匿名结构。这是一个很好的概念，但这个结构有 4 MB 大，而且只打算存在于堆上！

我们已经使用了我们自己的“初始化”函数来显式设置成员，但这很丑陋并且令人头疼。我不认为 memset 是一个合适的解决方案，因为我不知道 0 的位值是该类型的适当零值（挑剔，我知道，但你在那里；我不介意编译器会这样做，因为它可以知道）

初始化这样的大型结构的“正确”或至少最好的方法是什么？

进一步澄清为什么我认为 memset 不是解决方案： 未显式初始化的成员的初始化规则与静态初始化相同，如下所示： - 如果它具有指针类型，则将其初始化为空指针；- 如果它具有算术类型，则将其初始化为（正或无符号）零；...

'memset' 会将内存设置为位模式零，这不一定是同一件事。想象一个不使用 IEEE 浮点数的系统。不寻常，但由 C 支持。 0.0 的表示不一定意味着“所有位为零”，它可以是处理器方便的任何东西。

4

6 回答 6

21

memset 是要走的路。你没有很多选择。

执行以下操作：

#define InitStruct(var, type) type var; memset(&var, 0, sizeof(type))

这样您只需：

InitStruct(st, BigStruct);

然后像往常一样使用 st ......

我不明白“0”如何不是结构的有效“0”类型。“大规模初始化”结构的唯一方法是将其所有内存设置为一个值；否则，您将不得不制定额外的逻辑来告诉它为每个成员使用特定的位模式。要使用的最佳“通用”位模式是 0。

此外 - 这与您在执行时使用的逻辑相同

*(controller->bigstruct) = *( struct bigstruct ){ 0 };

因此，我不明白您不愿意使用它:)

这篇文章的第一条评论让我在打电话给他和白痴​​之前做了一些研究，我发现了这个：

http://www.lysator.liu.se/c/c-faq/c-1.html

很有意思; 如果我可以投票评论我会:)

话虽如此 - 如果您想针对具有非 0 空值的古老架构，您唯一的选择仍然是对某些成员进行手动初始化。

感谢托马斯·帕德伦-麦卡锡！我今天学了些新东西 ：）

于 2008-10-07T06:38:52.607 回答
5

如果您不想使用 memset，您始终可以声明结构的静态副本并使用 memcpy，这将提供类似的性能。这将为您的程序增加 4 兆，但可能比设置单个元素更好。

也就是说，如果 GCC 使用 memset，并且之前已经足够好，我建议它现在已经足够好了。

于 2008-10-07T06:38:39.753 回答
4

私有初始化函数并不丑陋，而是一种初始化对象（结构）的好 OO 方式。我假设您的结构不是 4MB 的指针，所以我假设解决方案应该是这样的：

void init_big_struct(struct bigstruct *s)  
{  
    memset(s, 0, sizeof(struct bigstruct));  
    s->some_pointer = NULL; // Multiply this as needed  
}

另一方面，我们的代码运行在 20 多个嵌入式操作系统和大量不同的硬件上，仅使用结构的 memset 就不会遇到任何问题。

于 2008-10-07T07:08:42.733 回答
4

正如其他人所说，memset 是要走的路。但是，不要在 C++ 对象上使用 memset，尤其是那些具有虚拟方法的对象。这sizeof( foo )将包括虚函数指针表，并且对其进行 memset 将导致严重的悲痛。

如果 memset 本身不能解决问题，只需执行一个 memset，然后初始化任何应该为非零的成员（即您的非 IEEE 浮点值）。

于 2008-10-07T10:54:57.880 回答
0

许多人谈论 memset 而没有谈论calloc。我宁愿使用为这个用例设计的 calloc （如果我错了请评论）：

calloc() 函数为每个大小为字节的 nmemb 元素数组分配内存，并返回一个指向已分配内存的指针。内存设置为零。如果 nmemb 或 size 为 0，则 calloc() 返回 NULL 或稍后可以成功传递给 free() 的唯一指针值。

例子：

#include <stdlib.h> // calloc header
#include <stdio.h> // printf header

void    *init_heap_array(int elem_nb, int elem_size) {
    void *ptr;

    if (!(ptr = calloc(elem_nb, elem_size)))
        return NULL;

    return ptr;
}

void    set_int_value_at_index(int *ptr, int value, int i) {
    ptr[i] = value;
}

void    print_int_array_until(int *ptr, const int until) {
    for (int i = 0; i < until; i++)
        printf("%02d ", ptr[i]);
    putchar('\n');
}

int     main(void) {
    const int array_len = 300000;
    int *n;

    if (!(n = init_heap_array(array_len, sizeof(int))))
        return 1;    

    print_int_array_until(n, 5);
    set_int_value_at_index(n, 42, 1);
    print_int_array_until(n, 5);

    return 0;
}
于 2020-04-24T16:44:09.880 回答
-2

嗯 - 首先创建一个 init 函数并明确设置每个成员是正确的 - 它是 OO 语言中构造函数的工作方式。

第二 - 有人知道实现非 IEEE 浮点数的硬件吗？- 也许 Commodore 64 或类似的东西 ;-)

于 2008-10-07T06:57:21.073 回答