decltype比較

Question

有沒有辦法在C++ 11中比較decltype的結果？

換句話說，這是爲什麼代碼無效：

template<typename T, typename U> 
void func(T& t, U& u) { 
    if(decltype(t) == decltype(u)) { 
     // Some optimised version for this case 
    } else { 
     // A more general case for differing types 
    } 
} 

我知道，在某些情況下，這種特殊的問題可以通過模板偏特化來解決;我的問題是關於decltype s的比較。

編輯：在試圖通過SFINAE提供免費函數的默認過程中出現了這個問題。也許是一個更好的問題將是爲什麼這是無效的：

template<bool B> 
bool SomeFunction() { ... } 

template<typename T, typename U> 
bool SomeFunctionWrapper(T& t, U& u) { 
    SomeFunction<decltype(t) == decltype(u)>(); 
} 

因爲我已經發現了另一種解決方案（不涉及在所有模板），但是在一個階段我嘗試這樣做：

// If it exists, the free function is defined as 
// bool AFreeFunction(); 
typedef struct { char } undefined; 
template<typename T = void> 
undefined AFreeFunction(); 

template<bool B> 
bool AFreeFunctionWrapper_() { 
    return false; 
} 

template<> 
bool AFreeFunctionWrapper_<false>() { 
    return AFreeFunction(); 
} 

bool AFreeFunctionWrapper() { 
    return AFreeFunctionWrapper_<decltype(AFreeFunction()) == decltype(undefined)>(); 
} 

我最終得到了一個使用GCC 4.6的策略的變體，但後來發現默認模板參數不允許用於MSVC中的模板函數，即使在2012 RC中也是如此。因此，最終的解決方案如下所示：

class AFreeFunction { 
public: 
    operator bool() { return false; } 
}; 

如果函數被定義，它會被調用。如果不是，則將其解釋爲該類的構造函數，然後將其隱式轉換爲bool。

Answer 1

您通常通過標籤分派來解決這個問題。此外，您已分別具有t和u - T&和U&的「聲明類型」。要比較類型是否相等，可以使用std::is_same。然而，重載決議已經解決了這個問題爲您：

template<class T> 
void f(T& v1, T& v2){ ... } // #1 

template<class T, class U> 
void f(T& t, U& u){ ... } // #2 

＃1比＃2更專業的如果兩個參數f是同一類型的。如果出於某種原因，堅持通過手動型對比解決這一點，這裏是它會怎樣看應用之前提到的幾點：

#include <type_traits> 

namespace detail{ 
template<class T, class U> 
void f(T& t, U& u, std::true_type){ ... } // #1 

template<class T, class U> 
void f(T& t, U& u, std::false_type){ ... } // #2 
} // detail:: 

template<class T, class U> 
void f(T& t, U& u){ 
    detail::f(t, u, std::is_same<T,U>()); // tag dispatching 
} 

std::is_same將從std::true_type派生如果兩個類型相同，並從std::false_type如果不。

Answer 2

爲什麼它無效？ decltype的結果就是一種類型。所以它是這樣說

if (int == int) 

其中語言顯然不允許。

您需要分離函數的兩個部分，並將專用部分放在專用類中的函數中，然後在那裏轉發呼叫。這是痛苦的。

或者，您可以使用typeid或運行時類型信息，如果您的實現正確地實現了它，雖然這會在程序運行時延遲一切（這可以減少優化）。

Answer 3

你可以做到這一點使用SFINAE（std::enable_if）：

template<typename T, typename U> 
typename std::enable_if<std::is_same<T, U>::value, void>::type func(T& t, U& u) { 
    std::cout << "same\n"; 
} 
template<typename T, typename U> 
typename std::enable_if<!std::is_same<T, U>::value, void>::type func(T& t, U& u) { 
    std::cout << "different\n"; 
} 

由於邁赫達德說，decltype(t)和decltype(u)（分別T &和U &）類型的，不是值，所以不能在價值的表達水平進行比較，但必須在元表達式（模板）級別進行比較。