标准::具有通用参考的is\U指针检查

类型 T 实际上是 const char *& (根据clang)。

完美转发 . 在模板参数推导的上下文中, T&& 不是一个 右值引用 但是 转发参考 相反

左值 传递给函数模板 转发参考 T& 而不是 T . 这允许 发生: T& && .

从…起 cppreference :

如果P是对cv非限定模板参数的右值引用(所谓的转发引用),并且相应的函数调用参数是左值,对A的类型左值引用用于代替A进行推导(注意:这是std::forward操作的基础注意:在类模板参数推导中,类模板的模板参数从来不是转发引用(因为C++17))

template<class T>
int f(T&&);       // P is an rvalue reference to cv-unqualified T (forwarding reference)
template<class T>
int g(const T&&); // P is an rvalue reference to cv-qualified T (not special)

int main()
{
    int i;
    int n1 = f(i); // argument is lvalue: calls f<int&>(int&) (special case)
    int n2 = f(0); // argument is not lvalue: calls f<int>(int&&)

//  int n3 = g(i); // error: deduces to g<int>(const int&&), which
                   // cannot bind an rvalue reference to an lvalue
}

那么,remove_引用是这里的适当解决方案吗?或者有没有一种更简洁的方法来检查实际类型,而不让引用碍事?

对 remove_reference 在这里是合适的。您可能想要使用 std::remove_reference_t 避免显式 typename 和 ::type .

还有,你为什么要传递指针 转发参考 ? 你确定不想通过吗 按价值 或 通过左值引用 ?

考虑采取 const T& 相反:

template<typename T>
void CheckIfPointer(const T& value)
{
    static_assert(std::is_pointer<T>::value, "T must be of pointer type");
}