C++如何基于类型条件筛选tuple元组元素并执行指定操作

原方案的运行时开销问题 #

你推测的“遍历全部元素”仅发生在编译期模板实例化阶段，运行时不会有任何多余的遍历或判断开销。
原代码里的if constexpr是编译期分支，实例化每个元素对应的arithmetic_call时，非算术类型的分支会被编译器直接丢弃，连空函数调用都会被优化掉，最终生成的机器码和你手动挑出所有符合条件的元素调用是完全等价的，不存在性能浪费。

编译期筛选索引的可行实现 #

你设想的“编译期先筛选目标索引、仅对索引对应元素执行操作”的方案完全可行，核心是通过编译期递归生成符合类型约束的索引序列，再直接展开索引调用std::get取元素即可，参考实现如下：

#include <iostream>
#include <string>
#include <tuple>
#include <type_traits>
#include <utility>

template <typename... Args>
struct Foo {
    using my_tuple = std::tuple<Args...>;

private:
    my_tuple tuple_;

    // 编译期筛选满足谓词的元素索引，返回对应index_sequence
    template <template <typename T> class Pred, size_t CurIdx = 0, size_t... PassedIdx>
    static constexpr auto filter_indices() {
        if constexpr (CurIdx == sizeof...(Args)) {
            return std::index_sequence<PassedIdx...>{};
        } else {
            using CurType = std::tuple_element_t<CurIdx, my_tuple>;
            if constexpr (Pred<CurType>::value) {
                // 当前元素符合条件，把索引加入结果序列
                return filter_indices<Pred, CurIdx + 1, PassedIdx..., CurIdx>();
            } else {
                // 不符合条件，跳过当前索引
                return filter_indices<Pred, CurIdx + 1, PassedIdx...>();
            }
        }
    }

    template <typename Fn, size_t... TargetIdx>
    void invoke_by_index(Fn&& fn, std::index_sequence<TargetIdx...>) {
        // 仅展开符合条件的索引，直接取元素调用
        (fn(std::get<TargetIdx>(tuple_)), ...);
    }

public:
    template <typename Fn>
    void CallForArithmetic(Fn&& fn) {
        // 编译期拿到所有算术类型元素的索引
        constexpr auto target_indices = filter_indices<std::is_arithmetic>();
        invoke_by_index(std::forward<Fn>(fn), target_indices);
    }
};

int main() {
    Foo<int, std::string, double, char> foo{};
    int calls = 0;
    // 会跳过std::string元素，仅对int、double、char调用3次
    foo.CallForArithmetic(
        [&calls](const auto& arg) { std::cout << calls++ << '\n'; }); 
}

两种方案的选择建议 #

• 性能上两种方案没有任何区别，开启O2优化后生成的机器码完全一致，都没有运行时额外开销。
• 原if constexpr配合折叠表达式的写法更简洁，不需要额外实现索引筛选逻辑，日常业务开发优先用这种写法就够了。
• 显式筛选索引的方案扩展性更强，如果后续需要复用符合条件的索引列表、或者需要获取元素在元组中的位置信息，这种写法更方便。

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