看看下面的伪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呢？
您可以使用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
