sizeof 运算符在 c 中显示错误的结构大小

Question

拥有这个简单的代码：

#include <stdio.h>

typedef struct
{
    int a;
    char c;
} foo;

void func(void *arg)
{
    printf("sizeof arg: %ld\n", sizeof(*arg));
}

int main()
{
    foo f = {6, 'c'};
    func(&f);

    printf("the real sizeof struct foo: %ld\n", sizeof(f));
}

输出：

sizeof arg: 1
the real sizeof struct foo: 8

如您所见，该函数显示错误的结果。如果原因是invalid application of ‘sizeof’ to incomplete type，那为什么会显示sizeof arg: 1？ void 不是 1 字节长，而是不完整的类型，那为什么会是这个结果呢？

Answer 1

您正试图获得 C 标准不允许的 void 的大小。但是，某些实现将 sizeof(void) 定义为 1，这就是您在此处看到的。

函数无法知道你传递给它的void *实际上是foo *。您将需要其他方式来传达该信息。

Answer 2

此声明

printf("sizeof arg: %ld\n", sizeof(*arg));

不正确。表达式*arg 具有不完整类型void。你需要写

printf("sizeof arg: %ld\n", sizeof(* ( foo * )arg));

C 的早期版本没有void 类型。相反，char 类型被用作void 类型。由于sizeof( char ) 始终等于1，因此一些向后兼容旧C 规范的编译器将sizeof( void ) 设置为1，尽管从C 标准的角度来看这是不正确的。

Answer 3

结果应该是一个诊断结果，因为sizeof (void)（sizeof (*arg) 解析为）是一个违反约束：

6.5.3.4 sizeof 和 _Alignof 运算符

约束

1    sizeof 运算符不得应用于具有函数类型或 不完整的类型，这种类型的括号名称，或表达式 指定位域成员。 _Alignof 运算符不应应用于 函数类型或不完整类型。

^{C 2011 Online Draft}

void 是一个无法完成的不完整类型 - 您无法创建该类型的对象，因此在其上使用 sizeof 是一种编码错误，句号。

然而，出于某种原因，某些实现决定让 sizeof (void) 评估为 1，除非您处于“迂腐”模式。显然有人认为它在某些情况下很有用，但我不建议使用它。