让我举一个代码示例。
#include <iostream>
#include <utility>
#include <tuple>
template <typename Service>
struct SubscriberImpl {
virtual void handleService(Service const&) = 0;
};
template <typename...ServiceType>
struct Subscriber : SubscriberImpl<ServiceType>... {
};
struct IntService {};
struct FloatService {};
template <typename StatusUpdatePolicy, typename... ServiceType>
struct StatusUpdater : Subscriber<ServiceType...>
{
StatusUpdater(StatusUpdatePolicy const& statusUpdater)
: m_statusUpdater{statusUpdater}
{}
// wont work
void handleService(IntService const& service) override {
m_statusUpdater.updateService(service);
}
void handleService(FloatService const& service) override {
m_statusUpdater.updateService(service);
}
StatusUpdatePolicy m_statusUpdater;
};
struct DummyPolicy {
void updateService(IntService const& service) {
m_i = 42;
std::cout << m_i << "\n";
}
void updateService(FloatService const& service) {
m_f = 3.14f;
std::cout << m_f << "\n";
}
int m_i;
float m_f;
};
int main() {
StatusUpdater<DummyPolicy, IntService, FloatService> su(DummyPolicy{});
su.handleService(IntService{});
su.handleService(FloatService{});
}
这里 Subscriber
有一个纯虚函数 handleService(ServiceType const)
用于 pack ServiceType...
中的每个模板参数。所以我必须在 StatusUpdater
上覆盖每一个。在这里,我已经为 IntService
和 FloatService
手动提供了我需要的那些,我知道在这个最小的例子中我只需要那些。但我希望能够为包 ServiceType...
中的任何内容提供覆盖。无论如何,它们都会调用给定策略的 updateService
方法。
请注意,Subscriber
来自外部库,我无法修改它的定义。
最佳答案
您不能将此类实现直接放入类中,您必须继承它们(类似于 Subscriber
从多个 SubscriberImpl
实例继承的方式)。然而,要覆盖它们并仍然保持您的类作为 Subscriber
多态使用,您将必须“顺序”而不是“并行”继承它们。此外,Curiously recurring template pattern可用于为所有实现提供对最终覆盖对象的访问权限:
template <class Self, class SubscriberClass, class... ServiceTypes>
struct StatusUpdaterOverride;
template <class Self, class SubscriberClass, class ThisType, class... RemainingTypes>
struct StatusUpdaterOverride<Self, SubscriberClass, ThisType, RemainingTypes...> : StatusUpdaterOverride<Self, SubscriberClass, RemainingTypes...>
{
void handleService(ThisType const& service) override
{
static_cast<Self*>(this)->m_statusUpdater.updateService(service);
}
using StatusUpdaterOverride<Self, SubscriberClass, RemainingTypes...>::handleService;
};
template <class Self, class SubscriberClass, class ThisType>
struct StatusUpdaterOverride<Self, SubscriberClass, ThisType> : SubscriberClass
{
void handleService(ThisType const& service) override
{
static_cast<Self*>(this)->m_statusUpdater.updateService(service);
}
};
template <class StatusUpdatePolicy, class... ServiceType>
struct StatusUpdater : StatusUpdaterOverride<StatusUpdater<StatusUpdatePolicy, ServiceType...>, Subscriber<ServiceType...>, ServiceType...>
{
StatusUpdater(StatusUpdatePolicy const& statusUpdater)
: m_statusUpdater{statusUpdater}
{}
StatusUpdatePolicy m_statusUpdater;
};
关于c++ - 覆盖可变类模板中的多个虚函数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/54941530/