c - 通用写入结构指针

Question

6.2.5p28 :

A pointer to void shall have the same representation and alignment requirements as a pointer to a character type.48) Similarly, pointers to qualified or unqualified versions of compatible types shall have the same representation and alignment requirements. All pointers to structure types shall have the same representation and alignment requirements as each other. All pointers to union types shall have the same representation and alignment requirements as each other. Pointers to other types need not have the same representation or alignment requirements.

这是否意味着我可以像这样一般地写入一个结构指针:

struct a_struct;

int 
alloc_struct(struct a_struct **X, size_t Sz)
{
    if ((*X=malloc(Sz))) 
        return 0;
    return -ENOMEM;
}

struct foo{ int x; char buf[32]; };;

int main()
{
    struct foo *foo_p;
    alloc_struct((struct a_struct**)&foo_p, sizeof(*foo_p));
}

Answer 1

因为支持各种别名的成本在平台之间可能有很大差异( float 和整数之间的别名特别昂贵)，并且因为不同类型的应用程序对别名有不同的需求，所以 C89 标准的作者没有努力描述针对任何特定平台或应用程序领域的实现应支持的所有形式。现有的实现已经在有用的情况下支持别名，标准的作者没有理由期望他们停止。

没有理由不能支持高质量的实现 构造如您描述的构造，尤其是在编译器 将能够在函数调用中看到对 struct a_struct** 的转换，并且指针的目标只能通过 struct a_struct** 访问，但一些实现者查看标准的未能强制支持此类结构意味着判断支持此类结构没有好处。

因此，有两种方法可以实现您寻求的语义:(1) 通过读写单个字符来操作指针(在某些情况下，有效类型会使 memcpy/memmove 不安全)，或 (2) 禁用基于类型的别名，并在适当的地方添加 restrict 限定符，使代码比启用基于类型的别名时更高效。