使用參數包推導函數參數類型

Question

我想使用指向成員函數指針和參數包的指針調用函數。下面給出代碼：

class DemoClass { 
public: 
    void Printer(const DemoClass& sc, const int& i) { 
    } 
}; 



template<typename R, typename T, typename ... Args/*, typename ... Params*/> 
void MakeMemberActionDemoClass(R(T::*memberFunction)(Args...), Args&& ... args) 
{ 
} 

int main() 
{ 
    DemoClass d; 
    int z; 
    MakeMemberActionDemoClass(&DemoClass::Printer, d, z); 
} 

我獲得以下錯誤：

error C2782: 'void MakeMemberActionDemoClass(R (__thiscall T::*)(Args...),Args &&...)' : template parameter 'Args' is ambiguous 

1>   could be 'const DemoClass&, const int&' 
1>   or  'DemoClass&, int&' 

如果我刪除& &在MakeMemberActionDemoClass的最後一個參數，僅在誤差差值如下：

1>   could be 'const DemoClass&, const int&' 
1>   or  'DemoClass, int' 

什麼我應該這樣做，以便正確推導參數類型？

由於提前，

Answer 1

的Args兩個實例是在一個可推論上下文。它們必須產生相同的類型，否則你的編譯器會抱怨它不明確。

一種方法是在一個或另一個上下文中阻止演繹。另一種方法是停止連接它們。

template<class T>struct tag_t{using type=T;}; 
template<class Tag>using type_t=typename Tag::type; 

template<class T>using block_deduction=type_t<tag_t<T>>; 

template<class R, class T, class...Args> 
void MakeMemberActionDemoClass(
    R(T::*memberFunction)(Args...), 
    block_deduction<Args>... args 
) 
{ 
} 

這具有可能將值複製兩次的代價。

template<class R, class T, class...Args, class...Params> 
auto MakeMemberActionDemoClass(
    R(T::*memberFunction)(Args...), 
    Params&&... params 
) 
->decltype((std::declval<T*>()->*memberFunction)(std::declval<Params>()...)) 
{ 
} 

將正確地推斷他們，讓你完美向前進入memberFunction和SFINAE及早檢測到過載故障。