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

i的参数vector_expression<E>的类型应该等于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]; }

在一个奇怪的重复模板类中，使用方法的返回类型作为另一个方法的参数类型

1 个答案: