using 声明

有多于一个 using 声明符的 using 声明，等价于有单个 using 声明符的 using 声明的对应序列。

继承构造函数

若 using 声明指代正在定义的类的某个直接基类的构造函数（例如 using Base::Base;），则在初始化派生类时，令该基类的所有构造函数（忽略成员访问）均对重载决议可见。

若重载决议选择了继承的构造函数，则当它被用于构造相应基类的对象时可访问，它是可访问的：引入它的 using 声明的可访问性被忽略。

若在初始化这种派生类对象时重载决议选择了继承的构造函数之一，则用这个继承的构造函数，对从之继承该构造函数的 Base 子对象进行初始化，而 Derived 的所有其他基类和成员，都如同以预置的默认构造函数一样进行初始化（若提供默认成员初始化器则使用之，否则进行默认初始化）。整个初始化被视作单个函数调用：继承的构造函数的各形参的初始化，按顺序早于派生类对象的任何基类或成员的初始化。

struct B1 {  B1(int, ...) { } };
struct B2 {  B2(double)   { } };
 
int get();
 
struct D1 : B1 {
  using B1::B1;  // 继承 B1(int, ...)
  int x;
  int y = get();
};
 
void test() {
  D1 d(2, 3, 4); // OK：B1 通过调用 B1(2, 3, 4) 初始化，
                 // 然后 d.x 被默认初始化（不进行初始化），
                 // 然后 d.y 通过调用 get() 初始化
  D1 e;          // 错误：D1 无默认构造函数
}
 
struct D2 : B2 {
  using B2::B2; // 继承 B2(double)
  B1 b;
};
 
D2 f(1.0);       // 错误：B1 无默认构造函数

struct W { W(int); };
struct X : virtual W {
 using W::W;   // 继承 W(int)
 X() = delete;
};
struct Y : X {
 using X::X;
};
struct Z : Y, virtual W {
  using Y::Y;
};
Z z(0); // OK：Y 的初始化不调用 X 的默认构造函数

若构造函数从 B 类型的多个基类子对象继承，则程序非良构，这与多继承的非静态成员函数相似：

struct A { A(int); };
struct B : A { using A::A; };
struct C1 : B { using B::B; };
struct C2 : B { using B::B; };
 
struct D1 : C1, C2 {
  using C1::C1;
  using C2::C2;
};
D1 d1(0); // 非良构：从不同的 B 基类子对象继承的构造函数
 
struct V1 : virtual B { using B::B; };
struct V2 : virtual B { using B::B; };
 
struct D2 : V1, V2 {
  using V1::V1;
  using V2::V2;
};
D2 d2(0); // OK：只有一个 B 子对象。
          // 这初始化虚 B 基类，它初始化 A 基类
          // 然后如同用预置的默认构造函数
          //  初始化 V1 与 V2 基类

与任何其他非静态成员函数的 using 声明相同，若继承的构造函数的签名与 Derived 的构造函数之一匹配，则它被 Derived 中找到的版本从查找中隐藏。若 Base 的继承构造函数恰好有与 Derived 的复制/移动构造函数匹配的签名，则它不妨碍 Derived 复制/移动构造函数的隐式生成（然后继承的版本被其隐藏，这类似于 using operator=）。

struct B1 {   B1(int); };
struct B2 {   B2(int); };
 
struct D2 : B1, B2 {
  using B1::B1;
  using B2::B2;
  D2(int);   // OK：D2::D2(int) 隐藏 B1::B1(int) 和 B2::B2(int)
};
D2 d2(0);    // 调用 D2::D2(int)

一项针对 C++11 的缺陷报告追溯地更改了继承构造函数的语义。以前，继承构造函数的声明导致将一组合成的构造函数声明注入到派生类中，这导致冗余的实参复制/移动，并与某些形式的 SFINAE 的交互有问题，而且某些情况下在主流 ABI 上无法实现。旧编译器可能仍然实现先前的语义。

struct B1 {
    B1(int);
};
struct D1 : B1 {
    using B1::B1;
// 继承构造函数候选集是 
// 1. B1(const B1&)
// 2. B1(B1&&)
// 3. B1(int)
 
// D1 有下列构造函数：
// 1. D1() = delete
// 2. D1(const D1&) 
// 3. D1(D1&&)
// 4. D1(int) <- 继承的
};
 
struct B2 {
    B2(int = 13, int = 42);
};
struct D2 : B2 {
    using B2::B2;
// 继承构造函数候选集是
// 1. B2(const B2&)
// 2. B2(B2&&)
// 3. B2(int = 13, int = 42)
// 4. B2(int = 13)
// 5. B2()
 
// D2 有下列构造函数：
// 1. D2()
// 2. D2(const D2&)
// 3. D2(D2&&)
// 4. D2(int, int) <- 继承的
// 5. D2(int) <- 继承的
};

using 声明中的包展开，使得不利用递归而组成暴露变长基类的重载成员的类成为可能：

template <typename... Ts>
struct Overloader : Ts... {
    using Ts::operator()...; // 从每个基类暴露 operator()
};
 
template <typename... T>
Overloader(T...) -> Overloader<T...>; // C++17 推导指引
 
int main() {
    auto o = Overloader{ [] (auto const& a) {std::cout << a;},
                         [] (float f) {std::cout << std::setprecision(3) << f;} };
}