有没有办法让对象可以创建自己类型的新对象，而无需指定此类型？
class Foo {
public:
virtual Foo* new_instance() {
return new type_of(this); // Some magic here
}
};
class Bar: public Foo {
};
Foo* a = new Foo();
Foo* b = new Bar();
Foo* c = a->new_instance();
Foo* d = b->new_instance();
我现在希望c 的类型为Foo，而d 的类型应为Bar。
【问题讨论】：
标签： c++ object types instantiation
您可以使用 Mixin 添加工厂类。对于工厂函数来说，这似乎相当复杂，当然也更难理解。
#include <typeinfo>
#include <cassert>
#include <iostream>
template<class T> class WithFactory: public T {
public:
WithFactory<T>* new_instance() override {
return new WithFactory<T>( );
}
};
class FactoryFunction {
virtual FactoryFunction* new_instance() = 0;
};
class Foo_: public FactoryFunction {
public:
virtual void f() {
std::cout << "Foo" << std::endl;
}
};
typedef WithFactory<Foo_> Foo;
class Bar_: public Foo {
public:
virtual void f() override {
std::cout << "Bar" << std::endl;
}
};
typedef WithFactory<Bar_> Bar;
int main()
{
Foo* a = new Foo();
Foo* b = new Bar();
Foo* c = a->new_instance();
Foo* d = b->new_instance();
assert( typeid(a) == typeid(c) );
assert( typeid(b) == typeid(d) );
a->f();
b->f();
c->f();
d->f();
return 0;
}
输出是
Foo
Bar
Foo
Bar
【讨论】：
简短回答：不，没有办法让这种魔法发生。
您可以使用宏来更轻松地覆盖子类中的函数，或者创建一个使用“奇怪重复的模板模式”的中间类：
template <typename T>
class FooDerived : public Foo
{
public:
T* new_instance() {
return new T();
}
};
class Bar : public FooDerived<Bar>
{
};
Foo* a = new Bar();
Foo* b = a->new_instance(); // b is of type Bar*
但这肯定不值得。
【讨论】：
FooDerived 接受两个参数：template <typename Derived, typename Base = Foo> class FooDerived : public Base。然后你可以做class Buzz : public FooDerived<Buzz, Bar>。
FooDerived 更改为接受Base 参数时，您可以使用any Foo 派生类作为基类，包括Buzz。如果你想创建一个扩展 Buzz 的类 Barbara，你可以这样做：class Barbara : public FooDerived<Barbara, Buzz>。 每个层次结构只需要一个模板，而不是每个类一个。
简单的解决方案：
class Foo {
public:
virtual Foo* new_instance() {
return new Foo();
}
};
class Bar: public Foo {
public:
virtual Foo* new_instance() {
return new Bar();
}
};
【讨论】：
是的，你就是这么做的
virtual Foo* new_instance() { return new Foo(); }
然后在每个派生类中再次重载它以执行相同的操作（尽管我更喜欢模板方法来处理这类事情）
【讨论】：