C 呼叫功能具有许多不同类型

C++ call function with many different types

本文关键字:许多不 同类型 呼叫 功能      更新时间:2023-10-16

我有一个超载功能,我必须使用许多不同类型的函数。简单的方法是:

uint8_t a;
uint16_t b;
//....
double x;
doSomething(a);
doSomething(b);
//...
doSomething(x);

可以用一个Q& a说明的变异模板来简洁地表达这些呼叫。该代码看起来有点像这样:

auto doSomethingForAllTypes = [](auto&&... args) {
    (doSomething(args), ...);
};
uint8_t a;
uint16_t b;
//....
double x;
doSomethingForAllTypes(a, b, ... ,x);

,但是我必须在代码的许多地方进行此操作,因此我想仅定义一次类型列表。我想拥有像这样的概念上看起来的代码:

auto doSomethingForAllTypes = [](auto&&... args) {
    (doSomething(args), ...);
};
someContainer allTypesNeeded(uint8_t, uint16_t, ... double);
doSomethingForAllTypes(allTypesNeeded);

如何完成?

带有一些锅炉板来获得元组,您可以按照以下方式实现您想要的东西:

#include <tuple>
#include <utility>
namespace detail
{
    template<typename T, typename F, std::size_t... Is>
    void for_each(T&& t, F f, std::index_sequence<Is...>)
    {
        ( static_cast<void>(f(std::get<Is>(std::forward<T>(t)))),... );
    }
}
template<typename... Ts, typename F>
void for_each_in_tuple(std::tuple<Ts...> const& t, F f)
{
    detail::for_each(t, f, std::index_sequence_for<Ts...>{});
}
int main() {
    std::tuple<uint8_t, uint16_t, double> tup{};
    for_each_in_tuple(tup, [](auto&& arg) {
        doSomething(arg);
    });
}

实时示例

如果您想拥有一个预定义的类型序列,则可以使用Typelist aventer,如果您不想创建带有参数的元组:

#include <type_traits>
#include <utility>
void doSomething(int)
{
}
void doSomething(double)
{
}
template <typename... Args>
void doSomething(Args&&... args)
{
    (doSomething(std::forward<Args>(args)), ...);
}
template <typename ...Args>
struct TypeList{};
template <typename T>
struct DoSomethingHelper;
template <typename ...Args>
struct DoSomethingHelper<TypeList<Args...>>
{
    static void doSomething(Args&&... args)
    {
        ::doSomething(std::forward<Args>(args)...);
    }
};
template <typename T, typename ...Args>
void doSomethingForTypes(Args&&... args)
{
    DoSomethingHelper<T>::doSomething(std::forward<Args>(args)...);
}
int main()
{
    using MyTypeList = TypeList<int, double, int>;
    doSomethingForTypes<MyTypeList>(1, 1.0, 2);
}

带有std::tuplestd::apply

std::tuple<uint8_t, uint16_t, double> tup{};
std::apply([](const auto&... arg) { (doSomething(arg), ...); }, tup);