命名构造函数习惯用法和继承

Question

我有一些类，其中有一些 命名构造函数 。当我继承它们时，我应该如何继承构造函数？问题是它们返回基类的对象而不是子类的对象。

附带问题：我可以使用 C++0x “using” 来减少样板代码量吗？

Answer 1

struct Foo {
    template<typename T> static T one () { return T(1); }
};

struct A { int x; A(int i) : x(i) {}};
struct B : A { B(int i) : A(i) {}};

这可以让你做类似的事情

A a = Foo::one<A> (); 
B b = Foo::one<B> ();

Answer 2

您既不继承“经典”构造函数，也不继承“命名”构造函数。您应该为每个派生类创建特定的构造函数。

下面是一个示例，说明如何将命名构造函数与继承一起使用：

class SpiralPoint: public Point{
  private: SpiralPoint(float t, float r)
     :Point(Point::polar(r*t, t))  { };
};

Answer 3

命名 ctor 是一个习语，它们不是真正的构造函数。严格来说，命名构造函数依赖于静态函数。继承需要虚拟函数。现在，非成员不能是虚拟的，因此排除了静态虚拟函数的想法。

附带问题：我可以使用 C++0x “using”来减少样板代码量吗？

using 声明要求编译器继承全部或无基类构造函数。所以，是的，他们可以在某种程度上简化您的代码。但是，你们所有的编译器都支持 C++0x 吗？

Answer 4

我找到了（几乎）完美的解决方案！

template <class T>
class Color {

 public:

  static T Red   () { return T (0); }
  static T Green () { return T (1); }
  static T Blue  () { return T (2); }

 protected:

  explicit Color (int raw) : raw (raw) {
  }

 private:

  int raw;

};

class MoreColor : public Color <MoreColor> {

 public:

  static MoreColor Octarina() { return MoreColor(8); }

 private:

  friend class Color <MoreColor>;
  explicit MoreColor (int raw) : Color <MoreColor> (raw) {}
};

void Test() {
  MoreColor o = MoreColor::Octarina();
  MoreColor r = MoreColor::Red();
}

它编译:D