通过替换类型重写参数包

Question

在这里，我想重写一个可变参数模板参数包并将某些类型的出现替换为另一种类型。这是一个类似伪代码的示例：

#include <string>

template <typename Params,  typename Args>
struct TermRewrite {

    template <typename... Body>
    static auto constexpr eval(){
        // Fill here...
    }
};

int main() {
    TermRewrite<int, char>::eval<int, std::string, double>(); 
    // should give me pack of types as <char, std::string, double>
    // ie. it should replace type int with char in Body...

}

这样我就可以将这些术语重写链接到最后。基本上，我想在转发之前转换可变参数模板。我怎样才能做到这一点？我无法提出解决方案。对于所有你想知道的，这是我自己编造的练习。另外，您对可用性有什么建议，以便更轻松地链接TermRewrite 调用？

Answer 1

您使用带有单个参数的元函数的参数包扩展

template<typename From, typename To>
struct replace
{
    template<typename T>
    using replace_fn = std::conditional_t<std::is_same_v<From, T>, To, T>;

    template<typename... Args>
    using apply = std::tuple<replace_fn<Args>...>;
};

请注意，您必须将结果另存为带有参数包的模板，例如 std::tuple。

如果你想链接替换，你可以写

template<typename From, typename To, typename... Args>
struct replace_impl
{
    template<typename T>
    using replace_fn = std::conditional_t<std::is_same_v<From, T>, To, T>;
    using type = std::tuple<replace_fn<Args>...>;
};

template<typename From, typename To, typename... Args>
struct replace_impl<From, To, std::tuple<Args...>>
{
    template<typename T>
    using replace_fn = std::conditional_t<std::is_same_v<From, T>, To, T>;
    using type = std::tuple<replace_fn<Args>...>;
};

template<typename From, typename To>
struct replace
{
    template<typename... Args>
    using apply = typename replace_impl<From, To, Args...>::type;
};

并用作

replace<char, float>::apply<replace<int, char>::apply<int, char, bool>>

但请注意，这意味着您不是将单个 std::tuple 视为类型，而是将其视为类型列表。