【问题标题】:Access derived class member variable in virtual function在虚函数中访问派生类成员变量
【发布时间】:2016-01-05 18:34:21
【问题描述】:
class Car {
    class BaseState {
       explicit BaseState(Car* vehicle) : mVehicle(vehicle) {}
       virtual void run() = 0;

       Car* mVehicle;
    }
    class State1 : public BaseState {
       explicit State1(Car* vehicle) : BaseState(vehicle) {}
       virtual void run() {
           // use data of Car
           ...
           doSomething();
       }
       virtual void doSomething() {
       }
    }
    class State2 : public BaseState {
    }
    ...
}

class Convertible: public Car {
    class State1 : public Car::State1 {
       explicit State1(Convertible* vehicle) : Car::State1(vehicle) {}
       virtual void doSomething() {
           static_cast<Convertible*>(mVehicle)->foldTop();
       }
    }
    class State2 : public Car::State2 {
    }
    ...
    void foldTop() {}
}

所有状态都是从 BaseState 派生的,因此它们具有成员变量 mVehicle 来访问外部类变量。 但是,在每个派生类中,在每个State的所有函数中,都需要static_cast来访问派生类的成员变量和函数。

有更好的解决方案吗?

  1. 在派生类的每个状态中,添加另一个指针(例如,Convertible *mConvertible)。每个状态都有重复的指针(mConvertible 和 mVehicle)指向同一个对象。看起来不对。
  2. 在基类中使用虚拟 Getter 而不是 mVehicle。基类中会有过多的 Getter 调用。

================================================ =========================

是的。我尝试了下面的模板,但它无法编译,因为像

这样的错误

“car.h:在成员函数‘virtual void Car::State1::run()’中: car.h:18:12:错误:“mVehicle”未在此范围内声明 ”。

// car.h
#include <iostream>

template <class T>
class Car {
public:
    class BaseState {
    public:
       explicit BaseState(T* vehicle) : mVehicle(vehicle) {}

    protected:
       T* mVehicle;
    };

    class State1 : public BaseState {
    public:
       explicit State1(T* vehicle) : BaseState(vehicle) {}
       virtual void run() {
           mVehicle->x = 1;
           mVehicle->y = 2;
           mVehicle->doSomething1();
           mVehicle->doSomething2();
           processEvent();
       }
       virtual void processEvent() {
           if (mVehicle->val > 2) {
                std::cout << "too large" << std::endl;
           }
       }
    };

    class State2 : public BaseState {
    public:
       explicit State2(T* vehicle) : BaseState(vehicle) {}
       virtual void run() {
           mVehicle->x = 10;
           mVehicle->y = 20;
           processEvent();
       }
       virtual void processEvent() {
           if (mVehicle->val > 20) {
                std::cout << "too large" << std::endl;
           }
       }
    };

    virtual void doSomething1() {
        val += x * y;
    }

    virtual void doSomething2() {
        val += x + y;
    }

protected:
    int x;
    int y;
    int val;

};

// convertible.h
#include "car.h"
#include <iostream>

class Convertible : public Car<Convertible> {
protected:
    class State1 : public Car<Convertible>::State1 {
       explicit State1(Convertible* vehicle) : Car<Convertible>::State1(vehicle) {}
       // want to override functions in base class states
       virtual void processEvent() {
           if (mVehicle->val > 10) {
                std::cout << "too large" << std::endl;
                mVehicle->val = 10;
           }
       }
    };

    // want to override some base class functions
    // and access some special variables
    // want to inherit other functions
    virtual void doSomething2() {
        z = 10;
        val += x + y + z;
    }

protected:
    int z;
};

如果我使用State1(Car* vehicle) 而不是State1(T* vehicle),则会出现额外的转换错误。我做错了什么?

如果程序可以判断出应该执行Convertible::State1::processEvent(),为什么不能自动将mVehicleCar*转换为Convertible*?显然mVehicle 在推导Convertible::State1::processEvent() 时指向Convertible 对象。如果有自动转换,我们不需要模板。

【问题讨论】:

  • 模板。使用它们。
  • 能否提供更多信息?

标签: c++ templates inheritance polymorphism


【解决方案1】:

使用模板。

Car 内部类中移除指针(使它们成为充满纯虚的抽象类)。

添加新模板类CarT(或考虑更好的名称)

template <typename T>
class CarT {

class CarHolder {
   explicit CarHolder(T* car) : car(car) {}
   T* car;
};
class State1 : public Car::State1, protected CarHolder {
   explicit State1(Car* vehicle) : CarHolder(vehicle) {}
   virtual void run() {
       // use data of Car
       ...
       doSomething();
   }
   virtual void doSomething() {
   }
};
class State2 : public Car::State2 {
};
...
};

这样您将拥有Car 的运行时多态性和State 的以及派生类的良好编译时多态性(这反过来将消除对丑陋static_cast 的需求)

class Convertible: public CarT<Convertible> {
    typename CarT<Convertible> Base;
    class State1 : public Base::State1 {
       explicit State1(Convertible* vehicle) : Car::State1(vehicle) {}
       virtual void doSomething() {
           car->foldTop();
       }
    }
    class State2 : public Base::State2 {
    }
    ...
    void foldTop() {}
}

class Convertible : public CarT&lt;Convertible&gt; 可能看起来很奇怪,但它会起作用(CarT 仅将其模板参数用作指针,如果将其用作值成员可能会出现一些问题)

【讨论】:

  • 谢谢!我尝试了类似的方法,但我无法解决编译错误。在您的示例中,您的意思是class State1 : public CarHolder { 而不是class State1 : public Car::State1 {?从Car*Convertible* 似乎存在转换错误。
【解决方案2】:

此实现不使用强制转换、重复指针、虚拟 getter 或 CRTP。它具有三个并行的层次结构:

  • 汽车
  • 纯抽象接口的抽象汽车状态
  • 具体的汽车状态,其中状态由汽车的实际运行类型参数化。

所以我们有例如

Car                   Car::AbstractState                Car::State<C>
|                     |                                 |
+--- Convertible      +--- Convertible::AbstractState   +--- Convertible::State<C>
|    |                |    |                            |    |
|    +--- Racer       |    +--- Racer::AbstractState    |    +--- Racer::State<C>
+--- Hybrid           +--- Hybrid::AbstractState        +--- Hybrid::State<C>

每个具体状态都派生自并实现了相应的抽象状态。如果我们有一个指向ConvertibleCar*,并且我们查询它的状态,我们会得到一个Car::AbstractState*,它指向一个最终类型为Convertible::State&lt;Convertible&gt; 的具体状态对象。然而,汽车层次结构的用户不知道也不关心模板机制。

代码:

#include <iostream>
using namespace std;

struct Trace
{
    Trace(const char* s) : s (s)
    {
        cout << s << " start\n";
    }

    ~Trace()
    {
        cout << s << " end\n";
    }

    const char* s;
};

struct Car {
    struct AbstractState
    {
        virtual void run() = 0;
    };

    template <typename C>
    struct State : virtual AbstractState
    {
        explicit State(C* vehicle) : mVehicle(vehicle) {}
        virtual void run()
        {
            Trace("Car::State::run");
            doSomething();
        };
        virtual void doSomething()
        {
            Trace("Car::State::doSomething");
        }
        C* mVehicle;
    };

    virtual AbstractState* getState() { return new State<Car>(this); }
};


struct Convertible : Car {

    struct AbstractState : virtual Car::AbstractState
    {
        virtual void runBetter() = 0;
    };

    template <typename C>
    struct State : Car::State<C>, virtual AbstractState
    {
        using Car::State<C>::mVehicle;
        explicit State(C* vehicle) : Car::State<C>(vehicle) {}
        void doSomething()
        {
            Trace("Convertible::State::doSomething");
            Car::State<C>::doSomething();
            mVehicle->foldTop();
        }

        void runBetter()
        {
            Trace("Convertible::State::runBetter");
            run();
            doSomethingElse();
        };

        virtual void doSomethingElse()
        {
            Trace("Convertible::State::doSomethingElse");
        }
    };

    void foldTop()
    {
        Trace("Convertible::foldTop");
    }

    Convertible::AbstractState* getState() { return new State<Convertible>(this); }
};

int main ()
{
    Car car;
    Convertible convertible;
    Car& car2(convertible);

    cout << "runing car\n";
    Car::AbstractState* carstate = car.getState();
    carstate->run();

    cout << "runing convertible\n";
    Convertible::AbstractState* convertiblestate = convertible.getState();
    convertiblestate->run();

    cout << "runing car2\n";
    Car::AbstractState* carstate2 = car2.getState();
    carstate2->run();
}

【讨论】:

  • 非常感谢!这种设计的一个很好的例子。 using Car::State&lt;C&gt;::mVehicle; 解决我遇到的问题。
猜你喜欢
  • 2015-02-04
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 2019-09-01
  • 1970-01-01
  • 1970-01-01
相关资源
最近更新 更多