C++进阶--编译器自动生成的类函数

//############################################################################
/*    在C++ 03标准下
在没有显式定义的情况加,编译器会自动生成以下4个函数
1. 拷贝构造函数
2. 拷贝赋值运算符
3. 析构函数
4. 默认构造函数(只有当没有声明任何构造函数的时候)
*/

class dog {};

/* 这个看似空的类,其实等效于下面这个类 */

class dog {
    public:
        dog(const dog& rhs) {...};   // 逐成员的初始化

        dog& operator=(const dog& rhs) {...}; // 逐成员的拷贝

        dog() {...};  // 1. 调用基类的默认构造函数,按照他们的继承时声明的顺序
                      // 2. 调用数据成员的默认构造函数,按照他们在类中声明的顺序

        ~dog() {...}; // 1. 调用基类的析构函数
                      // 2. 调用数据成员的析构函数
/*
注意:
1. 这些函数是公有且内联的public and inline.
2. 只有当需要的时候才会生成,即如果没用到不会生成
3. 如果某个函数不满足生成的必要条件,则不会生成该函数
*/

/*  例子:  编译器是否会自动生成这些函数
  1. Copy constructor.   - no 因为没有用到拷贝构造
  2. Copy Assignment Operator. - yes
  3. Destructor.  - no 用户自己已定义
  4. Default constructor - no 已经有用户定义的构造函数
*/
class dog {
    public:
        string& m_name;   // 如果这里改成引用,则此程序没法编译通过,因为该引用成员不允许拷贝

        dog(string name = "Bob") {m_name = name; cout << name << " is born." << endl;}
        ~dog() { cout<< m_name << " is destroyed.\n" << endl; }
};

int main() {
  dog dog1("Henry");
  dog dog2;
  dog2 = dog1;  //需要逐成员拷贝
}

输出:
Henry is born.
Bob is born.
Henry is distroied.
Henry is distroied.

注意:
 当拷贝赋值运算符是非法的时候,编译器会拒绝生成它
 1. 引用成员数据
 2. 常量成员数据
这样的类不能用在STL容器中,因为容器的元素必须
能够拷贝构造和拷贝赋值
*/

/* 例子 2: */
class collar {
    public:
    collar() { std::cout <<  " collar is born.\n"; }
};

class dog {
    collar m_collar;
    string& m_name;
};

int main() {
    dog dog1;
}

输出:
main.cc:13: error: no matching function for call to `dog::dog()‘
main.cc:8: note: candidates are: dog::dog(const dog&)

// 没法编译通过,因为编译器会尝试为dog类生成默认构造函数,
// 需要先生成数据成员collar m_collar的默认构造函数,而collar类已经有一个构造函数

// 如果在dog类中增加如下成员:
// string& m_name;
// Result: not compilable because age is not initialized.
// 生成的默认构造函数不会进行初始化,引用必须初始化

/* C++ 11 Update: */
class dog {
   public:
      dog() = default;  //C++ 11提供了定义默认构造函数的方法
      dog(string name) {...};  //即使已经定义了其他构造函数,还可以定义默认构造函数
}

原文地址:https://www.cnblogs.com/logchen/p/10165070.html

时间: 2024-11-06 07:34:30

C++进阶--编译器自动生成的类函数的相关文章

C++进阶--不让编译器自动生成类函数

//############################################################################ /* * 不让编译器自动生成类函数 * * * * 并不是所有的类都需要编译器自动生成类函数 * * 例: 一个"OpenFile" 类表示一个被打开的文件.构造函数至少需要一个文件名作为参数 * 所有不需要默认构造函数 */ 那么如何让编译不自动生成函数 /* * 对于C++ 11: */ class dog { public:

条款6:如果不想使用编译器自动生成的函数,就应该明确的拒绝。

有些情况自己是不希望生成拷贝构造函数以及拷贝赋值运算符的,这种时候不能只是自己不去编写这些函数,因为这样编译器会自动的去生成这些函数.保险一点的做法是将拷贝构造函数以及拷贝赋值运算符都声明为private的.这样既阻止了编译器生成默认的版本,而且又阻止了别人去调用它. 注意上面的这条“将成员函数声明为private而故意的不去实现它”是一种常用手段,即使是标准程序库中有的部分也是这样做的. class HomeForSale//很明显,销售的两个方子一般内容都是不相同的,所以拷贝构造函数以及 {

Effective C++ 之 Item 6 : 若不想使用编译器自动生成的函数,就该明确拒绝

Effective C++ chapter 2. 构造 / 析构 / 赋值运算 (Constructors, Destructors, and Assignment Operators) Item 6. 若不想使用编译器自动生成的函数,就该明确拒绝 (Explicitly disallow the use of compiler-generated functions you do not want) 地产中介商卖的是房子,一个中介软件系统自然而然想必有个 class 用来描述待售房屋: cla

Effective C++ Item 6 若不想使用编译器自动生成的函数,就该明确拒绝

本文为senlie原创,转载请保留此地址:http://blog.csdn.net/zhengsenlie 为驳回编译器自动提供的机能,可将相应的成员函数声明为private并且不予实现.使用像Uncopyable这样的base class也是一种方法 classUncopyable{ protected: //允许derived对象构造和析构 Uncopyable(){} ~Uncopyable(){} private: Uncopyable(constUncopyable&); //但阻止c

【Effective c++】条款6:若不想使用编译器自动生成的函数就应该明确拒绝

地产中介卖的是房子,其使用的中介软件系统应该有个类用来描述卖掉的房子 class HomeFoeSale { ......} 但是任何房子都是独一无二的,不应该存在两个房子拥有同样的属性,因此以下操作不应该正确! HomeForSale h; HomeForSale h1(h); //调用复制构造函数 HomeForSale h2 = h; //调用赋值操作符 阻止这两个操作(复制.赋值)可以不声明它们,but自己不声明,编译器会自动生成,并且访问权限还是public.没办法只好声明出来,但是如

Effetive C++_笔记_条款06_若不想使用编译器自动生成的函数,就该明确拒绝

(整理自Effctive C++,转载请注明.整理者:华科小涛@http://www.cnblogs.com/hust-ghtao/) 通常如果你不希望class支持某一特定机能,只要不声明对应函数就是了.但这个策略对copy构造函数和copy assignment操作符却不起作用,你如果不声明它们,而某些人尝试调用它,编译器会为你声明它们. 这把你逼到了一个困境.如果你不声明copy构造函数和copy assignment操作符,编译器可能为你产出一份,于是你的clas支持copying.如果

Effective C++ 条款六 若不想使用编译器自动生成的函数,就该明确拒绝

class HomeForSale //防止别人拷贝方法一:将相应的成员函数声明为private并且不予实现 { public: private: HomeForSale(const HomeForSale&); HomeForSale& operator = (const HomeForSale&);//只有申明,此函数很少被使用   };   //方法二,设计一个专门用来阻止copying动作的基类,然后让其他类继承这个类即可   class Uncopyable { prot

条款6:若不想使用编译器自动生成的函数,就该明确拒绝

如果自己定义的类中并不需要copy assignment操作符或者copy构造函数,为了避免编译器自动生成 因为编译器自动生成的没什么用,一般是按照顺序进行赋值或者拷贝,对于有对象内含有指针的话可能会出现一些问题 可以在private中声明(并不定义)它们.但是,友元和成员函数依然可以调用它们. 在C++11标准中可以用如下方法: class A { public: A(const A&) = delete;//不实现的函数可以不用写参数,光是声明其实也可以不用写参数 A operator=(c

effective c++ 条款06:若不想使用编译器自动生成的函数,就该明确拒绝

记住:为防止编译器暗自提供的功能,可将相应的成员函数声明为privae并且不予实现.也可以使用Uncopyable这样的父类实现. 对于独一无二的对象,希望不支持拷贝构造函数和赋值操作符. class HomeForSale { public: ... private: HomeForSale(const HomeForSale&); //只是声明,阻止编译器自动生成 HomeForSale& operator=(const HomeForSale&); } HomeForSale