C++Primer学习笔记
C++中关于Const形参和实参的总结,
在调用函数的时候,如果函数的形参是const的话那么这个函数可以接受非const的实参。
如果函数的实参是const的,形参是非const的,那么这个函数是不接受的
函数的调用const与非const的区别在于,我们可以用非const对象初始化const引用对象,而不能用const对象初始化非const的应用对象,这样不安全。
第二章:
在做基础变量赋值的时候,如果const对象只能赋值给const引用对象,非const对象可以赋值给const引用对象。
1.(P54) 如果想在多个文件之间共享const对象,必须在变量的定义之前添加extern关键字
2.(P59)C++11新标准规定,允许将变量声明为constexpr类型以便由编译器来验证变量的值是否是一个常量表达式。声明为constexpr的变量一定是一个常量,而且必须用常量表达式初始化。一般来说,如果你认定变量是一个常量表达式,那就把它声明成constexpr类型。
3.(p59)必须明确一点,在constexpr声明中如果定义了一个指针,限定符constexpr仅对指针有效,与指针所指的对象无关。因为constexpr把它说定义的对象置为了顶层const
4.C++11新标准引入了auto类型说明符,用它就能让编译器替我们去分析表达式所属的类型。和原来那些只对应一种特定类型的说明符不同,auto让编译器通过初始值来推算变量的类型。显然,auto定义的变量必须有初始值。
5.使用auto也能在一条语句中声明多个变量,因为一条声明数据只能有一个基本数据类型,所以该语句中所有变量的初始基本数据类型必须一样。
6.C++11新标准引入了第二种数据类型说明符decltype,它的作用是选择并返回操作数的数据类型,在此过程中,编译器分析表达式并得到它的类型,却不实际计算表达式的值。
如果表达式的内容是解引用操作,则decltype将得到引用类型。正如我们所熟悉的那样,解引用指针可以得到指针所指的对象。而且还能给这个对象赋值。
7.对于decltype所用的表达式来说,如果变量名加上了一对括号,则得到的类型与不加括号时会有不同,如果decltype使用的是一个不加括号的变量,则得到的结果就是该变量的类型;如果给变量加上一层或多层括号,编译器就会把它当成是一个表达式,变量是一种可以作为赋值语句左值的特殊表达式,所以这样的decltype就会得到引用类型。
8.头文件通常包含那些只能被定义一次的实体,如类,const和constexpr变量等。头文件也经常用到其他头文件的功能。
9.C++程序还会用到的一项处理就是头文件保护,头文件保护符依赖于预处理变量,预处理变量有两种状态,已定义和未定义。#define指令把一个名字设定为预处理变量,另外两个指令则分别检查某个指定的预处理变量是否已经定义:#ifdef,当且仅当变量已定义时为真,#ifndef当且仅当变量未定义时为真,一旦检查结果为真,则执行后续操作直至遇到#endif指令为止。
10.位于头文件的代码,一般来说不应该使用using声明,这是因为头文件的内容会拷贝到所有引用它的文件中去,如果头文件里有某个using声明,那么每个使用了该头文件的文件都会有这个声明。对于某些程序来说,由于不经意间包含了一些名字,反而可能产生始料未及的名字冲突。
11.凡是使用了迭代器的循环体,都不要向迭代器所属的容器添加元素。
12.闭包:函数是有状态的。相同的函数可以有不同的状态.通过函数生成函数。生成的这些函数包含上下文,状态。
13.string的实现机制:
1.在存储上,string也是用数组来存储。
2.既然是一个数组,这个就有一个大小,capacity就是这个数组的大小;
3.如果string=hello,至少需要6个字节,但是在string实现的时候,一般会多分配一个空间,用于字符串的拼接;
4,capcity有可能是20,会多分配一些内容,用于string内容的扩展;
5,如果拼接后的字符串长度超过capacity,那么就需要继续分配空间,最大就是max_size
14.函数的形参列表可以为空,但是不能省略,要想定义一个不带形参的函数,最常用的办法是书写一个空的形参列表。不过为了与C语言兼容,也可以使用关键字void表示函数没有形参。
15.局部静态对象在程序的执行路径第一次经过对象定义语句时初始化,并且直到程序终止才被销毁,在此期间即使对象所在的函数结束执行也不会对它有影响。
16.如果我们传递的形参是一个数组,则实参自动的转换成指向数组首元素的指针,数组的大小对函数的调用没有影响。
17.(P202)函数的调用,返回局部对象的引用是错误的;同样,返回局部对象的指针也是错误的,一旦函数完成,局部对象被释放,指针将指向一个不存在的对象。