为什么 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) 传递给您的检查功能。不需要会员。