将别处定义的名字引入到此 using 声明所出现的声明区中。
using typename (可选) 嵌套名说明符 无限定标识 ; | (C++17 前) | |
using 声明符列表 ; | (C++17 起) | |
嵌套名说明符 | - | 名字与作用域解析运算符 :: 的序列,以作用域解析运算符结尾。单个 :: 指代全局命名空间。 |
无限定标识 | - | 标识表达式 |
typename | - | 在 using 声明从基类向类模板中引入成员类型时,关键词 typename 是用于解决待决名所必须的 |
声明符列表 | - | 一或多个形式为 typename (可选) 嵌套名说明符 无限定标识 的声明符的逗号分隔列表。某些或全部的声明符可后随省略号 … 以指示包展开 |
解释
using 声明可用于将命名空间成员引入到另一命名空间与块作用域,或将基类成员引入到派生类定义中。
有多于一个 using 声明符的 using 声明,等价于有单个 using 声明符的 using 声明的对应序列。 | (C++17 起) |
在命名空间和块作用域中
using 声明将另一命名空间的成员引入到当前命名空间或块作用域中
- #include <iostream>
- #include <string>
- using std::string;
- int main()
- {
- string str = "Example";
- using std::cout;
- cout << str;
- }
细节见命名空间。
在类定义中
using 声明将基类成员引入到派生类的定义中,例如将基类的受保护成员暴露为派生类的公开成员。此情况下 嵌套名说明符 必须指名所定义的类的某个基类。若其名字是该基类的某个重载的成员函数的名字,则具有该名字的所有基类成员函数均被引入。若派生类已有具有相同名字、形参列表和限定的成员,则派生类成员隐藏或覆盖从基类引入的成员(不与之冲突)。
运行此代码
- #include <iostream>
- struct B {
- virtual void f(int) { std::cout << "B::f\n"; }
- void g(char) { std::cout << "B::g\n"; }
- void h(int) { std::cout << "B::h\n"; }
- protected:
- int m; // B::m 为受保护
- typedef int value_type;
- };
- struct D : B {
- using B::m; // D::m 为公开
- using B::value_type; // D::value_type 为公开
- using B::f;
- void f(int) { std::cout << "D::f\n"; } // D::f(int) 覆盖 B::f(int)
- using B::g;
- void g(int) { std::cout << "D::g\n"; } // g(int) 与 g(char) 均作为 D 成员可见
- using B::h;
- void h(int) { std::cout << "D::h\n"; } // D::h(int) 隐藏 B::h(int)
- };
- int main()
- {
- D d;
- B& b = d;
- // b.m = 2; // 错误,B::m 受保护
- d.m = 1; // 受保护的 B::m 可作为公开的 D::m 访问
- b.f(1); // 调用派生类 f()
- d.f(1); // 调用派生类 f()
- d.g(1); // 调用派生类 g(int)
- d.g('a'); // 调用基类 g(char)
- b.h(1); // 调用基类 h()
- d.h(1); // 调用派生类 h()
- }
输出:
- D::f
- D::f
- D::g
- B::g
- B::h
- D::h
### 继承构造函数 若 using 声明指代正在定义的类的某个直接基类的构造函数(例如 using Base::Base;),则在初始化派生类时,令该基类的所有构造函数(忽略成员访问)均对重载决议可见。 若重载决议选择了继承的构造函数,则当它被用于构造相应基类的对象时可访问,它是可访问的:引入它的 using 声明的可访问性被忽略。 若在初始化这种派生类对象时重载决议选择了继承的构造函数之一,则用这个继承的构造函数,对从之继承该构造函数的 Base 子对象进行初始化,而 Derived 的所有其他基类和成员,都如同以预置的默认构造函数一样进行初始化(若提供默认成员初始化器则使用之,否则进行默认初始化)。整个初始化被视作单个函数调用:继承的构造函数的各形参的初始化,按顺序早于派生类对象的任何基类或成员的初始化。
若构造函数从 B 类型的多个基类子对象继承,则程序非良构,这与多继承的非静态成员函数相似:
与任何其他非静态成员函数的 using 声明相同,若继承的构造函数的签名与 Derived 的构造函数之一匹配,则它被 Derived 中找到的版本从查找中隐藏。若 Base 的继承构造函数恰好有与 Derived 的复制/移动构造函数匹配的签名,则它不妨碍 Derived 复制/移动构造函数的隐式生成(然后继承的版本被其隐藏,这类似于 using operator= )。
| (C++11 起) |
注解
只有在 using 声明中明确提及的名字才被传送到声明区中:特别是,using 声明枚举类型名时,并不传送其枚举项。
using 声明不能指代命名空间,有作用域枚举项,基类的析构函数,或用户定义转换函数的成员模板的特化。
using 声明不能指名成员模板的特化(文法不容许 模板标识):
- struct B { template<class T> void f(); };
- struct D : B {
- using B::f; // OK:指名模板
- // using B::f<int>; // 错误:指名模板特化
- void g() { f<int>(); }
- };
using 声明亦无法用于将待决的成员模板的名字作为模板名引入(不容许待决名的 template
消歧义符):
- template<class X> struct B { template<class T> void f(T); };
- template<class Y> struct D : B<Y> {
- // using B<Y>::template f; // 错误:不允许消歧义符
- using B<Y>::f; // 能编译,但 f 不是模板名
- void g() {
- // f<int>(0); // 错误:已知 f 不是目标名,
- // 故 < 不开始模板实参列表
- f(0); // OK
- }
- };
若 using 声明将基类的赋值运算符引入到派生类,而其签名恰好与派生类的复制赋值或移动赋值运算符匹配,则该运算符被派生类的隐式声明的复制/移动赋值运算符所隐藏。相同的规则适用于继承恰好与派生类的移动/复制构造函数匹配的基类构造函数的 using 声明。 (C++11 起)
一项针对 C++11 的缺陷报告追溯地更改了继承构造函数的语义。以前,继承构造函数的声明导致将一组合成的构造函数声明注入到派生类中,这导致冗余的实参复制/移动,并与某些形式的 SFINAE 的交互有问题,而且某些情况下在主流 ABI 上无法实现。旧编译器可能仍然实现先前的语义。
| (C++11 起) |
using 声明中的包展开,使得不利用递归而组成暴露变长基类的重载成员的类成为可能:
| (C++17 起) |
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
DR | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
P0136R1 | C++11 | 继承构造函数声明会将额外的构造函数注入派生类 | 导致名字查找能找到基类构造函数 |
当前内容版权归 cppreference 或其关联方所有,如需对内容或内容相关联开源项目进行关注与资助,请访问 cppreference .