1. 特种成员函数是什么(定义)
C++11中的特种成员函数是指编译器会自动生成的函数:默认构造函数、析构函数、拷贝构造函数、拷贝赋值运算符、移动构造函数、移动赋值运算符。
对于特种成员函数,C++编译器生成的特种成员函数都是public访问级别,且一般都是非虚函数。
之所以说都是非虚函数,是因为存在一种情况会使编译器生成的析构函数为虚函数:
class A {
public:
A() {
std::cout << "A constructor" << std::endl;
}
A(const A&) {
std::cout << "A copy constructor" << std::endl;
}
A(A&&) {
std::cout << "A move constructor" << std::endl;
}
virtual ~A() {}
};
class B : public A {
};
此时,类B中生成的析构函数便是虚析构函数。
2. 大三律
如果你声明了拷贝构造函数,拷贝赋值运算符或者析构函数中的任何一个,你就需要同时声明这三个。
一般这样做是处于:如果有改写复制操作的要求,往往意味着该类需要执行某种资源管理。 而这也意味着:在一种复制操作中执行的资源管理也要在另一种复制操作中执行、该类的析构函数需要参与进来以释放资源。
3. 大三律与移动构造以及移动赋值运算的关系
通过下面一个简短的代码来说明移动构造函数与拷贝构造函数的关系:
#include <iostream>
class A {
public:
A() {
std::cout << "A constructor" << std::endl;
}
A(const A&) {
std::cout << "A copy constructor" << std::endl;
}
A(A&&) {
std::cout << "A move constructor" << std::endl;
}
virtual ~A() {}
};
int main() {
A a;
A b = std::move(a);
A c = a;
return EXIT_SUCCESS;
}
上述运行结果为:
修改上述代码:注释掉拷贝构造函数后:
#include <iostream>
class A {
public:
A() {
std::cout << "A constructor" << std::endl;
}
/*
A(const A&) {
std::cout << "A copy constructor" << std::endl;
}*/
A(A&&) {
std::cout << "A move constructor" << std::endl;
}
virtual ~A() {}
};
int main() {
A a;
A b = std::move(a);
A c = a;
return EXIT_SUCCESS;
}
此时,编译器会报错:error: use of deleted function 'constexpr A::A(const A&)'
22 | A c = a;
也就是说 移动构造函数的存在阻碍了编译器生成默认拷贝构造函数。
同理,当我们注释掉移动构造函数的时候,会发现拷贝构造函数也阻碍的编译器生成默认移动构造函数。
总结:
由大三律知,只要类中声明了拷贝构造函数、拷贝赋值运算符、析构函数中的任何一个,则会阻碍编译器生成默认移动构造函数和移动赋值运算符。