c++ - 从 nullptr 推导的指向模板类型？

Question

考虑功能:

template <class T> void f(const T* const ptr);

f(nullptr) 的 T 是什么？

Answer 1

我必须回答没有。来自 § 2.14.7/1(强调我的):

The pointer literal is the keyword nullptr. It is a prvalue of type std::nullptr_t. [Note: std::nullptr_t is a distinct type that is neither a pointer type nor a pointer to member type; rather, a prvalue of this type is a null pointer constant and can be converted to a null pointer value or null member pointer value.

T * 必须是 std::nullptr_t 并且因为 std::nullptr_t 不是指针类型，那是不可能的。尝试在 GCC 4.7.2 上用 nullptr 调用它会给出一个错误，表明它正在尝试调用 f(std::nullptr_t)，但只有 f (const T *)，这与 std::nullptr_t 不是 T * 的事实一致。