为什么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)到您的支票功能。无需该成员。