强制在所有基类中调用方法

Danra 发表于 Dev

丹拉

如何实现一种为所有基类递归调用另一种方法的方法？从概念上讲：

class C {
public:
    magical void recursiveWork() {
         thisClass::doWork();
         if (baseClassExists) {
              baseClass::recursiveWork();
         }
    }

    void doWork() {
        printf("bar");
    }
}

class D : public C {
public:
    void doWork() {
         printf("foo");
    }
}

D d;
d.recursiveWork(); // prints "foobar"

赫斯卡隆

您可以使用类似base_type下面的内容来指示基类，然后递归检查是否DoIt存在。（在这种情况下，如果base_type是最基本的类，我会检查是否与self不同）。当然，它不能用于多重继承（它应该具有识别所有base_type对象的功能），并且在基类上使用对象切片时要小心。

#include <iostream>
#include <utility>

class A1
{
public:
   using base_type = A1;
   virtual ~A1(){}
   virtual void DoIt(){ std::cout << "A1\n"; }
};

class A : public A1
{
public:
   using base_type = A1;
   virtual void DoIt(){
       std::cout << "A\n"; 
   }
};

class B : public A
{    
public:
    using base_type = A;
    virtual void DoIt(){
        std::cout << "B\n"; 
    }
};

template<class...> using void_t = void;

template<class, class = void>
struct has_do_it : std::false_type { constexpr static bool value = false; };

template<class T>
struct has_do_it<T, void_t<decltype(std::declval<T&>().DoIt())>> : std::true_type { constexpr static bool value = true; };

template<typename T>
void DoItRec(T t)
{
    if (has_do_it<T>::value) {
        t.DoIt();
        if(!std::is_same<T, typename T::base_type>::value)
        {
            typename T::base_type& base = t; // get base part (object slicing)
            DoItRec(base); 
        }
    }
}

int main()
{
    B b;
    DoItRec(b);
    return 0;
}