C++-类的六个默认成员函数及其性质

175 阅读 0 评论 116 点赞

我是靠谱客的博主畅快面包，这篇文章主要介绍C++-类的六个默认成员函数及其性质，现在分享给大家，希望可以做个参考。

注：

每个性质单个满足不代表可同时满足
若有争议可更正并提供证明.

类型/性质	可虚(virtual)	可const	可重写(override)	可重载(overload)	可删除(detele)	可默认(default)
构造函数	否	否	否	是	是	是
析构函数	是	否	是	否	是	是
拷贝构造	否	否	否	是	是	是
拷贝赋值	是	是	是	是	是	是
移动构造	否	否	否	是	是	是
移动赋值	是	是	是	是	是	是

todo:

补充完整表 [????]
考究多个性质同时作用时是否成立.比如虚函数可否重载(是).

语法上检查是否成立,编译验证:

可默认:[通过]

class Father
{
public:
Father()=default;
~Father()=default;
Father(Father &foo)=default;
Father& operator=(Father& foo)=default;
Father(Father&& foo)=default;
Father& operator=(Father&& foo)=default;
};

可删除:[通过]

class Father
{
public:
Father()=delete;
~Father()=delete;
Father(Father &foo)=delete;
Father& operator=(Father& foo)=delete;
Father(Father&& foo)=delete;
Father& operator=(Father&& foo)=delete;
};

可const:[不通过]

class Father
{
public:
Father() const
{
}
~Father() const
{
}
Father(Father &foo) const
{
}
Father& operator=(Father& foo) const
{
return *this;
}
Father(Father&& foo) const
{
}
Father& operator=(Father&& foo) const
{
return *this;
}
};

可重载

class Father
{
public:
Father()
{
}
Father(int overload);
~Father()
{
}
~Father(int overload){} //编译[不通过]
Father(Father &foo)
{
}
Father(Father &foo, int overload){}
Father& operator=(Father& foo)
{
return *this;
}
Father(Father&& foo)
{
}
Father(Father&& foo, int overload){}
Father& operator=(Father&& foo)
{
return *this;
}
};

可虚

class Father
{
public:
virtual Father()
{
}
virtual ~Father()
{
}
virtual Father(Father &foo)
{
}
virtual Father& operator=(Father& foo)
{
return *this;
}
virtual Father(Father&& foo)
{
}
virtual Father& operator=(Father&& foo)
{
return *this;
}
};