虽然C++已经不是我的主要工具了, 但是还是重新复习了下, 有些内容之前没搞懂。
class vs struct
以前的C里是没有class这个关键字的,struct只用于一些数据类型的结合。在C++里,这两个关键字的唯一区别是默认访问权限不同。
- class默认是private
- struct默认是public
我的认知里, struct仍然只有一般数据聚合的作用,并且最好是定长的,不包含任何其他方法,而class则用于定义类
this指针
成员函数可以通过this指针来访问调用它的对象,在成员函数内部可以省略
std::string func() { return this->blog; }
const成员函数
在类的成员函数末尾的cost关键字,可以修改this指针为const指针,可以避免成员函数修改类成员变量
std::string func() const { return this->blog; }
默认构造函数
如果没有为对象提供构造函数,则编译器会自动创建构造函数,称为合成的默认构造函数。 合成默认构造函数规则:
- 如果存在类内的初始值,则用初始值初始化类的数据成员
- 默认初始化该成员
某些类不能依赖于合成的默认构造函数:
- 编译器只有在发现类不包含任何构造函数的情况下才会生成默认构造函数
- 合成的默认构造函数可能执行错误的操作(内置类型或复合类型默认初始化,则它们的值将是未定义的,似乎和C的兼容有关)
- 有时编译器不能为某些类提供默认构造函数,因为类中包含的其他类型的成员包含了非默认构造函数
=default的含义
class FileData{
std::string _fileNo;
FileData() = default;
FileData(const std::string &s) : _fileNo(s) {}
}
该构造函数(default)不接收任何参数,所以是默认构造函数。这个构造函数完全等同于合成默认构造函数,并且如果在类内部定义则是内联的,在外部定义则不是
构造函数初始化列表
FileData(const std::string &s): fileNo(s) {}
冒号和花括号间的代码为构造函数初始值列表,负责为新创建的对象的数据成员赋初值。
- 构造函数不应该轻易覆盖类内初始值
- 如果你不能使用类内初始值,则所有构造函数均应该显示初始化每个内置类型
委托构造函数
这个是C++11里面的新功能,放上例子。在委托构造函数中,先执行其本身的代码(花括弧中的...),再去执行被委托的构造方法
class FileData {
//非委托构造函数
FileData(std::string s){}
FileData(std::string s, unsigned count):fileNo(s), unitsSold(count){}
//委托构造函数
FileData(): FileData("",0){...}
void combine(const FileData& item){}
}
explicit关键字
explicit关键字主要是用在隐式转换上。比如说item是一个FileData对象,该对象有一个combine方法,接受一个FileData类型的常量引用。那么
//显式转换成string,隐式转化成FileData,正确
item.combine(string("6666"));
//隐式转换成string,显式转换成SalesData,正确
item.combine(FileData("6666"));
//但是不能两步转换!错误!
item.combine("6666");
而explicit关键字能阻止隐式转换(顾名思义嘛,explicit是明确的意思)
不过要注意一点的是,explicit关键字只对单个参数的构造函数有效,需要多个参数的构造函数不适用隐式转换,因此也就不需要explicit关键字了。
类的拷贝、赋值、析构
大多数情况下编译器会自动生成默认的拷贝、赋值、析构函数,但是也不尽然,尤其是当类内有动态分配的内存时(比如涉及到new delete之类的)。事实上为了防止我们在内存的枪林弹雨里挣扎,《C++ Primer》建议能用std里的东西就用std里的东西,比如vector或string之类的。
类拷贝
拷贝构造函数指的是:一个构造函数的第一个参数是自身类型的引用,且任何额外参数都有默认值
class Foo {
public:
Foo();
Foo(const Foo&);
}
因此对于类而言
- 直接初始化:要求编译器使用普通的函数匹配
- 拷贝初始化:将右侧的运算对象拷贝到正在创建的对象中(可能还有类型转换)
值得注意的是,拷贝初始化不仅在使用=的时候发生,还包括了:
- 将一个对象作为实参传递给一个非引用类型形参
- 从一个返回类型为非引用类型的函数返回一个对象
- 用花括弧列表初始化一个数组中的元素或一个聚合类中的成员
前两点比较好理解。在我的个人实践中,为了防止超大的vector在函数调用中引起的内存拷贝,一般这么写(不知道有没有更优雅的方式)
void fun(const vector<int> &arg, vector<int> &res);