Question

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

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"

Answer 1

您可以使用某些内容来指示基类，例如下面的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;
}

Live example

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

1 个答案: