C++在派生類中專門化繼承模板

Question

我正在嘗試編寫一個程序，其中ServiceWorker的派生類（例如消防員）可以「對抗」類事件（火災，損傷，搶劫）派生的對象。對抗會返回一個布爾值是否成功。例如，遇到火災的消防員將會成功，但遇到搶劫的消防員不會。 ServiceWorker將跟蹤對抗的數量和成功的對抗，並且有一個對抗方法來確定對抗是否成功。

我想使用特徵來存儲ServiceWorker的每個派生類可以在其類定義中遇到的內容。然而，在ServiceWorker中，對抗方法創建traits類，但是我想將它專門化在派生類中，以便每個派生類只知道它可以面對什麼。

class Incident { }; 
class Fire : Incident { }; 
class Robbery : Incident { }; 
class Injury : Incident { }; 

class ServiceWorker { 
public: 
    ServiceWorker() : ratio(0), num_success(0), num_confronts(0) { 

    } 

    template <typename U> 
    struct can_confront { 
     static const bool result = false; 
    }; 

    double successRatio() { 
    if(ratio) 
      return ratio; 
     else 
      throw; 
    } 
    template <typename T> 
    void confront(T incident) { 
     if(can_confront<T>::result) 
      num_success++; 
     num_confronts++; 

     ratio = num_success/num_confronts; 
    } 
protected: 
    double ratio; 
    unsigned int num_success; 
    unsigned int num_confronts; 
}; 

class Firefighter : public ServiceWorker { 
public: 
    template <> 
    struct can_confront<Fire> { 
     static const bool result = true; 
    }; 
}; 

編輯

所以我設法弄明白。我擺脫了模板並使其面臨虛擬，因此使派生類的ServiceWorker只需要重新定義虛函數並使用ServiceWorker ::對立。我還添加了confront_success（）和calc_ratio（），以便更容易地添加新的ServiceWorkers。我讓消防員::對抗（）採取消防員事件，從事件繼承。這樣，爲消防員添加新事件將會很容易，因爲他們只需要繼承FirefigherIncident。

class Incident {}; 
class FirefighterIncident : public Incident {}; 
class Fire : public FirefighterIncident {}; 
class RescueCat : public FirefighterIncident {}; 

class ServiceWorker { 
public: 
    ServiceWorker() : ratio(0), num_success(0), num_confronts(0) { 

    } 

    double successRatio() { 
     if(num_confronts != 0) 
      return ratio; 
     else { 
      std::cout << "Can't divide by zero in ratio!" << std::endl; 
      throw; 
     } 
    } 

    virtual void confront(const Incident&) { 
     num_confronts++; 
     calc_ratio(); 
    } 
protected: 
    double ratio; 
    unsigned int num_success; 
    unsigned int num_confronts; 

    void calc_ratio() { 
     ratio = num_success/(double) num_confronts; 
    } 

    void confront_success() { 
     num_success++; 
     num_confronts++; 
     calc_ratio(); 
    } 
}; 

class Firefighter : public ServiceWorker { 
public: 
    using ServiceWorker::confront; 
    virtual bool confront(const FirefighterIncident&) { confront_success(); } 
}; 

Answer 1

在我看來，事情變得更清潔，如果你採取的std::true_type和std::false_type優勢。在基類，

class ServiceWorker { 
public: 
template <typename U> 
struct can_confront: std::false_type { }; 
... 

和在派生類，

class Firefighter: public ServiceWorker { 
public: 
template<typename U> 
struct can_confront: ServiceWorker::template can_confront<U> { }; 
... 

注意，我在派生類（通過繼承）重新定義can_confront，這樣我可以專門它無需專門ServiceWorker::can_confront。要做到這一點，只需添加

template<> 
struct Firefighter::can_confront<Fire>: std::true_type { }; 

外類定義。然後confront模板方法一旦if語句替換

if(can_confront<T>::value) 

然而工作，記住，你仍然留下的問題confront總是使用ServiceWorker::can_confront<T>，即使你把它通過Firefighter對象。一個簡單的解決方法是將confront的定義複製到每個派生類中。