如何重新排序函数参数？

Question

看看下面的伪C++代码：

typedef *** SomeType1;
typedef *** SomeType2;
typedef *** SomeType3;

void BFunc(SomeType1& st1, SomeType2& st2, SomeType3& st3)
{
    /*some work*/;
}

template <typename T1, typename T2, typename T3>
void AFunc(T1& p1, T2& p2, T3& p3)
{
    BFunc(???);
}

有两个函数带有参数。参数计数大于三，但为了简单起见，例如设为三。

afunc-它是模板函数，具有与bfunc相同的参数计数，并且参数具有与bfunc相同的类型。但是（！）bfunc参数上的顺序可以（或不能）不同。例如：

BFunc(int, double, char)

AFunc<double, int, char>
AFunc<int, double, char>
AFunc<char, double, int>
AFunc<char, int, double>
...

那么如何在afunc中重新排序参数，以便使用正确的参数序列调用bfunc呢？

Answer 1

您可以使用std::get从元组中按类型提取值，并使用std::tie将参数捆绑到引用的元组中。

显然，这只有在参数类型是唯一的情况下才起作用。确保std::get使用引用类型，以避免不必要的副本。

#include <tuple>

// arbitrary argument types
struct SomeType1{};
struct SomeType2{};
struct SomeType3{};

void BFunc(SomeType1& st1, SomeType2& st2, SomeType3& st3)
{
    /*some work*/;
}

template <typename T1, typename T2, typename T3>
void AFunc(T1& p1, T2& p2, T3& p3)
{
    // Make a tuple of references to all the arguments
    auto tuple = std::tie(p1, p2, p3);

    // Find the right arguments in the tuple
    BFunc(
        std::get<SomeType1&>(tuple), 
        std::get<SomeType2&>(tuple), 
        std::get<SomeType3&>(tuple));
}

int main()
{
    SomeType1 t1;
    SomeType2 t2;
    SomeType3 t3;

    AFunc(t1,t2,t3);
    AFunc(t1,t3,t2);
    AFunc(t3,t2,t1);
    AFunc(t2,t1,t3);
    AFunc(t2,t3,t1);
    AFunc(t3,t1,t2);
}

试试这里:https://godbolt.org/z/7gdc5qozw