为什么我得到“在函数体外使用参数'N'”？

Question

我试图超载[]运营商，所以我可以访问std::tuple的元素。出于某种原因，我收到以下错误：

prog.cpp:11:73: error: use of parameter ‘N’ outside function body
prog.cpp:11:73: error: use of parameter ‘N’ outside function body
prog.cpp:11:73: error: use of parameter ‘N’ outside function body
prog.cpp:11:89: error: template argument 1 is invalid

很奇怪，因为他们大多是第一次的重复。我不明白为什么我得到这个错误，因为不是晚期返回类型的全部要点，以便我们可以使用返回类型的参数？

#include <tuple> 

template <class... Args> 
struct type_list 
{ 
    std::tuple<Args...> var; 

    type_list(Args&&... args) : var(std::forward<Args>(args)...) {} 

    auto operator[](std::size_t const N) -> typename std::tuple_element<N, std::tuple<Args...>>::type&& 
    { 
     return std::get<N>(var); 
    } 
}; 

int main() 
{ 
    type_list<int, int, bool> array(2, 4, true); 
} 

如果任何人都可以解释为什么这种情况正在发生，我怎么能得到这个工作，这将是非常赞赏。谢谢。

Answer 1

您正在尝试使用函数参数N从operator[]（这是在编译时不知道）作为std::tuple_element模板参数，它必须在编译时是已知的。

Answer 2

模板参数N是编译时的东西，而operator[]参数N仅在运行时实现。编译器不知道N是什么，所以它不能把它作为模板参数。