基于策略的设计中的不明确继承

Ambiguous inheritance in policy-based design

本文关键字：不明确 继承 于策略 策略      更新时间：2023-10-16

我有一个主机类，它采用两个策略，sayhello和talk。策略talk是一个类模板，它本身需要例如 sayhello .问题是sayhello::saySomething在host2上模棱两可（我试图用virtual解决这个钻石问题）。

如何解决这种歧义？或者一般来说，对于这些问题是否有更好的设计？

例：

#include <iostream>
class sayhello {
protected:
    void saySomething(void) {
        std::cout<<"Hello!"<<std::endl;
    }
};
template<typename T>
class talk : private T {
protected:
    void doSomething(void) {
        T::saySomething();
    }
};
template<typename T>
class host1 : virtual T {
public:
    void hostAction(void) {
        T::doSomething();
    }
};
template<typename T, typename L>
class host2 : private T, private L {
public:
    void hostAction(void) {
        T::doSomething();
        L::saySomething();
    }
};
int main() {
    host1<talk<sayhello> > HOST1;
    HOST1.hostAction(); // ok that works
    host2<talk<sayhello>,sayhello> HOST2;
    HOST2.hostAction(); // error, ambiguity!
    return 0;
}
您可能

滥用了继承，但只需在talk和host2中添加更多virtual关键字：

#include <iostream>
class sayhello {
protected:
    void saySomething(void) {
        std::cout<<"Hello!"<<std::endl;
    }
};
template<typename T>
class talk : virtual T {
protected:
    void doSomething(void) {
        T::saySomething();
    }
};
template<typename T>
class host1 : virtual T {
public:
    void hostAction(void) {
        T::doSomething();
    }
};
template<typename T, typename L>
class host2 : virtual T, virtual L {
public:
    void hostAction(void) {
        T::doSomething();
        L::saySomething();
    }
};
int main() {
    host1<talk<sayhello> > HOST1;
    HOST1.hostAction(); // ok that works
    host2<talk<sayhello>,sayhello> HOST2;
    HOST2.hostAction(); // error, ambiguity!
    return 0;
}

现场示例

您可以添加一个虚拟类：

template<typename T> struct dummy : T {};
template<typename T, typename L>
class host2 : private T, private dummy<L> {
public:
    void hostAction(void) {
        T::doSomething();
        dummy<L>::saySomething();
    }
};

在某些情况下，您可能需要直接投射到L，这应该像这样工作：

L& getL()
{
    return static_cast<L&>(static_cast<dummy<L>&>(*this));
}
相关文章：