将指向内存缓冲区的指针转换为指向 VLA 的指针

Question

在 C 中，我相信以下程序是有效的:将指向已分配内存缓冲区的指针转换为数组，如下所示:

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

#define ARRSIZE 4

int *getPointer(int num){
    return malloc(sizeof(int) * num);
}

int main(){
    int *pointer = getPointer(ARRSIZE);
    int (*arrPointer)[ARRSIZE] = (int(*)[ARRSIZE])pointer;

    printf("%d\n", sizeof(*arrPointer) / sizeof((*arrPointer)[0]));

    return 0;
}

(这输出 4)。

但是，在 C99 中使用 VLA 执行此操作安全吗？

    int arrSize = 4;
    int *pointer = getPointer(arrSize);
    int (*arrPointer)[arrSize] = (int(*)[arrSize])pointer;

    printf("%d\n", sizeof(*arrPointer) / sizeof((*arrPointer)[0]));

    return 0;

(也输出 4)。

根据 C99 标准，这是合法的吗？

如果它是合法的，那就太奇怪了，因为这意味着 VLA 有效地启用动态类型创建，例如 type(*)[variable] 类型。

Answer 1

是的，这是合法的，是的，可变修改的类型系统非常有用。您可以使用自然数组语法来访问连续的二维数组，其维度直到运行时才为人所知。

它可以被称为语法糖，因为没有它们就不能用这些类型做任何事情，但它有助于干净的代码(在我看来)。