c++primer第二遍阅读感悟(chap2)

时间:2022-08-16 16:44:49

2.2.1|变量定义:关于{}花括号的列表初始化|当用于内置类型的变量时,这种初始化形式有一个重要特点:如果使用列表初始化且初始值存在丢失信息的风险,则编译器将报错。

2.2.2|变量声明extern:只能定义一次,可以多次声明,(在函数体内)声明不应包含初始化,否则将引发错误。

2.2.4|用::显式访问全局变量


2.3.1|引用本身不是一个对象,不能定义引用的引用,(46页例子的解释:)

c++primer第二遍阅读感悟(chap2)

    引用的类型必须与被其所引用对象的类型一致。

2.3.2|建议初始化所有指针,在可能的情况下,尽量等定义了对象之后再定义指向它的指针。如果实在不清楚,就初始化为nullptr或者0。

2.3.3|面对一个比较复杂的指针或引用的声明语句时,从右向左阅读有助于弄清楚他的真实含义:int *&r = p;(r是一个引用,*说明r引用的是一个指针,int指出r引用的是一个int指针)


2.4   |如果想在多个文件之间共享const对象,必须在变量的定义之前添加extern关键字。(对于const变量不管是声明还是定义都添加extern关键字)全局变量

2.4.1|两个例外:

              ||第一种是在初始化常量引用时允许用任意表达式作为初始值,只要结果能转换成引用的类型即可。尤其,允许为一个常量引用绑定非常量的对象、字面值、一般表达式

              ||第二种是什么?在书上没有看到

2.4.2|指针的类型必须与其所指对象的类型一致,但是有两个例外:

              ||第一种例外情况是允许一个指向常量的指针指向一个非常量对象(不能通过该常量指针改变非常量对象的值

              ||第二种是什么?在书上没有看到

2.4.3||顶层const:

              ||顶层const表示指针本身是个常量,底层const表示指针所指的对象是一个常量。(用于声明引用的const都是底层const)

              ||当执行对象的拷贝操作时,常量是顶层const还是底层const区别明显。其中,|||顶层const不受影响。

                                                                                                                                                        |||底层const的限制:当执行拷贝操作时,两个对象必须具有相同的底层const资格

2.4.4||常量表达式constexpr:值不会改变并且在编译过程就能得到计算结果的表达式。         函数体内定义的变量一般来说并非存放在固定地址中,因此constexpr指针不能指向这样的变量,相反的,定义于所有函数体之外的对象其地址不变,能用来初始化constexpr指针。   

               constexpr是顶层const:const int *p = nullptr;//p是一个指向整型常量的指针  constexpr int *q = nullptr;//q是一个指向整数的常量指针


2.5.2|auto编译器推断出来的auto有时和初始值的类型并不完全一样:

              ||首先,引用对象的类型作为auto的类型:int i = 0, &r = i;  auto a = r;//r是一个整数

              ||其次,auto一般会忽略掉顶层const,同时底层const则会保留下来(如果希望推断出的auto类型是一个顶层const,需明确指出)

2.5.3|decltype有时希望从表达式的类型推断出要定义的变量的类型,但是不想用该表达式的值初始化变量。(选择并返回操作数的数据类型)

              ||decltype处理顶层const和引用的方式与auto有些许不同。如果decltype使用的表达式是一个变量,则返回该变量的类型(包括顶层const和引用在内);

                            需要指出的是,引用从来都是作为其所指对象的同义词出现,只有用在decltype处是一个例外。

              ||向decltype返回一个引用类型,意味着该表达式的结果对象能作为一条赋值语句的左值:

        int i = 42, *p = &i, &r = i;
decltype(r + 0) b; //correct
decltype(*p) c; //wrong 如果表达式的内容是解引用操作,则decltype将得到引用类型。引用必须初始化
decltype( (i) ) d; //wrong

               切记:decltype( (variable) )两层括号的结果永远是引用,而decltype(variable)结果只有当variable本身是一个引用时才是引用

        int a=3,b=4;
decltype( a=b ) c =a ; //c是引用类型,
//c=3,decltype不会执行其中的表达式或函数,只是返回其类型。

                 赋值是会产生引用的一类典型表达式。


2.6.3|#ifndef #define #endif