爲什麼SFINAE導致編譯器錯誤，它應該工作？

Question

我試圖實現一個元程序，它發現給定的指針類型是否爲const。即

• is_const<TYPE*>::value應false
• is_const<const TYPE*>::value應該是true

以下是代碼：

template<class TYPE> 
struct is_const 
{ 
    typedef char yes[3]; 
    template<typename T> 
    struct Perform 
    { 
    static yes& check (const T*&); 
    static char check (T*&); 
    }; 

    TYPE it; 
    enum { value = (sizeof(Perform<TYPE>::check(it)) == sizeof(yes)) }; 
}; 

並且編譯器錯誤消息：

In instantiation of ‘is_const<int*>’: 
instantiated from here 
error: no matching function for call to ‘is_const<int*>::Perform<int*>::check(int*&)’ 
note: candidates are: static char (& is_const<TYPE>::Perform<T>::check(const T*&))[3] [with T = int*, TYPE = int*] 
note: static char is_const<TYPE>::Perform<T>::check(T*&) [with T = int*, TYPE = int*] 

我的焦點已轉移到錯誤消息。如果你看到最後一行：

note: static char is_const<TYPE>::Perform<T>::check(T*&) [with T = int*, TYPE = int*] 

如果我們真正取代T = int*和TYPE = int*那就真的應符合相應的功能（char check()）。我急於想知道這裏出了什麼問題。

Answer 1

爲什麼這麼迂迴？怎麼樣直接的特質類：

#include <functional> 

template <typename T> struct is_const_ptr : std::false_type { }; 
template <typename T> struct is_const_ptr<const T *> : std::true_type { }; 

struct Foo {}; 

int main() 
{ 
    std::cout << is_const_ptr<Foo*>::value << is_const_ptr<const Foo*>::value << std::endl; 
} 

Answer 2

這是你的問題：

static yes& check (const T*&); 
static char check (T*&); 

當你實例is_const<int*>，你的函數定義擴展爲：

static yes& check (const int**&); 
static char check (int**&); 

然而，臨時項目（TYPE it）類型爲int*，就像您指定的那樣。你需要改變你的check函數簽名刪除指針符，就像這樣：

static yes& check (const T&); 
static char check (T&); 

Answer 3

有兩件事情錯在你的代碼。

首先，下面

static yes& check (const T*&); 
static char check (T*&); 

必須改變，以

static yes& check (const T&); 
static char check (T&); 

答二，it成員必須是static

static TYPE it; 

，或者只是通過((TYPE)0)到您的支票功能。無需該成員。