C++遍历tuple处理数值累加与字符串拼接时operator+=不匹配报错如何解决

普通if是运行时分支，模板实例化时所有分支代码都会被编译校验语法合法性，哪怕逻辑上永远不会走到的分支也不例外。所以当传入的元素是字符串类型时，numericSum += tupleValue这行逻辑上永远不会执行的代码也会被编译，触发类型不匹配的错误。

核心修改：使用C++17 constexpr if #

constexpr if是编译期分支，只有条件为真的分支会被实例化编译，假分支会被直接忽略不会生成代码，从根源上避免无效分支的编译校验。

调整类型判断逻辑 #

删除原代码中逻辑错误的is_convertible<T*, string>判断，同时根据需求把char类型归到字符串拼接类，从算术累加类型中排除。

自定义便捷类型检测 #

标准库没有直接检测字符串类的内置trait，可以自行组合实现is_string_like_v，用法和is_arithmetic一样便捷：

#include <type_traits>
#include <string>

template<typename T>
constexpr bool is_string_like_v = 
    std::is_same_v<std::decay_t<T>, std::string> ||
    std::is_convertible_v<std::decay_t<T>, const char*> ||
    std::is_same_v<std::decay_t<T>, char>;

修改后完整代码 #

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

template<typename T>
constexpr bool is_string_like_v = 
    std::is_same_v<std::decay_t<T>, std::string> ||
    std::is_convertible_v<std::decay_t<T>, const char*> ||
    std::is_same_v<std::decay_t<T>, char>;

template<typename T>
void interact_with_tuple(T tupleValue, long double &numericSum, std::string &stringConcatenation, int &argumentsIgnored){
    if constexpr (is_string_like_v<T>) {
        stringConcatenation += tupleValue;
    }
    else if constexpr (std::is_arithmetic_v<T> && !std::is_same_v<std::decay_t<T>, bool> && !std::is_same_v<std::decay_t<T>, char>) {
        numericSum += tupleValue;
    }   
    else {
        argumentsIgnored += 1;
    }
    std::cout << tupleValue << std::endl;
}

int main(){
    std::tuple<int32_t, bool, std::string, float, const char*, char, int> t{10, true, "Modern", 2.3f, "C++", 'e', 13}; // 示例Tuple
    long double NumericSum = 0.0;
    std::string stringConcatenation = "";
    int argumentsIgnored = 0;
    // 遍历Tuple
    std::apply([&](auto&&... args){((interact_with_tuple(args, NumericSum, stringConcatenation, argumentsIgnored)), ...);}, t); 
    std::cout << "NumericSum: " << NumericSum << std::endl;
    std::cout << "stringConcatenation: " << stringConcatenation << std::endl;
    std::cout << "argumentsIgnored: " << argumentsIgnored << std::endl;
    return 0;
}

编译时需要指定C++17及以上标准，例如GCC编译命令：g++ test.cpp -o test -std=c++17。

运行结果 #

10
1
Modern
2.3
C++
e
13
NumericSum: 25.3
stringConcatenation: ModernC++e
argumentsIgnored: 1

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