C++11 nullptr：从入门到精通

举报
码事漫谈 发表于 2025/06/12 09:18:27 2025/06/12
【摘要】 一、引言 二、C++11之前空指针的表示方式及问题 2.1 NULL和0的使用 2.2 存在的问题 三、nullptr的引入及基本概念 3.1 引入原因 3.2 基本概念 四、nullptr的应用场景 4.1 初始化指针 4.2 条件判断 4.3 函数重载 4.4 模板编程 4.5 智能指针 4.6 作为函数返回值 五、nullptr与NULL、0的对比 5.1 类型方面 5.2 隐式转换...

一、引言

在C++编程中，指针是一个强大而重要的概念，但同时也伴随着一些潜在的风险和挑战。其中，空指针的处理尤为关键，因为错误地使用空指针可能会导致程序崩溃或产生未定义的行为。在C++11标准之前，通常使用NULL或0来表示空指针，但这两种方式存在一些缺陷，容易引发歧义。为了解决这些问题，C++11引入了一个新的关键字nullptr，它为表示空指针提供了一种更安全、更清晰的方式。本文将详细介绍nullptr的相关知识，帮助你从入门到精通地掌握它。

二、C++11之前空指针的表示方式及问题

2.1 NULL和0的使用

在C++11之前，常用NULL或0来表示空指针。NULL通常是一个宏定义，在C语言中，它常被定义为((void*)0)，而在C++中，由于类型系统的严格性，NULL常被定义为整数0（如#define NULL 0）。例如：

#include <iostream>

int main() {
    int* ptr1 = NULL; // 使用NULL初始化指针
    int* ptr2 = 0;    // 使用0初始化指针
    return 0;
}

2.2 存在的问题

然而，这种表示方式存在一些问题，主要体现在类型安全、重载函数调用和模板推导方面。例如，当存在函数重载时：

#include <iostream>

void func(int);    // 重载1：接受整数
void func(char*);  // 重载2：接受指针

void func(int num) {
    std::cout << "Called func with int: " << num << std::endl;
}

void func(char* ptr) {
    if (ptr) {
        std::cout << "Called func with char*: " << *ptr << std::endl;
    } else {
        std::cout << "Called func with null char*" << std::endl;
    }
}

int main() {
    func(NULL);        // 调用重载1，而非预期的重载2！
    return 0;
}

在上述代码中，由于NULL被定义为0，编译器会优先匹配整数类型的重载函数，而非指针类型，这就导致了调用结果与预期不符，产生了歧义。

三、nullptr的引入及基本概念

3.1 引入原因

为了解决NULL和0表示空指针时存在的问题，C++11引入了nullptr。它是一种专门用于表示空指针的类型，与整数0不相关，能够明确区分空指针和整数，从而避免类型混淆。

3.2 基本概念

nullptr是C++11引入的关键字，用于表示空指针常量。它具有自己的类型std::nullptr_t，可以隐式转换为任何原始指针类型，但不能转换为整数类型。例如：

#include <iostream>

int main() {
    int* ptr = nullptr; // 使用nullptr初始化指针
    if (ptr == nullptr) {
        std::cout << "ptr is nullptr" << std::endl;
    }
    return 0;
}

在上述代码中，ptr被初始化为nullptr，通过ptr == nullptr的判断可以清晰地知道ptr是空指针。

四、nullptr的应用场景

4.1 初始化指针

可以使用nullptr来初始化指针，明确表示该指针为空。例如：

#include <iostream>

int main() {
    int* ptr = nullptr; // 使用nullptr初始化指针
    if (ptr == nullptr) {
        std::cout << "ptr is initialized to nullptr" << std::endl;
    }
    return 0;
}

4.2 条件判断

在条件判断中，使用nullptr可以更清晰地表达指针是否为空的情况。例如：

#include <iostream>

void foo(int* ptr) {
    if (ptr == nullptr) {
        std::cout << "Pointer is nullptr" << std::endl;
    } else {
        std::cout << "Pointer is not nullptr" << std::endl;
    }
}

int main() {
    foo(nullptr); // 传递nullptr作为参数
    return 0;
}

4.3 函数重载

nullptr可以帮助解决函数重载中的歧义问题，特别是涉及到指针和整数类型的重载。例如：

#include <iostream>

void func(int);    // 重载1：接受整数
void func(int*);   // 重载2：接受指针

void func(int num) {
    std::cout << "Called func with int: " << num << std::endl;
}

void func(int* ptr) {
    if (ptr) {
        std::cout << "Called func with int*: " << *ptr << std::endl;
    } else {
        std::cout << "Called func with null int*" << std::endl;
    }
}

int main() {
    func(nullptr);  // 调用重载2
    func(0);        // 调用重载1
    return 0;
}

在上述代码中，func(nullptr)会明确调用接受指针参数的重载函数，而func(0)会调用接受整数参数的重载函数，避免了使用NULL时可能出现的歧义。

4.4 模板编程

在模板编程中，使用nullptr可以提高代码的通用性和可读性，避免了与整数0混淆的问题。例如：

#include <iostream>

// 通用模板
 template<typename T>
void func(T* t) {
    std::cout << "General template" << std::endl;
}

// 特化模板
 template<>
void func(std::nullptr_t) {
    std::cout << "Specialized for nullptr" << std::endl;
}

int main() {
    func(nullptr); // 调用特化模板
    return 0;
}

在上述代码中，当传递nullptr时，会调用专门为nullptr特化的模板函数，使代码更加清晰和易于维护。

4.5 智能指针

nullptr可用于初始化智能指针，表示智能指针不拥有任何资源。例如：

#include <iostream>
#include <memory>

int main() {
    std::shared_ptr<int> p1 = nullptr;  // 正确
    std::shared_ptr<int> p2 = NULL;     // 不推荐（可能引发警告）
    return 0;
}

在上述代码中，使用nullptr初始化std::shared_ptr<int>是推荐的做法，而使用NULL可能会引发警告。

4.6 作为函数返回值

当函数需要返回指针类型时，可以使用nullptr来表示空指针或无结果的情况。例如：

#include <iostream>

int* func(bool flag) {
    if (flag) {
        return new int(42);
    }
    return nullptr;
}

int main() {
    int* result = func(false);
    if (result == nullptr) {
        std::cout << "Function returned nullptr" << std::endl;
    }
    return 0;
}

在上述代码中，当flag为false时，func函数返回nullptr，表示没有有效的结果。

五、nullptr与NULL、0的对比

5.1 类型方面

表示方式 类型
nullptr std::nullptr_t
NULL 通常为整数0（C++中）
0 整数

nullptr具有明确的类型std::nullptr_t，而NULL和0在类型上不够明确，容易与整数混淆。

5.2 隐式转换方面

  • nullptr仅允许转为指针类型，不能隐式转换为整数类型。例如：
int x = nullptr; // 错误：不能将nullptr转换为int
  • NULL和0可转为整数或指针。例如：
int y = NULL; // 可以编译通过

5.3 重载匹配方面

  • nullptr能精确匹配指针重载。例如：
#include <iostream>

void process(int* ptr) { /* 处理指针 */ }
void process(int num)  { /* 处理整数 */ }

int main() {
    process(nullptr);  // 调用指针版本
    return 0;
}
  • NULL可能匹配整数重载，容易产生歧义。例如：
#include <iostream>

void process(int* ptr) { /* 处理指针 */ }
void process(int num)  { /* 处理整数 */ }

int main() {
    process(NULL);  // 可能调用整数版本，产生歧义
    return 0;
}

5.4 模板推导方面

  • nullptr能明确推导为指针类型。例如：
#include <iostream>

 template<typename T>
void f(T* ptr) { /* ... */ }

int main() {
    f(nullptr); // 正确：T被推导为指针类型
    return 0;
}
  • NULL可能推导为整数导致错误。例如：
#include <iostream>

 template<typename T>
void f(T* ptr) { /* ... */ }

int main() {
    f(NULL); // 可能推导为整数，导致错误
    return 0;
}

5.5 代码意图方面

  • nullptr清晰表达“空指针”，使代码意图一目了然。例如：
int* ptr = nullptr; // 明确表示ptr是空指针
  • NULL和0容易误解为整数值，代码意图不够清晰。例如：
int* ptr = NULL; // 容易让人误解为是整数赋值

六、nullptr的优势

6.1 类型安全

nullptr具有明确的类型std::nullptr_t，只能被隐式转换为指针类型，而不能被转换为整数类型，这有效避免了类型不匹配的问题。例如，以下代码会编译错误：

int num = nullptr; // 编译错误，不能将nullptr赋值给整数

而使用NULL时，可能会出现类型不匹配的情况：

int num = NULL; // 可以编译通过，但可能不是预期的行为

6.2 消除歧义

在函数重载和模板编程中，nullptr可以避免使用NULL或0时可能出现的歧义。例如，在函数重载的情况下，使用nullptr可以明确指定调用哪个版本的函数：

#include <iostream>

void func(int);    // 重载1：接受整数
void func(char*);  // 重载2：接受指针

void func(int num) {
    std::cout << "Called func with int: " << num << std::endl;
}

void func(char* ptr) {
    if (ptr) {
        std::cout << "Called func with char*: " << *ptr << std::endl;
    } else {
        std::cout << "Called func with null char*" << std::endl;
    }
}

int main() {
    func(nullptr);  // 调用重载2
    func(0);        // 调用重载1
    return 0;
}

6.3 提高代码可读性和可维护性

nullptr明确表示一个指针不指向任何对象，这种明确的表示方式提高了代码的可读性和可维护性。与使用NULL或0相比，代码的意图更加清晰，减少了误解的可能性。例如：

// 使用nullptr
char* ptr = nullptr;
if (ptr == nullptr) {
    // do something
}

// 使用0
char* ptr2 = 0;
if (ptr2 == 0) {
    // do something
}

在上述代码中，使用nullptr的代码更易于理解，因为它明确表示ptr是空指针。

6.4 与现代编程特性兼容

C++11不仅引入了nullptr，还引入了许多其他现代编程特性，例如智能指针（如std::unique_ptr和std::shared_ptr）。nullptr在这些特性中也扮演了重要角色。例如，使用nullptr初始化智能指针，使得代码更加清晰，并且与智能指针的语义更为一致：

#include <memory>

std::unique_ptr<int> p1(new int(10));
std::unique_ptr<int> p2 = nullptr;

七、使用nullptr的注意事项

7.1 编译器支持

确保你的编译器支持C++11及以上标准，因为nullptr是C++11引入的新特性。例如，GCC 4.8及以上版本、MSVC 2013及以上版本都支持nullptr。

7.2 逐步替换旧代码

尽管nullptr带来了诸多好处，但对于已有的大量C++代码，完全过渡到使用nullptr需要一定的时间和精力。因此，可以逐步在新代码中使用nullptr，同时保留旧代码中的NULL，从而平滑地过渡到新标准。例如，可以使用静态分析工具（如Clang - Tidy）来自动检测NULL的使用，并逐步将其替换为nullptr。

7.3 避免不必要的比较

在使用nullptr时，避免进行不必要的比较。例如，不要将nullptr与NULL或0进行比较，因为它们的语义和类型不同。直接使用ptr == nullptr或ptr != nullptr来判断指针是否为空即可。

八、总结

nullptr是C++11引入的一个重要特性，它为表示空指针提供了一种更安全、更清晰的方式。通过使用nullptr，可以显著提高代码的可读性、安全性和可维护性，避免许多由空指针引发的潜在错误。在C++11及更高版本中，强烈推荐使用nullptr来替代旧式的NULL宏。在实际编程中，我们应该充分利用nullptr的优势，遵循相关的使用原则和注意事项，编写出更加健壮和高效的C++代码。

【声明】本内容来自华为云开发者社区博主，不代表华为云及华为云开发者社区的观点和立场。转载时必须标注文章的来源（华为云社区）、文章链接、文章作者等基本信息，否则作者和本社区有权追究责任。如果您发现本社区中有涉嫌抄袭的内容，欢迎发送邮件进行举报，并提供相关证据，一经查实，本社区将立刻删除涉嫌侵权内容，举报邮箱： cloudbbs@huaweicloud.com
C++
  • 点赞
  • 收藏
  • 关注作者

评论（0）

0/1000
抱歉，系统识别当前为高风险访问，暂不支持该操作

全部回复

上滑加载中

设置昵称

在此一键设置昵称，即可参与社区互动！

*长度不超过10个汉字或20个英文字符，设置后3个月内不可修改。

*长度不超过10个汉字或20个英文字符，设置后3个月内不可修改。

确认 取消

加入云驻计划，成为创作者

  • 华为云周边好礼
  • 免费体验产品
  • 特殊身份标识
  • 线下官方门票
  • 内部专家零距离
  • 与10000+优质创作者共同成长
立即加入