c++ primer 记录1
C++ 记录
不要 混用带符号类型和无符号类型.主要是比较 加减.
右值引用.TODO
数组指针和指针数组
a.数组指针: 是指针,指向数组. 如:
// 声明方式. 由于"[]"比"*"优先级要高,所以需要"()"
int (*parr)[5];
// 使用方式
int a[] = {1,2,3,4,5};
parr = &a;
// 打印
auto len = sizeof(a)/sizeof(a[0]);
for(int i = 0;i < len; ++i){
cout << (*parr)[i] << endl;
}
b.指针数组:是数组,里面存的指针.如:
// a是一个包含10个元素的数组,每个元素都是一个指向int类型的指针.
int* a[10];
const
引用不是一个对象.所以没有指向引用的指针.
如何区分顶层const 和 底层const?
指针如果添加const修饰符,有两种情况:
// 1. 指向int常量的指针
const int *a;
// 2. 指向int的指针常量
int *const b;
情况1叫 常量指针.
被指向的是一个常量,const修饰的是被指向的对象.但是指针本身(a)不是一个常量.可以指向其他变量.
即
int num = 10;
int val = 20;
const int *a = #
// *a = 20; // 错误. 不能通过 *a 去改变num的值
num = 11; // 正确
a = &val; // 正确
情况2叫 指针常量. 指针是一个常量.const修饰的是指针本身.所以指针本身不能改变,但是被指向的对象可以改变.
int num = 10;
int val = 20;
int *const a = #
a* = 11; // 正确
// a = &val; // 错误
顶层 const: 对于指针来说,修饰指针本身的const 就是 顶层const,修饰被指向的对象,是底层const.
如:
int * const a; // const修饰的是指针本身,顶层const
const int *a; // const修饰的是被指向的对象, 底层const
更一般的,顶层const可以表示任意的对象是常量,这一点对任何数据类型都适用,如算术类型、类、指针等.
底层const则与指针和引用等复合类型的基本类型部分有关.
比较特殊的是,指针类型既可以是顶层const,也可以是底层const,这一点和其他类型相比区别明显.
用于声明引用的 const 都是底层 const.
int i = 0;
int *const pi = &i; // 顶层 const
const int ci = 42; // 顶层 const
const int *p2 = &i; // 底层 const
const int &r = ci; // 用于声明引用的 const 都是底层 const
typedef
typedef char *pstring;
const pstring cstr; // const修饰的是 指针
不能理解成 const char *cstr;
复杂声明的理解规则: 右左法则
从变量名看起,先往右,再往左,碰到一个圆括号就调转阅读的方向;
括号内分析完就跳出括号,还是按先右后左的顺序,如此循环,直到整个声明分析完。
如:
int (*func[5])(int *);
func是一个包含5个元素的数组,数组元素是 一个以int为返回值,参数为int指针的函数.
auto
a. auto 会忽略掉顶层 const, 保留底层 const;
如:
int num = 10;
const int *a = #
auto b = a;
// *b = 111; 错误, b相当于 const int* b;
const int cnum = 11;
auto c = cnum; // 顶层const被忽略,相当于 int
c = 12; // 正确
b.如果希望推断出的auto类型是一个顶层const,则需要明确指出:
int num = 10;
const auto p = #
int val = 11;
// p = &val; 错误, p中的const是一个顶层const
c. auto &
const int ci = 10;
auto & b = ci;
// b = 11; 错误, b是对ci的引用,就是ci的别名.
decltype TODO
decltype((var)); 双层括号的结果永远是引用.