C++ Primer抄书笔记(二)——变量和基本类型(下)

0
12

四、const限定符【引用/指针/顶层/常量表达式】

const对象值不变,必须初始化,能完成此type的大部分operation。

一般,多文件独立变量,编译初始化仅文件内有效;

除非,(条件:初值不是常量表达式 and 声明+定义 都有 extern);

//file.h
extern const int bufSize;
//file.cc
extern const int bufSize=fcn();

//引用reference to const

不可通过此reference改变object的值。

ps:这并不代表,不可以通过其他reference来改变object的值。

“常量引用”:引用bind对象,本身就不可能再去bind其他对象了,so引用必是const的;reference本身不是object,变不了。

const type & 可以绑定任何表达式,甚至可以打破类型限制——但非法;

double dVal=3.14;
const int &ri=dVal;
//原理
const int temp=dVal;
const int &ri=temp;
//temp,即 临时量 temporary

//指针

pointer to const 指向常量的指针:存const type的object的address只能用它。

ps:这并不代表,它只能存const type的object的address;即不变的是object,pointer随意。

so:reference/pointer to const 只是它们自以为自己 to const 了。

const pointer 常量指针:不变的是pointer,即不可以通过pointer来改变object的值。

ps:不变的是初始化了的address,object随意。

double dVal=3.14;
const double cd=3.141592;
const double *pcd=&dVal;
const double *const pcdc=&cd;

从右向左,pcdc是const pointer point to const double。

//顶层const

top-level const:必是object,任意type适用。

low-level const:引用和pointer to const。

const int ci=42;
const int *pci=&ci;//low
const int &r=ci;//low
const int *const pci_=pci;//第一个const是low,第二个const是top

ps:low-level const 拷贝限制:二者都要底层const资格且可类型转换。【难搞哦】

//常量表达式const expression

编译时得值,且值不变。

角度刁钻,不方便使用,提供constexpr声明语句(可定义变量和函数)->供编译器提前验证其值是否是const expression。

constexpr的定义范围:算数类型、引用、指针(初值nullptr/0/pointer to const,仅对pointer有效即顶层);一般在函数体外,函数体内可定义有效范围超出函数体的变量【比较魔幻】

const int *p=nullptr;   //p是 pointer to const int
constexpr int *q=nullptr;//q是 const pointer to int

ps:constexpr会把其object置为顶层const。

五、处理类型【类型别名/auto/decltype】

//类型别名type alias

typedef double wages;
typedef wages base,*p;

复合类型/常量:typedef定义的是类型别名,此声明符包含类型修饰符。

typedef char *pstring;
const pstring *ps;
const pstring cstr=0;
const char *cstr=0;//和楼上不是一个意思

C++11,别名声明alias declaration:

using SI=Sale_item;

//auto->让编译器替你分析(through 初始值)表达式所属类型。

auto定义的变量必须有初始值,且同一条声明中所有变量base type必须相同,类型修饰符不算。

auto i=0,*p=&i;
auto sz=0,pi=3.14;//错

auto会忽略顶层const,保留底层const。

int i=0;    
const int ci=i,&cr=ci;    
auto d=&i;    //d是指向int型pointer
auto e=&ci;    //e是指向const int型pointer
const auto f=ci;  //f是const int
auto &h=42;    //error:非常量引用不能bind字面值
const auto &j=42; //常量引用可以bind字面值
auto k=ci,&l=i;    //k是int,l是int型引用
auto &m=ci,*p=&ci;    //m是const int型ci的引用,p是指向const int型 ci 的指针
auto &n=i,*p2=&ci;    //error:n是int型i的引用,p2是指向const int型i的指针

设置一个类型为auto的引用时,初始值中的顶层常量属性任然保留。和往常一样,如果我们给初始值绑定一个引用,则此时的常量就不是顶层常量了。【不懂】

//decltype->要表达式的返回类型,但不要值,使目标初始化。

编译器分析表达式并得到它的类型,但不算值。

若,表达式是变量,返回变量type(包括顶层const和引用):

const int ci=0,&cj=ci;
decltype(ci) x=0;
decltype(cj) y=x;//此处cj就是cj,而不是ci,即y绑定x

若,表达式不是变量,返回结果对应类型:

int i=42,*p=&i,&r=i;
decltype(r+0) b;//b是int型
decltype(*p) c;//error:c是int&,必须初始化

若,多加一对(),即decltype((xxx)),编译器会误以为其是表达式,而返回引用类型(因为赋值语句左值是变量):

decltype((i)) d;//error:d是int&,必须初始化

六、自定义数据结构【…/头文件/预处理器】

struct/class什么什么的。

ps:可为类内的data member提供一个类内初始值in-class initializer。

//头文件

包含那些只能被定义一次的实体。

隐式多次包含->预处理,保证程序安全正常工作。

//预处理器preprocessor->头文件保护符header guard

#include,编译前执行,改变部分程序

预处理变量:已定义/未定义,必须唯一,一般大写

#define:设定预处理变量;

#ifdef/#ifndef:变量已定义,为真/变量未定义,为真;

#endif:为止;

#ifndef SALES_DATA_H
#define SALES_DATA_H
#include <string>
struct Sales_data{
    std::string bookNo;
    unsigned units_sold;
    double revenue=0.0;
};
#endif

<

发布回复

请输入评论!
请输入你的名字