详述类型说明符

详述类型说明符可用于指代先前声明的类名（class、struct 或 union）或先前声明的 enum 名，即使该名字被非类型声明所隐藏。它们亦可声明新的类名。

语法

不可见枚举声明类似形式 (3)，但在不可见枚举声明之后，枚举类型是完整类型。

解释

形式 (3) 是详述类型说明符的一种特殊情况，通常又称为类的前置声明（forward declaration），有关形式 (3) 的描述，见前置声明。下列内容仅适用于形式 (1) 和 (2)。

详述类型说明符中的 类名 或 枚举名，可以是简单的标识符或是有限定的标识符。根据其表现形式，采用无限定名字查找或有限定名字查找来查找这个名字。但在任一情况下，均不考虑非类型名。

class T {
public:
    class U;
private:
    int U;
};
 
int main()
{
    int T;
    T t; // 错误：找到局部变量 T
    class T t; // OK：找到 ::T，忽略局部变量 T
    T::U* u; // 错误：T::U 的查找找到私有数据成员
    class T::U* u; // OK：忽略该数据成员
}

如果名字查找找不到先声明的类型名，该详述类型说明符是以 class、struct 或 union 引入的（即并非 enum），并且 类名 是无限定的标识符，则该详述类型说明符是该类名的一条类声明。

template <typename T>
struct Node {
    struct Node* Next; // OK：对 Node 的查找找到注入的类名
    struct Data* Data; // OK：于全局作用域声明类型 Data
                       // 并声明数据成员 Data
    friend class ::List; // 错误：不能引入有限定名
    enum Kind* kind; // 错误：不能引入枚举
};
 
Data* p; // OK：struct Data 已被声明

若该名字指代某个 typedef 名、类型别名、类型模板形参或别名模版特化，则程序非良构，否则详述类型说明符以与简单类型说明符引入其类型名相同的方式将该名字引入到声明中。

template <typename T>
class Node {
    friend class T; // 错误：类型形参不能出现于详述类型说明符中
};
 
class A {};
enum b { f, t };
 
int main()
{
    class A a; // OK：等价于 'A a;'
    enum b flag; // OK：等价于 'b flag;'
}

存在于详述类型说明符中的 类关键词 或 enum 必须与详述类型说明符所指代的名称的声明在种类上一致。

• 关键词 enum 必须用于指代一个枚举类型（无论有无作用域）
• 类关键词 union 必须用于指代一个 联合体（union）
• 类关键词 class 或者 struct 必须用于指代一个非联合体类类型（此处关键词 class 与 struct 可互换）。

enum class E { a, b };
enum E x = E::a; // OK
enum class E y = E::b; // 错误：'enum class' 不能引入详述类型说明符
 
struct A {};
class A a; // OK

当用作模板实参时，class T 是名为 T 的类型模板形参，而非由详述类型说明符引入其类型 T 的无名非类型模板形参。

引用