訪問元組元素中經由編譯時間變量C++ 11在功能

Question

以下最小示例編譯與g++ -std=c++11 -Wall tuple.cpp -o tuple：

#include <tuple> 
#include <iostream> 

template<int i> 
char get_elem_i(std::tuple<char, char> t) 
{ 
    return std::get<i>(t); 
} 

int main() 
{ 
    std::tuple<char, char> t('H','i'); 
    char c = get_elem_i<0>(t); 
    std::cout << "The char is: " << c << std::endl; 
} 

現在，我不想使用模板指定的索引（確切的原因爲什麼：我有自動推導出的模板，我不想將它們全部指定）。所以我的第一次嘗試是：

char get_elem_i(int i, std::tuple<char, char> t) 
{ 
    return std::get<i>(t); 
} 

據我所知，這不能編譯。有沒有什麼辦法可以保證編譯器在編譯時會知道i？也許這樣？

char get_elem_i(compile_time_known int i, std::tuple<char, char> t) 

Answer 1

你可以使用一個std::array代替std::tuple。在給出的例子中，元組的成員都具有相同的類型。

所以，我們可以這樣做：

char get_elem_i(int i, std::array<char, 2> t) 
{ 
    return t[i]; 
} 

---

這裏有你給說明爲什麼它在一般情況下是不能直接的例子有輕微的變體：

???? get_elem_i(int i, std::tuple<char, struct foo, class bar> t) { 
    return std::get<i>(t); 
} 

是什麼該函數的返回類型？ char？ struct foo？

---

而你總是可以寫這樣的功能：

char get_elem_i(int i, std::tuple<char, char> t) { 
    switch (i) { 
     case 0: return std::get<0>(t); 
     case 1: return std::get<1>(t); 
    } 

    assert(false); 
} 

Answer 2

如果你能知道的i在編譯的時候，那麼你可以讓周圍指定由包指定的i明確值的數值您邏輯i在constexpr。

例如：

#include <tuple> 
#include <iostream> 

constexpr int compile_time_known_i(int input) { return input/3; } 

template<int i> 
char get_elem_i(std::tuple<char, char> t) 
{ 
    return std::get<i>(t); 
} 

int main() 
{ 
    std::tuple<char, char> t('H','i'); 
    char c = get_elem_i<0>(t); 
    char d = get_elem_i<compile_time_known_i(3)>(t); 
    std::cout << "The char is: " << c << " " << d << std::endl; 
} 

鑑於你i的可以在編譯時已知，這可能有助於乾淨的東西了（雖然多少感覺這使得取決於你的使用情況）。

如果是傳遞參數的語法，那麼您可以使用預處理器來實現此目的 - 具有一些可選的安全性type_traits。

#include <tuple> 
#include <iostream> 
#include <type_traits> 

#define get_elem_i_ct(i, t)                \ 
    std::get<i>(t);                  \ 
    static_assert(std::is_integral<decltype(i)>::value, #i " must be an integral type"); \ 
    static_assert(std::is_same<decltype(t), std::tuple<char, char>>::value, #t " must be a tuple"); 

int main() 
{ 
    std::tuple<char, char> t('H','i'); 
    char c = get_elem_i_ct(0, t) 
    char d = get_elem_i_ct(1, t) 
    std::cout << "The char is: " << c << " " << d << std::endl; 
} 

雖然這達到了規定要求的語法，我不建議使用在憤怒這種方式 - 幾乎可以肯定有一個更好的解決您的實際問題。 「