int arr[ ] 是有效的 C++ 吗？

Question

我试图了解编写 int arr[]; 在 C++ 中是否有效。举个例子，

int a[]; //is this valid?
extern int b[];//is this valid?

int (*ptrB)[]; //is this valid?
struct Name
{
    int k[]; //is this valid?
};
void func()
{
    ptrB++; //is this valid?
}
int a[10];
int b[10];
void bar()
{
    ptrB = &b;//is this valid?
    ptrB++; //is this valid?
}
int main()
{
    int c[];//is this valid?
    extern int d[]; //is this valid?
}

int c[10];
int d[10];

我在 SO 上阅读了一些 cmets，指出 int p[]; 不是有效的 C++。所以我想知道这在什么情况下有效/无效。为此我写了上面的 sn-p 并想通过这个例子来理解。

Answer 1

让我们看看每个案例。

案例一

这里有声明

int a[]; //this is a definition so size must be known

这是无效。

案例 2

这里有声明：

extern int b[];//this is a declaration that is not a definition

这是有效。这里b 的类型是incomplete。此外，b 具有外部链接。

案例 3

我们有：

int (*ptrB)[]; 

这是有效。我们说ptrB 是一个指向不完整类型的指针。

案例4

我们有：

struct Name
{
    int k[]; //NOT VALID
};

这无效来自cppreference：

以下任何上下文都要求类型 T 是完整的：

• 声明一个 T 类型的非静态类数据成员；

案例 5

我们有：

void func()
{
    ptrB++; //NOT VALID
}

这无效来自postfix increment's documentation：

内置后缀递增或递减运算符的操作数 expr 必须是非布尔（C++17 起）算术类型的可修改（非常量）左值或指向完全定义的指针 对象类型。

案例 6

我们有：

void bar()
{
    ptrB = &b;//NOT VALID
}

这无效来自cppreference：

数组对象的声明类型可能是一个未知边界的数组，因此在翻译单元中的某一点是不完整的，稍后会完成；这两个点的数组类型（“T 的未知边界数组”和“N T 的数组”）是不同的类型。

案例 7

我们有：

void bar()
{
    ptrB++; //NOT VALID

这无效来自cppreferene：

指向未知边界数组的指针的类型，或指向由 typedef 声明定义为未知边界数组的类型，无法完成。

所以我们会得到与案例 5 相同的错误。

案例 8

我们有：

int main()
{
    int c[]; 
}

这是无效，因为这是一个定义，所以尺寸必须是已知的。

案例 9

我们有：

int main()
{
    extern int d[]; non-defining declaration
}

这是有效。 d 具有外部链接。