主页 / coding / 问题 / 79597848
Accepted
Fayeure
Asked: 2025-04-29 15:42:10 +0800 CST

使用 alloca 在堆栈上分配 const 成员来初始化结构是否有效？

  • 772

考虑到类型A定义如下：

typedef struct a { const int a; } A;

我知道此代码是有效的：

A * foo = malloc(sizeof *foo); // Allocates uninitialized memory with no effective type
memcpy(foo, &(typeof(*foo)){ .a = 42, }, sizeof *foo); // Effectively initialize the value once

（参见https://stackoverflow.com/a/79012045/13242312）

但是，如果我们希望值位于堆栈而不是堆中，alloca那么使用 而不是是否仍然有效？malloc

用例：我希望函数中有一个返回路径，因此我想在函数范围内定义结果变量

A A_new(void) {
  A * a = alloca(sizeof *a);

  if (/* something */) {
    memcpy(a, &(typeof(*a)){.a = 1}, sizeof *a);
  } else {
    memcpy(a, &(typeof(*a)){.a = 2}, sizeof *a);
  }

  return *a;
}
c

1 个回答

  1. Best Answer

    与 Alloca 没有区别

    是否使用alloca或malloc对相关语义没有影响，除非它alloca不是标准 C 库函数。

    无需担心类型

    通过在准备内存时不使用目标类型，可以避免语义问题const。例如：

    A A_new(void)
{
    typedef typeof (A_new()) T; //  Define type T for brevity.

    void *p = alloca(sizeof (T));
    if (!p) HandleError();

    //  Memory is copied as bytes; the type T has not yet been applied to it.
    if (something)
        memcpy(p, & (T) { . a = 1 }, sizeof (T));
    else
        memcpy(p, & (T) { . a = 2 }, sizeof (T));

    //  Return an object of type T.
    return * (T *) p;
}

    T语句中以类型形式访问内存是由 C 标准定义的，因为通过将对象的字节复制到内存中，return内存已被赋予有效类型，因此可以使用其有效类型进行访问。TT

    无需分配

    您的示例代码并未说明需要使用动态分配，无论是从malloc还是alloca。整个函数体可能只是：

    return (typeof (A_new())) { .a = something ? 1 : 2 };

    我意识到示例代码可能过于简化，因此原始代码中可能不仅仅.a = something ? 1 : 2需要 。但是，仍然可以通过将成员值记录在其自己的对象或没有成员的并行结构中来避免动态分配const，例如：

    A A_new(void)
{
    struct { int a; } Temporary;

    if (something)
        Temporary.a = 1;
    else
        Temporary.a = 2;

    return (typeof (A_new()) { .a = Temporary.a };
}
    • 4

相关问题