可变长度数组的 sizeof 评估

Question

sizeof 操作数将计算操作数，如果它是一个变长数组。

6.5.3.4、p2：如果操作数的类型是变长数组类型，则对操作数求值；

但这段代码正在运行，我假设它已定义：

#include <stdio.h>
#include <stdlib.h>
#include <assert.h>

struct test
{
    struct test* t;
    int i;  
};

int main(void) 
{
    int r = ( rand() % 100 ) + 1;
    assert( r > 0 );
    struct test* a[r];
    for( size_t i = 0; i < r; i++ )
    {
        a[i] = NULL;
    }

    printf("%zu\n" , sizeof( a[0]->i ) );
    //printf("%d\n", a[0]->i ); //this will of course crash the program

    return 0;
}

1. 代码定义了吗？
2. 是否评估了 sizeof 操作数？
3. 评估不应该取消对指针的引用吗？
4. 根据上下文，第一个和第二个printf 有什么区别？

该程序似乎是正确的，有任何额外的尊重：

struct other
{
    int i;  
};

struct test
{
    struct other* t; 
};

int main(void) 
{
    int r = ( rand() % 100 ) + 1;
    assert( r > 0 );
    struct test* a[r];
    for( size_t i = 0; i < r; i++ )
    {
        a[i] = NULL;
    }

    printf("%zu\n" , sizeof( a[0]->t->i ) );
    //printf("%d\n", a[0]->t->i ); //this will of course crash the program

    return 0;
}

Answer 1

a 本身就是一个 VLA。但是a[0]->i不是，它的类型是int。

所以sizeof( a[0]->i ) 就是sizeof(int)。 sizeof 这里是编译时操作符，a[0]->i 不求值，代码已定义。

Answer 2

的操作数

sizeof a[0]->i

不是 VLA，因此不被评估。两者都不会

sizeof a[0]

只有类似的结构

sizeof a

需要在运行时评估它的参数，因为该动物的大小在编译时是未知的。

编辑： 当然，这样的评估可能是错误的。如果你有

double (*p)[n];

所以一个指向 VLA 的指针。那么

sizeof *p

是一个运行时表达式，如果您没有正确初始化 p，则会出现错误。