1)编写一个空类,经过编译后,C++默认编写了4个函数。
class Empty{};
经过编译器处理后会有默认构造函数、复制(拷贝)构造函数、赋值操作符和析构函数。这些函数都是public且inline的。
class Empty{
public:
Empty(){}
Empty(const Empty& rhs){}
Empty& operator=(const Empty& rhs){}
~Empty(){}
};
2)如果程序员编写了带参数的构造函数,那么编译器将不会自动生成默认构造函数,需要我们手动编写,否则编译器报错:
class A
{
private:
int val;
public:
A(const int x):val(x){}
};
int main()
{
A a; //编译器会报错,因为不会自动生成默认构造函数
return 0;
3)对于赋值操作符,有些情况下编译器是不会合成的。只有当生成的代码合法且有适当机会证明它有意义,才会合成赋值操作符。
template<typename T>
class NamedObject{
public:
NamedObject(const char* name, const T& value);
NamedObject(const std::string& name, const T& value);
private:
std::string& nameValue;//带reference的成员变量
const T objectValue; //带const的成员变量
};
- 例如一个类包含不可更改两个成员变量,一个是引用:初始化后不能更改,一个是常量:也是初始化后不能更改。
- 编译器合成赋值操作符后,在调用赋值操作符时能更改这两个变量的值吗?显然不可以。编译器会拒绝编译重新赋值的动作。
- 如果自己编写赋值操作符,且合法,编译不会出错。
- 如果其基类的赋值操作符是private,编译器将拒绝为派生类合成赋值操作符。