C++模板和派生類

我想了解下面的代碼。得到的是在T派生結構，什麼是「」裝置，然後回退{}C++模板和派生類

template <class T> 
struct has_FlowTraits<T, true> 
{ 
    struct Fallback { bool flow; }; 
    struct Derived : T, Fallback { }; //What does it means ? 

    template<typename C> 
    static char (&f(SameType<bool Fallback::*, &C::flow>*))[1]; 

    template<typename C> 
    static char (&f(...))[2]; 

public: 
    static bool const value = sizeof(f<Derived>(0)) == 2; 
};

來源

2012-12-26 user1768610

'Derived'是一個'struct'，它有兩個基類：'T'和'Fallback'。 – Mankarse

它是Member Detector Idiom的實現。它使用SFINAE來檢查類型T是否有名爲flow的成員。

編輯：你問的逗號部分是multiple inheritance。 Derived的結構是（公開）從繼承而來，兩者都是 T和Fallback。

來源

2012-12-26 12:53:01 jrok

-1：並沒有真正回答OP的問題，他有一個**語法的誤解**，並詢問要解釋。 –

我意識到和編輯。 – jrok

oki :-)我刪除我downvote –

這只是多重繼承。以下是從T衍生的Derived（並且不提供進一步的定義）：

struct Derived : T { };

而下面是從兩個T和Fallback衍生的Derived：

struct Derived : T, Fallback { };

即， Derived將繼承T和的成員Fallback的成員。在這種情況下，由於Derived是一個結構體，繼承是默認公有繼承。

來源

2012-12-26 12:53:36

逗號表示它從公開或私有派生（取決於T還是Fallback是一個結構或類）。逗號僅包括那些類別，其中Derive將從中派生出來。

來源

2012-12-26 12:54:27 0x499602D2

感謝您的解釋。 – user1768610

這意味着：

的has_FlowTraits struct的定義裏面，你也可以定義一個新的struct被稱爲Derived。

你說這個結構Derived是繼承類型T和類型Fallback。（如果您之前查看該行，則剛定義了struct Fallback）。

{}只是意味着沒有更多的實施細節。此類型不需要更多的方法或屬性定義。

來源

2012-12-26 12:54:55

感謝您的解釋。 – user1768610

:-)歡迎來到SO！ –

Stephane，當我嘗試使用aix xlc 12.1進行編譯時，出現以下錯誤。「YAMLTraits.h」，第264行。20：1540-0118（S）在基本說明符中需要類名。第264行是「struct Derived：T，Fallback {};」。任何想法可能是什麼原因？ – user1768610

C++模板和派生類

回答

相關問題