使用std :: forward重載函數轉發

Question

我想知道是否可以在類型上使用某些約束來進行轉發，以便可以自動執行重載。例如，假設我有以下基本函數：

int f(A a, B b) 
{ 
    return g(a) + h(b); 
} 

其中A和B是包含所有適當的複製和移動構造函數的類，和g和h是函數的每一個具有兩個重載：int g(const A&)，int g(A&&) ，和h一樣。通常的方式轉發a和b在f將

template <typename T1, typename T2> 
int f(T1&& a, T2&& b) 
{ 
    return g(std::forward<T1>(a)) + h(std::forward<T2>(b)); 
} 

不過，我想也添加另一種方式來使用此功能：如果我嘗試使用轉發與此重載

int f(B b, A a) 
{ 
    return g(a) + h(b); 
} 

，生成的模板函數會這樣：

template <typename T1, typename T2> 
int f(T1&& b, T2&& a) 
{ 
    return g(std::forward<T1>(a)) + h(std::forward<T2>(b)); 
} 

它將與第一個模板發生衝突。

所以我的問題是，當我寫一個模板函數轉發，我能約束T1和T2，這樣在第一超載，T1只能綁定到const A&和A&&，而第二個重載可以觸發如果T1是const B&或B&&？

沒有這樣的機制，我需要明確地寫8個重載。

注：我想我也許能在這個玩具爲例做了一些模板的東西（有點討厭）從type_traits，但我想第一個知道，如果有一個更簡單的方法，因爲在現實中，過載可比這個玩具的例子更多不同。

Answer 1

我可以約束T1和T2，以便在所述第一過載，T1可以僅結合const A&和A&&？

是的。這個概念被稱爲SFINAE（Substituation失敗不是一種錯誤），基本上是這樣的：

template <typename T1, typename T2, 
      std::enable_if_t<std::is_same<A, std::decay_t<T1>>::value>* = nullptr 
      > 
int f(T1&& a, T2&& b); 

如果T1不「衰變」到A，那麼enable_if_t<>類型會形成不良的，這超載將被拋出。

如果說的太詳細，你可以寫一個別名：

template <typename From, typename To> 
using enable_if_decays = std::enable_if_t<std::is_same<To, std::decay_t<From>>::value>; 

template <typename T1, typename T2, 
      enable_if_decays<T1, A>* = nullptr> 
int f1(T1&& a, T2&& b); 

template <typename T1, typename T2, 
      enable_if_decays<T1, B>* = nullptr> 
int f1(T1&& b, T2&& a); 

// etc. 

Answer 2

的其他可能性是獲取正確的參數根據其類型

像

template <typename T1, typename T2> 
int f(T1&& t1, T2&& t2) 
{ 
    auto t = std::forward_as_tuple(t1, t2); 
    return g(my_get<A>(t)) + h(my_get<B>(t)); 
} 

與my_get<T>類似於std::get<T>(TUPLE&)，但取決於元組內容類型檢索T&&或T& 。