2017.11.11 复合类型

2.3 复合类型

2.3.1 引用

引用就是为对象起了个别名，引用类型引用另外一种类型。通过将声明符写成&d的形式来定义引用类型，其中d是声明的变量名。

int ival =1024;

int &refVal= ival;          // refVal 指向ival （是ival 的另一个名字）

2.3.2 指针

指针是“指向”另外一种类型的复合类型。与引用不同，第一，指针本身就是一个对象，允许对指针赋值和拷贝，而且在指针生命周期内它可以先后指向几个不同的对象。其二，指针无须在定义时赋值。在块作用域内定义的指针如果没有被初始化，也将拥有一个不确定的值。

定义指针类型的方法将声明符写成*d的形式，其中d是变量名。

获取对象的地址

指针存放某个对象的地址，想要获取该地址，需要使用取地址符&。

int ival= 42;

int *p = &ival;          // p存放变量ival的地址，或者说p是指向变量ival 的指针

 

指针值

指针的值应属于下列4种状态之一：

1.指向一个对象。

2.指向紧邻对象所占空间的下一个位置。

3.空指针，意味着指针没有指向任何对象。

4.无效指针，也就是上述情况之外的其他值。

 

利指针访问对象

如果指针指向了一个对象，则允许使用解引用符（*）来访问该对象；

int ival = 42;

int *p= &ival;               //p存放变量ival的地址

std::cout<<*p;            //由符号*得到指针p所指的对象，输出42.

 

对指针的解引用会得出所指对象，因此如果给解引用的结果赋值，实际上也就是给指针所指的对象赋值；

*p=0;

cout<<*p;  //输出0

 

空指针

空指针不指向任何对象，以下列出生成空指针的方法；

int *p = nullptr;

int *p = 0;

int *p = NULL;          //需要首先#include <cstdlib>

 

void*     指针

void* 是一种特殊的指针类型，可用于存放任意对象的地址。

double obj = 3.14 , *pd= &obj;

void *pv=&obj;

pv=pd;

利用void* 指针能做的事比较有限：拿他和别的指针比较、作为函数的输入或输出，或者赋给另一个void*指针。

 

指向指针的指针

**表示指向指针的指针，***表示指向指针的指针的指针。

int ival=1024;

int *pi=&ival;

int **ppi=&pi;

 

 

2.4 const 限定符

 

const 可以让变量的值，保持不变。

 

const int bufsize = 512;

 

 

 

某些时候有这样一种const变量，它的初始值不是一个常量表达式，但又确实有必要在文件之间共享。这种情况下，我们不希望编译器为每个文件分别生成独立的变量。相反，我们想让这类const 对象像其他对象一样工作，也就是说，只在一个文件中定义const，而在其他多个文件中声明并使用它。

 

解决办法是，对于const 变量不管是声明还是定义都添加extern 关键字，这样只需定义一次就可以了：

 

// file_1.cc 定义并初始化了一个常量，该常量能被其文件访问

 

extern const int bufsize = fcn();

 

//file_1.h 头文件

 

extern const int bufsize；

 

file_1.cc 定义并初始化bufsize。因为这条语句包含了初始值，所以它是一次定义。然而，因为bufsize 是一个常量，必须用extern 加以限定使其被其他文件使用。

 

file_1.h 头文件中的声明也由extern做了限定，其作用是指明bufsize 并非本文件独有，它的定义将在别处出现。

 

 

 

用顶层const 表示指针本身是一个常量，而用名词底层 const 表示指针所指的对象是一个常量。

 

int i = 0;

 

int *const p1 = &i;          // 不能改变p1的值，这是一个顶层的const

 

const int ci = 42;          //不能改变ci的值，这是一个顶层const

 

const int *p2 = &ci;           //允许改变p2的值，这是一个底层const

 

const int *const p3 = p2;      // 靠右的const 是顶层const，靠左的是底层const

 

const int &r = ci;               //用于声明引用的const 都是底层const

 

 constexpr 变量          

 

允许将变量声明为constexpr类型以便由编译器来验证变量的值是否是一个常量表达式。

 

constexpr  int mf = 20;

 

constexpr int limit = mf +1;

 

constexpr int sz = size();

 

 

 

2.5 处理类型

 

2.5.1 类型别名

 

typedef double wages;             //wages 是double 的同义词

 

typedef wages base,*p;           //base是double的同义词，p是double *的同义词

 

新的声明方法

 

using SI = Sale_item;              //SI是Sale_item 的同义词

 

 

 

2.5.2  auto 类型说明符

 

auto 让编译器通过初始值来推算变量的类型。

 

 

 

2.5.3 decltype 类型指示符

 

有时会遇到这种情况：希望从表达式的类型推断出要定义的变量的类型，但是不想用该表达式的值初始化变量。decltype 的作用是选择并返回操作数的数据类型。

 

decltype（f（）） sum = x；            // sum的类型就是函数f的返回类型

 

 

 

 

 

 

 

 

 

 

 

 

 

 

标签：

版权申明：本站文章部分自网络，如有侵权，请联系：west999com@outlook.com
特别注意：本站所有转载文章言论不代表本站观点，本站所提供的摄影照片，插画，设计作品，如需使用，请与原作者联系，版权归原作者所有