我如何做可变参数的可变模板

Question

template <typename Value>
struct ColumnValue {
    std::string columnName;
    Value value;
};

我希望打印函数根据“值”的类型来做不同的事情。

222
"hellooooo"

#include <iostream>

template <typename Value>
struct ColumnValue {
    std::string columnName;
    Value value;
};

template <template<typename> typename ...X, typename ...Y>
void print(std::string firstArg, const X<Y>& ...args) {

    for(auto val : {args...}) {
        std::cout << val.value << std::endl;
    }
}

int main() {
    ColumnValue<int> v{
        .columnName="hello",
        .value=222
    };

    ColumnValue<std::string> d{
        .columnName="hello",
        .value="hellooooo"
    };

    print("", v, d);

    return 0;
}

Answer 1

columnvalue是模板这一事实对print的签名没有任何影响。我们可以使用一个常规参数包，让编译器找出不同的类型。

其次，我们不能对参数包进行循环。然而，我们可以使用折叠表达式。

最终结果如下所示

template <typename... T>
void print(std::string firstArg, const T& ...args) {
    (std::cout << ... << args.value) << std::endl;
}

template <typename T>
void print_helper(const T& arg) {
    std::cout << arg << '\n';
}

template <typename... T>
void print(std::string firstArg, const T& ...args) {

    (print_helper(args.value), ...);
}