月度归档:2018年02月

[Cpp基础] [07] 复杂类型和类型推断

Last Updated on 2022年9月28日

数组类型和函数类型

尽管在大部分场合中,数组类型和函数类型都被转换成某种指针使用,然而它们确实是某种类型.
这一点在类型推导中很重要,因为类型推导可以推导出数组类型/函数类型

  • 数组类型逻辑上类似于std::array,由TN两个属性决定唯一的数组类型,称T[N]型对象为数组类型,其中N必须为constexpr,称T array[N]
Read More

[Cpp基础] [06] 强制类型转换

Last Updated on 2022年9月28日

  • C++风格的类型转换有四种,每个都有特定的应用场合.转换可以分为隐式或显式的,显式转换也被称为强制类型转换.
    • 隐式类型转换语义上只能对应static_cast或const_cast二者其一.
  • 规定:仅有xxx_cast<TYPE &>(var)整体可以作为左值,其他情况转换得到的都是右值临时对象。

强制类型转换

const_cast

  • const_cast是只用于处理const相关的类型转换,主要是移除const(加const完全可以用隐式转换), const_cast只有向引用/指针的转换有实际意义.
Read More

[Cpp基础] [04] 名字查找与函数重载

Last Updated on 2022年9月30日

名字查找

  • 当我们使用一个名字时,编译器就会向上查找名字的声明语句.变量名的查找和函数名的查找结果有一定区别.
    • 变量名查找:最终仅会确定唯一的对象,从内到外碰到的第一个名字将被使用.
    • 函数名查找:会先确定搜索域,然后按重载规则选择最有匹配. 搜索域包含一般scope和参数scope.
  • 常规搜索域确定:从当前作用域开始,逐层向上查找名字声明,名字首次出现的作用域就是常规搜索域
  • 对于函数调用的每个实参arg_i,其类型decltype(arg_i)及其所有基类所在的作用域都加入实参类型搜索域
  • 函数名和变量名都是名字
Read More