c – 如果有专门的函数和模板函数,为什么没有必要专门用于`std :: nullptr_t`

请考虑以下代码：

#include <iostream>
using namespace std;

void fun(const char* s){
    if (s == nullptr) {
        puts("const char* nullptr");
    } else {
        printf("%s\n", s);
    }
}

template <typename T>
void fun(T* p){
    printf("%p\n", p);
}

int main() {
    int a;
    fun("abc"); // Resolves to fun(const char*)
    fun(&a); // Specializes the template to int*
    fun(nullptr); // Uses fun(const char*)??
    fun(NULL); // Same as above
}

我很惊讶g 7.2.0没有抛出关于模糊重载决策的错误,因为我认为nullptr和NULL可以适合任何指针类型,包括模板专用的fun(int *),前提是没有重载专门用于std :: nullptr_t.

为什么fun(nullptr)和fun(NULL)直接解析为fun(const char *)？

解决方法:

std :: nullptr_t不是指针,因此它不会在函数模板中与T *进行模式匹配.

由于这是违反直觉的,因此以下断言不会触发：

static_assert(std::is_pointer<std::nullptr_t>() == false);

至于NULL,它是一个实现定义的宏.如果要相信cppreference,它可以是值为零的整数文字(因此不是指针),也可以是std :: nullptr_t类型的prvalue,如上所述.它不是void *指针.

标签：c,language-lawyer,null,overload-resolution,nullptr
来源： https://codeday.me/bug/20190828/1748645.html