ICode9

精准搜索请尝试: 精确搜索
首页 > 编程语言> 文章详细

C++新特性 nullptr 和 constexpr

2022-07-17 10:34:33  阅读:180  来源: 互联网

标签:NULL int nullptr len char constexpr C++ foo


1.1 nullptr

nullptr 出现的目的时为了替代 NULL。在某种意义上说,传统 C++ 会把NULL0视为同一种东西,这取决于编译器如何定义 NULL,有些编译器会将 NULL 定义为((void*)0), 有些则会直接定义为 0
C++ 不允许直接将 void *隐式转换到其他类型,但如果 NULL 被定义为 ((void*)0),那么当编译 char *ch = NULL;时,NULL 只好被定义为 0。而这依然会产生问题,将导致 C++ 中重载特性发生混乱,考虑:

void foo(char *);

void foo(int);

对于这两个函数来说,如果 NULL 又被定义为了 0, 那么 foo(NULL); 这个语句将会去调用 foo(int),从而导致代码违反直观。
为了解决这个问题,C++11 引入了 nullptr 关键字,专门用来区分空指针、0,nullptr 的类型为 nullptr_t, 能够隐式地转换为任何指针或 成员指针类型,也能和他们进行相等或者不等的比较。

#include <iostream>

using namespace std;

void foo(char *p) { cout << "char*" << endl; }

void foo(int p) { cout << "int" << endl; }

int main() {
    char *p = NULL;

    foo(NULL); // int
    foo(nullptr) // char*
    foo(p); // char*
}

nullptr表示空指针,本质还是0,但是具备了类型。
我们把foo函数改一改:

#include <iostream>

using namespace std;

void foo(char *p) { cout << "char*" << endl; }

void foo(int* p) { cout << "int*" << endl; }

void foo(int p) { cout << "int" << endl; }

int main() {
    char *p = NULL;

    foo(NULL); // int
    foo(p); // char*
    foo(nullptr) // 出现二义性,编译不通过

    
}

验证了nullptr具有空指针类型。

注:我使用的编译器 NULL 定义如下:

img
img

1.2 constexpr

C++ 本身具备了常数表达式的概念,比如 1+23+4 这种表达式总是会产生相同的结果并且没有任何副作用。如果编译器能够在编译时就把这些表达式直接优化并植入到程序运行时 ,将能够增加程序的性能。
一个非常显著的例子就是在数组的定义阶段:

#define LEN 10

int len_foo() {
    return 5
}

int main() {
    char arr_1[10];
    char arr_2[LEN];
    int len =5;
    char arr_3[len + 5]; // 非法
    const int len_2 = 10;
    char arr_4[len_2 + 5];  // 合法
    char arr_5[len_foo() + 5]; // 非法

    return 0;

}

在 C++11 以前,在常量表达式中使用的变量必须声明为 const,在上面代码中,len_2 被定义成了常量,因此 len_2+5 是一个常量表达式,所以能够合法的分配一个数组;
而对 arr_5 来说,C++0=98 之前的编译器无法得知 len_foo() 在运行期实际上返回一个常数,这也就导致了非法的产生。
即使将 int len_foo() { return 5; } 改为 const int len_foo() { return 5; } 也无济于事。
于是 C++11 引入了 constexpr 关键字,只要

constexpr int len_foo() {
    return 5;
}

int main() {
    char arr[len_foo() + 5]; // 合法
}

就可以合法定义数组。

注:有些编译器会“自作聪明”支持可变长数组,我上面使用的 g++ 12.1.0 就能编译通过执行。但 C++ 标准是不允许的。所以不建议使用可变长数组,可以使用 vector 代替。

参考

  1. C++数组长度必须是编译时已知的?
  2. shellmad-02_C++新特性 nullptr与constexptr

标签:NULL,int,nullptr,len,char,constexpr,C++,foo
来源: https://www.cnblogs.com/jerry-1015/p/16483882.html

本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享;
2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关;
3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关;
4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除;
5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

专注分享技术,共同学习,共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有