4

C++11 允许继承构造函数，从而可以避免大量样板文件，尤其是像包装类这样的东西。但是，您似乎已经可以仅使用可变参数模板来实现此功能。

class B
{
public:
 B(int){//do something}
 B(int, char){//do something}
};

使用继承构造函数：

class D : public B
{
public:
 using B::B; 
};

使用可变参数模板并转发：

class D : public B
{
public:
 template <typename...Args>
 D(Args&&... args) : B(std::forward<Args>(args)...)
 {
 }
};

虽然一致性（以相同的方式对待构造函数和方法using）和易用性是将继承的构造函数引入语言的非常好的理由，但还有其他原因可以说明第一个解决方案优于第二个解决方案吗？我发现讨论继承构造函数的 CWG 文档（N1890和N1898）都只需注意以下内容并继续：

只不过是一次历史事故阻止了使用 this 来为构造函数和普通成员函数工作。如果构造函数被称为“ctor”或“constructor”而不是由它们的类的名称来引用，这将是可行的。我们建议将此作为继承构造函数的机制。

4

3 回答 3

4

一个重要的原因是完美的转发并不完美。简单案例：

struct B {
    B(int* ) { .. }
};

现在考虑：

D d{0};

如果我们继承构造函数，这工作正常。如果我们完美转发，我们将尝试构造B(int )，因为0推导出为int，这是一个不存在的构造函数。失败！

其他失败案例包括大括号初始化、仅声明的静态 const 数据成员、重载函数和位域。

于 2015-01-14T19:57:39.623 回答
3

完美转发并不是很完美。特别是，作为实际参数的 0 减少为int而不是表示一般的空值。因此，使用带有指针参数的构造函数，0将作为继承构造函数的实际参数，但不适用于转发。

当问题（我们真的需要继承构造函数）播出时，我想我提到的另一个原因是继承构造函数是概念上简单事物的简单符号，用于简单类的上下文中。C++ 中有足够的强制复杂性和强制样板。

于 2015-01-14T19:55:47.907 回答
2

维护问题（编译器错误）可能会导致偏好“使用”：

struct Base
{
    Base(int) {}
};

struct Derived : public Base
{
    using Base::Base;
};

struct DerivedTemplate : Base
{
    template <typename...Args>
    DerivedTemplate(Args&&... args)
    : Base(std::forward<Args>(args)...)
    {}
};

int main()
{
    // error: no matching function for call to ‘Derived::Derived(int, int)’
    Derived d(1, 2);

    // In instantiation of ‘DerivedTemplate::DerivedTemplate(Args&& ...) [with Args = {int, int}]’:
    // required from here
    // error: no matching function for call to ‘Base::Base(int, int)’
    DerivedTemplate dt(1, 2);
}

此外，每个模板实例化都是一个不同的构造函数（虽然 using 不相乘）

于 2015-01-14T20:11:48.063 回答