爲什麼我得到「在函數體外使用參數'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是什麼，所以它不能把它作爲模板參數。