Как получить типизированный nullptr «литерал»? ⇐ C++

[Anonymous]

Я только что узнал, что std::is_pointer_v преобразуется в false, поэтому код ниже:

Код: Выделить всё

template  std::string_view type_str() { /* returns the name of the type */ }
template  const auto type_name = type_str();

template  void fptr(const T *const t) {
if (t)
std::print("{} = {:X}.\n", static_cast(t), *t);
else
std::print("nullptr.\n");
}
// #1
template  requires std::is_pointer_v void f(T t) {
std::print("[{}] is pointer --> ", type_name);
fptr(t);
}
// #2
template  void f(T t) {
std::print("[{}] is NOT pointer.\n", type_name);
}

int main()
{
const auto v0 = 0xfabada;
auto v1 = 0xc0ffee;

f(&v0);
f(&v1);
f(nullptr);

return 0;
}

Выдает следующий результат:

Код: Выделить всё

[const int*] is pointer --> 0xWHATEVER = FABADA.
[int*] is pointer --> 0xWHATEVER = C0FFEE.
[std::nullptr_t] is NOT pointer.

Я ожидал, что std::is_pointer_v вернет true, поэтому вызвал функцию #1, единственное обходное решение, которое На данный момент я решил создать что-то вроде типизированного nullptr:

Код: Выделить всё

template 
constexpr T *NULLPTR = nullptr;

…

f(&v0);
f(&v1);
f(nullptr);
f(NULLPTR);

…

Что печатается:

Код: Выделить всё

[const int*] is pointer --> 0xWHATEVER = FABADA.
[int*] is pointer --> 0xWHATEVER = C0FFEE.
[std::nullptr_t] is NOT pointer.
[int*] is pointer --> nullptr.

Но мне интересно, есть ли какой-нибудь другой способ получить nullptr, который приведет к тому, что std::is_pointer_v будет истинным без создания (шаблона) переменная) экземпляр указателя, который может привести к потенциальным ошибкам. Перенос информации о типе указателя является плюсом.

Пример кода здесь.

Подробнее здесь: https://stackoverflow.com/questions/793 ... tr-literal