C++运行时访问tuple元素GCC 11.2编译报错如何解决？

错误触发原因 #

• 类型不匹配：原实现仅支持所有元素类型完全相同的tuple，你测试用的tuple是std::tuple<int,char,float>，三个元素类型不同，std::get<1>返回char&、std::get<2>返回float&，无法转换为声明的返回int&的函数指针类型。
• std::get重载解析失败：标准库的std::get存在多个重载（左值版本、右值版本、const修饰版本等），直接取&std::get<Indices>无法匹配你定义的函数指针类型。
• noexcept不匹配：你声明的函数指针类型带noexcept限定，但C++标准并未规定std::get为无异常函数，GCC实现的std::get也没有加noexcept修饰，导致函数类型不匹配。

调整方案 #

方案1：适配同类型tuple的运行时访问 #

如果你的使用场景仅需要处理所有元素类型相同的tuple，可以按如下修改代码：

#include <tuple>
#include <utility>
#include <type_traits>
#include <stdexcept>

template<
  typename Tuple,
  typename Indices=std::make_index_sequence<std::tuple_size<Tuple>::value>>
struct runtime_get_func_table;

template<typename Tuple,size_t ... Indices>
struct runtime_get_func_table<Tuple,std::index_sequence<Indices...>>{
    // 编译期检查所有元素类型是否相同
    static_assert(std::conjunction_v<std::is_same<typename std::tuple_element<0, Tuple>::type,
                                                  typename std::tuple_element<Indices, Tuple>::type>...>,
                  "All tuple elements must have the same type for this implementation");
    using return_type=typename std::tuple_element<0,Tuple>::type&;
    // 移除noexcept修饰
    using get_func_ptr=return_type (*)(Tuple&);
    static constexpr get_func_ptr table[std::tuple_size<Tuple>::value]={
        // 显式指定std::get的重载版本，避免解析失败
        static_cast<return_type(*)(Tuple&)>(&std::get<Indices>)...
    };
};

template<typename Tuple,size_t ... Indices>
constexpr typename
runtime_get_func_table<Tuple,std::index_sequence<Indices...>>::get_func_ptr
runtime_get_func_table<Tuple,std::index_sequence<Indices...>>::table[std::tuple_size<Tuple>::value];

template<typename Tuple>
constexpr
typename std::tuple_element<0,typename std::remove_reference<Tuple>::type>::type&
runtime_get(Tuple&& t,size_t index) {
    using tuple_type=typename std::remove_reference<Tuple>::type;
    if(index>=std::tuple_size<tuple_type>::value)
        throw std::runtime_error("Out of range");
    return runtime_get_func_table<tuple_type>::table[index](t);
}

// 同类型tuple测试用例
int main() {
    std::tuple<int ,int,int> t{1,2,3};
    auto  a =  runtime_get(t,0); // a为int&，值为1
}

方案2：支持不同类型tuple的运行时访问 #

如果需要处理元素类型不同的tuple，返回值需要用类型擦除容器std::variant承载，实现如下：

#include <tuple>
#include <utility>
#include <type_traits>
#include <stdexcept>
#include <variant>

// 将tuple的元素类型列表转换为对应的variant类型
template <typename Tuple>
struct tuple_to_variant;

template <typename... Ts>
struct tuple_to_variant<std::tuple<Ts...>> {
    using type = std::variant<Ts...>;
};

template<typename Tuple, size_t ... Indices>
constexpr typename tuple_to_variant<std::remove_reference_t<Tuple>>::type 
runtime_get_impl(Tuple&& t, size_t index, std::index_sequence<Indices...>) {
    using tuple_type = std::remove_reference_t<Tuple>;
    using variant_type = typename tuple_to_variant<tuple_type>::type;
    using Getter = variant_type(*)(tuple_type&);
    static constexpr Getter getters[] = {
        [](tuple_type& t) -> variant_type { return std::get<Indices>(t); }...
    };
    if (index >= sizeof...(Indices)) throw std::runtime_error("Out of range");
    return getters[index](t);
}

template<typename Tuple>
constexpr auto runtime_get(Tuple&& t, size_t index) {
    using tuple_type = std::remove_reference_t<Tuple>;
    return runtime_get_impl(std::forward<Tuple>(t), index, std::make_index_sequence<std::tuple_size_v<tuple_type>>{});
}

// 不同类型tuple测试用例
int main() {
    std::tuple<int ,char,float> t{10, 'a', 3.14f};
    std::variant<int, char, float> v = runtime_get(t, 1);
    // 可通过std::get<char>(v)获取值'a'，也可以用std::visit处理不同类型的返回值
}

内容的提问来源于stack exchange，提问作者getsoubl