转换为指向运行时确定大小的数组的指针

Question

C++ 标准是否允许这种转换？我能够使用 g++ 5.4（在 linux 中运行）编译它，但不能使用 g++ 4.2（在 OSX 中运行）。

char* ptr;
char (*img)[width][3] = (char (*)[width][3])ptr;

'width' 是在运行时确定的整数。 g++ 4.2 抛出：

cannot initialize a variable of type 'char (*)[width][3]'
  with an rvalue of type 'char (*)[width][3]'

这对我来说没有任何意义。

（PS：第一次编译时我真的很惊讶）

编辑

g++5.4编译的小代码

#include <iostream>
int main(){
    char* ptr;
    int width;
    std::cin >> width;
    char (*img)[width][3] = (char (*)[width][3])ptr;
}

无法用 g++4.2 编译的 Mac 现在不在我身边，所以我无法重现错误。如 @xskxzr 与 Compiler Explorer 的 cmets 所示，it compiles in g++4.1。但是，it doesn't compile in clang，抛出了我之前说的同样的错误：

<source>:9:12: error: cannot initialize a variable of type 'char (*)[width][3]' with an rvalue of type 'char (*)[width][3]'
    char (*img)[width][3] = (char (*)[width][3])ptr;
           ^                ~~~~~~~~~~~~~~~~~~~~~~~
1 error generated.
Compiler returned: 1

问题是：

如何解释输出错误？

g++ 版本是否可能与 OSX 完全不同？

Answer 1

Mac 上的编译失败可能是由于 Clang 错误（所以 g++ 在那里运行 Clang，而不是 GCC）。之前观察过：

• Issue with variable length arrays and C++: differences between g++ and clang

可变长度数组是对 C++ 的 GNU 扩展，Clang 也应该支持它。

至少在某些版本的 Clang 中，可以通过为可变长度数组类型引入显式 typedef 来编译它：

typedef int (*vla)[width][3];
vla img = (vla) ptr;