如何避免爲採用編譯時間值的操作符編寫顯式模板參數？

Question

根據我以前的文章，我瞭解到我不能使用函數參數作爲編譯時構造的參數。這是因爲函數的參數預計在運行時，但模板參數在編譯時間處理。

因爲我很遺憾不能在參數中使用constexpr，我決定使用模板參數。它工作正常，但相對於長相我不會說這是最好的選擇：

#include <tuple> 

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

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

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

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

    int i = list.operator[]<0>(0); // How can I avoid this? 
} 

有一些方法可以讓我避免這種情況？如何避免顯式的操作符語法，如何給函數一個常量表達式？宏可以用嗎？

Answer 1

您可以添加一個包含編譯時常量的類模板（或使用這個http://www.boost.org/doc/libs/1_53_0/libs/mpl/doc/refmanual/int.html），使operator []的參數模板化，並將包裝常量的值傳遞給操作符。你的運營商修改此聲明：

int i = list[int_<0>()];