使用友元声明继承私有 CRTP 构造函数

Question

我无法理解从基类继承构造函数的正确行为。 在我的特殊情况下，我有一个带有私有构造函数的 crtp-base 类，以防止基类（作为抽象类）的实例化。 现在，crtp-base 与派生类成为朋友，派生类使用 using 语句继承基类构造函数。这适用于默认、复制和移动构造函数，但对于自定义构造函数失败。有没有办法在不重新实现派生类中的所有构造函数的情况下实现这一点？

#include <iostream>

template <typename d_t>
class base
{
    friend d_t;

    base()
    {
        std::cout << "base: ctor()\n";
    }
    base(base const & other) = default;
    base(base && other) = default;

    base(int)
    {
        std::cout << "base: ctor()\n";
    }
};

class derived: public base<derived>
{
public:

   using base<derived>::base;
};

int main()
{
   derived d{};
   derived d1{d};
   derived d2{std::move(d1)};
   // derived d3{1};  //does not compile!
}

编辑

AFAIK cppreference 表示构造函数的可访问性不会被派生类中 using 声明的访问说明符更改，这与其他成员函数不同。但是我已经看到这种代码编译和运行，我不确定我是否正确理解了 using-declaration。 当然，我会进一步调查其他代码以了解发生了什么，但我想知道是否有隐藏的东西我可能会错过。

Answer 1

简短的回答是肯定的，只需在基类中公开它们即可。继承的构造函数在派生类中与在基类中具有相同的可访问性。无法在派生类中公开私有基类构造函数。

但是抽象基类无论如何都不能自己实例化。没有必要将它们的构造函数设为私有。

CRTP 与上述任何内容均无关。如果您只需要 friend 声明，那么您可以不使用该模式。

class base
{
public:
  base()
  {    
  }

  base(int)
  {
    std::cout << "base: ctor()\n";
  }

  virtual void foo() = 0;
};

class derived: public base
{
public:
  using base::base;

  void foo() override
  {
    // details...
  }
};

int main()
{
  derived d{};
  derived d1{d};
  derived d2{std::move(d1)};
  derived d3{1};  //Works!!
}

进一步阅读 cppreference：Using-declaration