使用方法的返回類型作爲參數類型的另一種方法的一個奇怪的循環模板類

Question

請考慮下面的代碼片段：

template<class E> 
class vector_expression 
{ 
public: 
    auto size() const { 
     return static_cast<E const&>(*this).size(); 
    } 

    auto operator[](/* type equal to E::size_type */ i) const 
    { 
     if (i >= size()) 
      throw std::length_error(""); 
     return static_cast<E const&>(*this)[i]; 
    } 
}; // class vector_expression 

template<typename T, class Tuple = std::vector<T>> 
class vector 
    : public vector_expression<vector<T, Tuple>> 
{ 
public: 
    using value_type = T; 
    using size_type = typename Tuple::size_type; 

    size_type size() const { 
     return m_elements.size(); 
    } 

    value_type operator[](size_type i) const { /* ... */ } 

private: 
    Tuple m_elements; 
}; // class vector 

類型參數的vector_expression<E>i應等於E::size_type的。對於一個合理的理由，typename E::size_type不在這裏工作了。出於同樣的原因，std::result_of_t<decltype(&size)(vector_expression)>在這裏不起作用。

那麼，我們如何才能做到這一點，如果我們能做到嗎？

Answer 1

你可以明確地把它作爲一個模板參數vector_expression：

template<class E, class size_type> 
class vector_expression ... 

template<typename T, class Tuple = std::vector<T>> 
class vector 
    : public vector_expression<vector<T, Tuple>, 
           typename Tuple::size_type> ... 

編輯：

也可以把有問題的函數爲成員函數模板，所以它是沒有實例化，直到看到完整的類定義：

template <typename K = E> 
auto operator[](typename K::size_type i) const 
{ 
    if (i >= size()) 
     throw std::length_error(""); 
    return static_cast<K const&>(*this)[i]; 
}