通过函数中的编译时变量访问C 11中的元组元素

以下最小示例使用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);
}

我明白这不能编译.有没有办法向编译器保证我将在编译时知道？也许是这样的？

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

解决方法:

您可以使用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);
}

该函数的返回类型是什么？炭？ 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);
}

标签：c,c11,stdtuple
来源： https://codeday.me/bug/20190901/1779564.html