如何在C 14中实现支持模板协方差的通用工厂?
我希望实现这样的目标:
std::shared_ptr<Factory<BaseClass>> factory = std::make_shared<Factory<DerivedClass>>(); auto x = factory->create(arg1,arg2,arg3);
请注意,在factory-> create中,您可以将任何参数传递给DerivedClass构造函数.可以假设BaseClass构造函数和DerivedClass是相同的.
为了避免XY问题,我需要这个的原因是因为我想使用依赖注入(boost::di)来实现最大可测试性.
例如,如果有一个创建Socket实例的类A,我希望它依赖于Factory< ISocket>服务.在实际代码中,我注入了Factory< Socket>,在测试代码中,我注入了Factory< Mock< ISocket>>,所以我可以测试A类而不实际创建一个真正的套接字.
这是我目前的尝试:
template <typename T> struct BaseFactory { virtual std::unique_ptr<T> create() = 0; }; template <typename TInterface,typename TImplementation> struct Factory : public BaseFactory<TInterface> { virtual std::unique_ptr<TInterface> create() override { return std::make_unique<TImplementation>(); } };
目前的用法是这样的:
std::shared_ptr<BaseFactory<ISocket>> factory = std::make_shared<Factory<ISocket,Socket>>(); auto x = factory->create();
虽然不理想(你需要在Factory中指定基类),但这种用法对我来说很好,而且有效.
我需要添加的下一件事是对构造函数参数的支持.我试图添加variadic模板来创建:
template <typename ...TArgs> virtual std::unique_ptr<T> create() = 0;
…但看起来你不能拥有带模板的虚拟方法.
>我正朝着正确的方向前进吗?@H_404_29@>如果是,我应该如何在我的实现中添加对构造函数参数的支持?
谢谢!
解决方法
好的,我找到了一个解决方案,但它并不漂亮:
template <typename T,typename ...TArgs> struct BaseFactory { virtual std::unique_ptr<T> create(TArgs&&... args) = 0; }; template <typename TInterface,typename TImplementation,typename ...TArgs> struct Factory : public BaseFactory<TInterface,TArgs...> { virtual std::unique_ptr<TInterface> create(TArgs&&... args) override { return std::make_unique<TImplementation>(std::forward<TArgs>(args)...); } }; using ISocketFactory = BaseFactory<ISocket,int>; using SocketFactory = Factory<ISocket,Socket,int>; int main() { std::shared_ptr<ISocketFactory> socket_factory = std::make_shared<SocketFactory>(); std::unique_ptr<ISocket> socket = socket_factory->create(1234); socket->read(); socket->write(); }
我们的想法是在BaseFactory和Factory模板中传递实现类的构造函数参数.在这种情况下,Socket构造函数应该类似于:
Socket(int n);
你知道如何优化这个吗? (更少的样板代码)