命名空间
变体
操作

细化类型说明符

来自 cppreference.cn
< cpp‎ | 语言
 
C++
 
C++ 语言
 
声明
 

即使名称被非类型声明隐藏，详细类型说明符也可用于引用先前声明的类名（class、struct 或 union）或先前声明的枚举名。它们还可用于声明新的类名。

目录

[编辑] 语法

类键 类名 (1)
enum 枚举名 (2)
类键 属性 (可选) 标识符 ; (3)
类键 - class、struct、union 之一
类名 - 先前声明的类类型的名称，可选地限定，或未曾声明为类型名称的标识符
枚举名 - 先前声明的枚举类型的名称，可选地限定
属性 - (自 C++11 起) 任意数量的属性
1) 类类型的详细类型说明符。
2) 枚举类型的详细类型说明符。
3) 仅由详细类型说明符组成的声明总是声明一个类类型，其名称由包含该声明的作用域中的标识符命名。

不透明枚举声明类似于形式(3)，但在不透明枚举声明之后，枚举类型是一个完整类型。

[编辑] 说明

形式(3)是详细类型说明符的一个特殊情况，通常被称为类的前向声明；有关形式(3)的描述，请参见前向声明。以下仅适用于形式(1)和(2)。

详细类型说明符中的类名或枚举名可以是一个简单的标识符，也可以是一个限定符-id。名称根据其出现情况使用非限定名称查找或限定名称查找进行查找。但在任何一种情况下，都不考虑非类型名称。

class T
{
public:
    class U;
private:
    int U;
};
 
int main()
{
    int T;
    T t; // error: the local variable T is found
    class T t; // OK: finds ::T, the local variable T is ignored
    T::U* u; // error: lookup of T::U finds the private data member
    class T::U* u; // OK: the data member is ignored
}

如果名称查找未找到先前声明的类型名称，并且详细类型说明符由class、struct或union（即不是由enum）引入，并且类名是一个非限定标识符，则详细类型说明符是类名的类声明，并且目标作用域是最近的封闭命名空间或块作用域。

template<typename T>
struct Node
{
    struct Node* Next; // OK: lookup of Node finds the injected-class-name
    struct Data* Data; // OK: declares type Data at global scope
                       // and also declares the data member Data
    friend class ::List; // error: cannot introduce a qualified name
    enum Kind* kind; // error: cannot introduce an enum
};
 
Data* p; // OK: struct Data has been declared

如果该名称指的是typedef 名称、类型别名、模板类型参数或别名模板特化，则程序是病态的，否则详细类型说明符以与简单类型说明符引入其类型名称相同的方式将该名称引入到声明中。

template<typename T>
class Node
{
    friend class T; // error: type parameter cannot appear in an elaborated type specifier;
                    // note that similar declaration `friend T;` is OK.
};
 
class A {};
enum b { f, t };
 
int main()
{
    class A a; // OK: equivalent to 'A a;'
    enum b flag; // OK: equivalent to 'b flag;'
}

详细类型说明符中存在的类键或enum关键字必须与其所引用的声明的种类一致。

  • enum关键字必须用于引用枚举类型（无论带作用域还是不带作用域）
  • union 类键必须用于引用联合
  • class或struct 类键必须用于引用非联合类类型（关键字class和struct在此处可互换）。
enum class E { a, b };
enum E x = E::a; // OK
enum class E y = E::b; // error: 'enum class' cannot introduce an elaborated type specifier
 
struct A {};
class A a; // OK

当用作模板参数时，class T是一个名为T的类型模板参数，而不是一个类型T由详细类型说明符引入的无名非类型参数。

[编辑] 关键字

class, struct, union, enum

[编辑] 参考

  • C++23 标准 (ISO/IEC 14882:2024)
  • 6.5.6 详细类型说明符 [basic.lookup.elab]
  • 9.2.9.4 详细类型说明符 [dcl.type.elab]
  • C++20 标准 (ISO/IEC 14882:2020)
  • 6.5.4 详细类型说明符 [basic.lookup.elab]
  • 9.2.8.3 详细类型说明符 [dcl.type.elab]
  • C++17 标准 (ISO/IEC 14882:2017)
  • 6.4.4 详细类型说明符 [basic.lookup.elab]
  • 10.1.7.3 详细类型说明符 [dcl.type.elab]
  • C++14 标准 (ISO/IEC 14882:2014)
  • 3.4.4 详细类型说明符 [basic.lookup.elab]
  • 7.1.6.3 详细类型说明符 [dcl.type.elab]
  • C++11 标准 (ISO/IEC 14882:2011)
  • 3.4.4 详细类型说明符 [basic.lookup.elab]
  • 7.1.6.3 详细类型说明符 [dcl.type.elab]
  • C++98 标准 (ISO/IEC 14882:1998)
  • 3.4.4 详细类型说明符 [basic.lookup.elab]
  • 7.1.5.3 详细类型说明符 [dcl.type.elab]
本节不完整
原因：可能将 9.1[class.name]/2-3 的大部分内容从 cpp/language/class 中取出
取自 "https://cppreference.cn/mwiki/index.php?title=cpp/language/elaborated_type_specifier&oldid=181173"