指针或引用的定义方法

指针有两种定义写法:

// * 靠近变量
int *p_type1;

// * 靠近类型
int* p_type2;

这两种定义方法其实是等效的, 但是我个人现在喜欢使用第二种写法, 即 * 靠近类型, 这样变量名就是变量名, 前面的才是它的类型(比如 int*), 意味着是指向 int 型的指针.

引用同理, 我会定义成 int& ref. 这同时也是 《C++ Premier》 里建议的定义方式.

顶层 const & 底层 const

基于上面的说明, 类型定义的时候统一写在一起, 远离变量名, 在定义含有 const 的复合类型的时候, 可以有如下的定义方式:

// 方式一, 我现在不建议这样使用, 与方式二等效
const int* p_type1;

// 方式二, 与方式一等效, 我个人建议使用, 此处属于底层 const
int const* p_type2;

// 方式三, 此处属于顶层 const
int *const p_type3;

所谓顶层 const, 就是自己该指针一定确定指向某一地址后, 不能更改. 所谓底层 const, 就是该指针指向的是一个不能更改的变量, 也即常量.

判断顶层和底层根据const*强行记忆位置强行记忆: const 在右为顶层 const, const 在左为底层 cost.

由于引用只可能指向一个对象, 不能中途变更, 其实也就是天生顶层 const, 所以理论上只有如下写法:

// 正确, 指向常量的引用
int const& ref_1;

// 错误, 没有这种写法
int &const ref_2;

函数指针 & 指针函数

函数指针: 指向函数的指针

指针函数: 返回指针的函数

// 函数指针
// pf 是指针, 指向一个返回值是 bool, 参数为空的函数
bool (*pf)();

// 指针函数
// foo 是一个函数, 参数列表为空, 返回的是 bool* 型 (返回指向 bool 型的指针)
bool* foo();

记忆方法, 参考最上面指针定义写法的记载, 建议*和前面的类型写在一起.

那么不加括号的情况下, *天然和 bool 就写在一起了, 所以很容易看出来 foo 是函数, 返回的是 bool* 类型.

而我们在 *pf 两端加上括号后, 也很容易看出来首先它返回的是一个 bool 类型, 又有 * 的存在, 那么它只能是指针类型了, 指向的是返回 bool 类型的函数.

复杂的数组声明

// 存放指针的数组
int* ptrs[10];

// 指向数组的指针
int (*arr)[10];

// 错误写法, 不存在存放引用的数组. 强行记忆
int& refs[10];

// 引用一个数组
int arr[10] = {};
int (&aref)[10] = arr;

记忆方法, 参考上面函数相关的记忆.

不加括号的情况下, *天然和 int 就写在一起了, 所以很容易看出来 ptrs 数组名, 存放的是 int*, 其中可以存放 10 个数据.

加括号的情况, *arr 肯定就是指针了, 指向的类型可以看出指向的是数组, 数组中存放的是 int 类型, 因为 int 后没有紧跟 *, 该数组可以存放 10 个数据.

引用的情况类似. 不过需要强行记忆 不存在存放引用的数组.

数组和函数的复杂定义

首先, 因为数组不能被拷贝, 所以函数不能返回数组, 也就是说我们不能定义返回数组的函数.

但是, 我们可以定义返回数组的指针或引用的函数.

也可以定义返回指向函数的指针的函数.

简单的说, 就是可以定义返回各种指针的函数.

另外, 我们也可以定义存放各种函数指针的数组.

记忆方法就是从右向左, 由内而外, 括号优先.

// 返回数组的指针的 **函数**
// 首先, foo() 就说明了它是一个函数, 剩下的都是它的返回值
// 返回的类型是 int (*)[10], 说明返回的是一个指针, 指向的是一个 int [10] 的数组
int (*foo())[10];

// 返回函数指针的 **函数**
// 首先, foo() 说明它是一个函数, 剩下的都是它的返回值
// 返回的类型是 int (*)(), 说明它返回的是一个指针, 指向的是一个 int ()
// 意思是该指针指向一个返回 int 型的函数
int (*foo())();

// 存放函数指针的 **数组**
// 首先, a[10] 说明它是一个数组, 可以存放 10 个数据
// 然后, 存放的类型是 int (*)(), 说明存放的是一个指针
// 该指针指向的是一个返回 int 型数据的函数
int (*a[10])();

size_type

string::size_type 代表 string 容器中两个元素间的距离.

array<int, 10>::size_type 代表 array 容器中两个元素间的距离.

各种初始化

参考链接: https://zh.cppreference.com/w/cpp/language/initialization

初始化就是在变量在构造时提供其初值. 如果是拷贝初始化的话, 看起来跟赋值很像, 但其实二者不同.

  1. 初始化其实只进行了一次操作, 即在声明的同时即赋予了值, 没有临时量的存在.
  2. 赋值操作是两次操作, 即先创建一个临时量, 然后将这个临时量赋予变量.

默认初始化

// 这是在不使用初始化器构造变量时执行的初始化
new T;

值初始化:

std::string s{};

// 这是在变量以空初始化器构造时进行的初始化
// 一般是空括号或花括号组成的初始化器
T();
new T();
T{};
new T{};

直接初始化

// 从构造函数参数的显式集合初始化对象
std::string s("hello");

复制初始化

// 从另一对象初始化对象
std::string s = "hello";

列表初始化

// 从花括号初始化器列表初始化对象
std::string s{'a', 'b', 'c'};

聚合初始化

// 从花括号初始化器列表初始化聚合体
// 聚合体包括 1. 数组类型 2. 类类型
char a[3] = {'a', 'b'};

引用初始化

// 绑定引用到对象
char& c = a[0];
Comments
Write a Comment