详述类型说明符

< cpp‎ | language
 
C++
 
C++ 语言
 
声明
 

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

语法

类关键词 类名 (1)
enum 枚举名 (2)
类关键词 attr(可选) 标识符 ; (3)
类关键词 - class、struct、union 之一
类名 - 先前声明的类类型的名字，可选地有限定，或为先前未作为类型名声明的标识符
枚举名 - 先前声明的枚举类型的名字，可选地有限定
1) 类类型的详述类型说明符
2) 枚举类型的详述类型说明符
3) 单独由详述类型说明符组成的声明，总是在含有该声明的作用域中声明一个名为 标识符 的类类型。

不可见枚举声明类似形式 (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 的无名非类型模板形参。

引用

  • C++11 standard (ISO/IEC 14882:2011):
  • 3.4.4 Elaborated type specifiers [basic.lookup.elab]
  • 7.1.6.3 Elaborated type specifiers [dcl.type.elab]
  • C++98 standard (ISO/IEC 14882:1998):
  • 3.4.4 Elaborated type specifiers [basic.lookup.elab]
  • 7.1.5.3 Elaborated type specifiers [dcl.type.elab]
本节未完成
原因：可能要将 9.1[class.name]/2-3 的大部分从 cpp/language/class 抽出