我將如何實現一個函數來提取這個類的元素？

Question

我在爲了好玩而在C++中實現元組，並且陷入了困境，因爲下面的類修改了它，以便我可以通過使用模板輕鬆地通過僅使用索引來提取每個元素。類似於std :: get。

TL; DR：如何提取元組內的元素的實現看起來像？

template<typename first_t, typename ... arg_v> 
class Tuple : public Tuple<arg_v ...> 
{ 
public: 

    Tuple() 
    { 
    } 

    Tuple(const first_t&& A) : 
     element(A) 
    { 
    } 

    Tuple(const first_t& A, arg_v& ... args) : 
     element(A), Tuple<arg_v ...>::Tuple(args ...) 
    { 
    } 

    Tuple(const first_t&& A, arg_v&& ... args) : 
     element(A), Tuple<arg_v ...>::Tuple(args ...) 
    { 
    } 

    first_t element; 
}; 

template<typename last_t> 
class Tuple<last_t> 
{ 
public: 
    Tuple() 
    { 
    } 

    Tuple(const last_t& A) : 
     element(A) 
    { 
    } 

    Tuple(const last_t&& A) : 
     element(A) 
    { 
    } 
    last_t element; 
}; 

Answer 1

我使用了遞歸方法。 我知道指向void的指針是邪惡的，但我們不知道哪個類型將被返回，只有誰在使用代碼才知道它;我們想要的類型只能在最後的get之前執行。

請記住，這段代碼會將void*轉換爲你想要的東西而不做任何檢查。

class Tuple : public Tuple<arg_v ...> 
{ 
    template<typename T> 
    void get(int index, T& out) 
    { 
     out = *static_cast<T*>(get(index)); 
    } 

    void* get(unsigned int index) 
    { 
     if (index == 0) 
      return &element; 
     else 
      return Tuple<arg_v ...>::get(index - 1); 
    } 
}; 
class Tuple<last_t> 
{ 
    void* get(unsigned int) 
    { 
     return &element; 
    } 
};