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的返回类型

 

 

 

 

 

 

 

 

 

 

 

原文地址:https://www.cnblogs.com/wongsh/p/7819911.html