如何编写“指向 const 的指针”类型特征？

Question

我正在寻找以下结果：

/* true */  std::cout << ptr_to_const_v<const int*> << '\n';
/* true */  std::cout << ptr_to_const_v<const int*const> << '\n';
/* false */ std::cout << ptr_to_const_v<int*> << '\n';
/* false */ std::cout << ptr_to_const_v<int*const> << '\n';

这是我对类型特征的尝试：

template <typename T>
struct ptr_to_const : std::is_const<std::remove_pointer<T>> {};

这给出了所有false。

或者，

template <typename T>
struct ptr_to_const : std::is_const<const std::remove_pointer<T>> {};

这给出了所有true。

我想这是因为 const 是类型的限定符，而不是类型本身的一部分。
我能做什么？

Answer 1

您正在检查std::remove_pointer类型特征的类型，而不是应用该特征的类型。

C++14：

template <typename T>
struct ptr_to_const : std::is_const<std::remove_pointer_t<T>> {};
                                                       ^^

较旧：

template <typename T>
struct ptr_to_const : std::is_const<typename std::remove_pointer<T>::type> {};
                                    ^^^^^^^^^                      ^^^^^^

但是，由于您只是删除了指针，因此您无法判断T最初是否是指针，这使得 trait 过于宽松。由于您将此标记为 C++1z，因此您可以使用std::conjunction，这基本上是一种短路元编程&&：

template <typename T>
struct ptr_to_const : std::conjunction<
    std::is_pointer<T>, 
    std::is_const<std::remove_pointer_t<T>>
> {};

您也可以选择 C++1zbool_constant并使用&&，尽管这不会造成短路。