为什么我可以在其他地方同时定义指针时使用它？

Question

假设我有一个这样的struct：

typedef struct {
    char* author;
    uint32_t isbn;
} Book;

int
main( int arg_c; char* arg_v[] ) {
    Book* b = malloc( sizeof *b );
    char* author = "Miller";

    //[...]

    free(b);
    return 0;
}

现在让我感到困惑的是第 8 行：Book* b = malloc( sizeof *b ); 在这里，我在等号的左侧创建了一个 Book 类型的指针 b，但同时，我取消引用右侧的b 为b 分配内存。

它是如何工作的？

当我使用该指针为其分配内存时，如何同时定义一个指针。 如果他们的行是Book* b = malloc( sizeof (Book) );，那对我来说是很直观的，因为sizeof 询问type 的大小。但是在这里，就好像标识符同时在两个地方使用，而它正在被定义。

是否发生了一些我遗漏的双重通过的事情？

Answer 1

这个表达式

sizeof *b

不被评估。编译器只是试图确定表达式*b 的类型，这个类型是Book。所以实际上这个表达式等价于

sizeof( Book )

变量b的类型在其声明符的定义完成后就知道了。所以初始化表达式已经知道初始化对象的类型。

为了更清楚，请考虑以下演示程序

#include <stdio.h>

int main(void) 
{
    int x = 10;
    
    size_t n = sizeof( x += 20 );
    
    printf( "n = %zu, x = %d\n", n, x );
    
    return 0;
}

程序输出是

n = 4, x = 10

就像这个表达方式

sizeof( x += 20 )

不计算（编译器只确定表达式的类型）然后变量x的值没有改变。

另一个更复杂的例子。

#include <stdio.h>

int i = 1;

int main(void) 
{
    size_t i[i], b = sizeof( i );

    printf( "b = %zu\n", b );

    return 0;
}

程序输出是

b = 8

在数组i 的声明中，使用了在文件范围内声明的变量i，因为数组i 的声明符尚未完成。但是在变量b 的声明中，使用了标识符i 来表示数组。

Answer 2

它不会取消引用指针。
它仅使用指针指向的大小。
通过查看更奇怪的Book* b = malloc( sizeof (Book) );，您可能会觉得它是合理的，它根本不访问任何东西，只使用一个类型。