標准中哪里說下面的 typedef 是有效的？

Question

g++和clang++都編譯這個片段：

typedef int int3[];
int3 i { 0, 1, 2 };

但是標准中哪里說上面的數組typedef聲明是有效的？

您如何推斷int3[]是int[]的“同義詞”？

Answer 1

但是標准中哪里說上面的 typedef 聲明是有效的？

這是有效的。 按照標准：

9.2.4 typedef 說明符 [dcl.typedef]

1 - 包含 decl 說明符 typedef 的聲明聲明了以后可用於命名基本 (6.8.2) 或復合 (6.8.3) 類型的標識符。 [...]

在哪里：

6.8.3 復合類型 [basic.compound]

1 - 可以通過以下方式構造復合類型：

— (1.1) arrays 給定類型的對象，9.3.4.5；

[...]

---

您如何推斷int3[]是int[]的“同義詞”？

聲明定義明確，包括具有未知邊界的 arrays：

9.3.4.5 Arrays [dcl.array]

[...]

5 - 任何形式的“cv-qualifier-seq array of NU”都被調整為“array of N cv-qualifier-seq U”，同樣適用於“array of unknown bound of U”。

[...]