当前位置: 首页 > 编程笔记 >

完全掌握C++编程中构造函数使用的超级学习教程

越雨泽
2023-03-14
本文向大家介绍完全掌握C++编程中构造函数使用的超级学习教程,包括了完全掌握C++编程中构造函数使用的超级学习教程的使用技巧和注意事项,需要的朋友参考一下

构造函数是一种可初始化其类的实例的成员函数。构造函数具有与类相同的名称,没有返回值。构造函数可以具有任意数量的参数,类可以具有任意数量的重载构造函数。构造函数可以具有任何可访问性(公共、受保护或私有)。如果未定义任何构造函数,则编译器会生成不采用任何参数的默认构造函数;可以通过将默认构造函数声明为已删除来重写此行为。
构造函数顺序
构造函数按此顺序执行工作:
按声明顺序调用基类和成员构造函数。
如果类派生自虚拟基类,则会将对象的虚拟基指针初始化。
如果类具有或继承了虚函数,则会将对象的虚函数指针初始化。虚函数指针指向类中的虚函数表,确保虚函数正确地调用绑定代码。
它执行自己函数体中的所有代码。
下面的示例显示,在派生类的构造函数中,基类和成员构造函数的调用顺序。首先,调用基构造函数,然后按照基类成员在类声明中出现的顺序对这些成员进行初始化,然后,调用派生构造函数。

#include <iostream>
using namespace std;

class Contained1 {
public:
  Contained1() {
    cout << "Contained1 constructor." << endl;
  }
};

class Contained2 {
public:
  Contained2() {
    cout << "Contained2 constructor." << endl;
  }
};

class Contained3 {
public:
  Contained3() {
    cout << "Contained3 constructor." << endl;
  }
};

class BaseContainer {
public:
  BaseContainer() {
    cout << "BaseContainer constructor." << endl;
  }
private:
  Contained1 c1;
  Contained2 c2;
};

class DerivedContainer : public BaseContainer {
public:
  DerivedContainer() : BaseContainer() {
    cout << "DerivedContainer constructor." << endl;
  }
private:
  Contained3 c3;
};

int main() {
  DerivedContainer dc;
  int x = 3;
}

这是输出:

Contained1 constructor.
Contained2 constructor.
BaseContainer constructor.
Contained3 constructor.
DerivedContainer constructor.

如果构造函数引发异常,析构的顺序与构造的顺序相反:
构造函数主体中的代码将展开。
基类和成员对象将被销毁,顺序与声明顺序相反。
如果是非委托构造函数,所有完全构造的基类对象和成员均将被销毁。但是,对象本身不是完全构造的,因此析构函数不会运行。
成员列表
使用成员初始值设定项列表从构造函数参数初始化类成员。此方法使用直接初始化,这比在构造函数体内使用赋值运算符更高效。

class Box {
public:
  Box(int width, int length, int height) 
    : m_width(width), m_length(length), m_height(height) // member init list
  {}
  int Volume() {return m_width * m_length * m_height; }
private:
  int m_width;
  int m_length;
  int m_height;

};

创建 Box 对象:

Box b(42, 21, 12);
cout << "The volume is " << b.Volume();

显式构造函数
如果类具有带一个参数的构造函数,或是如果除了一个参数之外的所有参数都具有默认值,则参数类型可以隐式转换为类类型。例如,如果 Box 类具有一个类似于下面这样的构造函数:

Box(int size): m_width(size), m_length(size), m_height(size){}

可以初始化 Box,如下所示:

Box b = 42;

或将一个 int 传递给采用 Box 的函数:

class ShippingOrder
{
public:
  ShippingOrder(Box b, double postage) : m_box(b), m_postage(postage){}

private:
  Box m_box;
  double m_postage;
}
//elsewhere...
  ShippingOrder so(42, 10.8);


这类转换可能在某些情况下很有用,但更常见的是,它们可能会导致代码中发生细微但严重的错误。作为一般规则,应对构造函数使用 explicit 关键字(和用户定义的运算符)以防止出现这种隐式类型转换:

explicit Box(int size): m_width(size), m_length(size), m_height(size){}

构造函数是显式函数时,此行会导致编译器错误:ShippingOrder so(42, 10.8);。
默认构造函数
默认构造函数没有参数;它们遵循略有不同的规则:
默认构造函数是一个特殊成员函数;如果没有在类中声明构造函数,则编译器会提供默认构造函数:

class Box {
  Box(int width, int length, int height) 
    : m_width(width), m_length(length), m_height(height){}
};

int main(){

  Box box1{}; // call compiler-generated default ctor
  Box box2;  // call compiler-generated default ctor
}

当你调用默认构造函数并尝试使用括号时,系统将发出警告:

class myclass{};
int main(){
myclass mc();   // warning C4930: prototyped function not called (was a variable definition intended?)
}

这是“最棘手的解析”问题的示例。这种示例表达式既可以解释为函数的声明,也可以解释为对默认构造函数的调用,而且 C++ 分析器更偏向于声明,因此表达式会被视为函数声明。
如果声明了任何非默认构造函数,编译器不会提供默认构造函数:

class Box {
  Box(int width, int length, int height) 
    : m_width(width), m_length(length), m_height(height){}
};
private:
  int m_width;
  int m_length;
  int m_height;

};

int main(){

  Box box1(1, 2, 3);
  Box box2{ 2, 3, 4 };
  Box box4;   // compiler error C2512: no appropriate default constructor available
}

如果类没有默认构造函数,将无法通过单独使用方括号语法来构造该类的对象数组。例如,在前面提到的代码块中,框的数组无法进行如下声明:

Box boxes[3];  // compiler error C2512: no appropriate default constructor available

但是,你可以使用初始值设定项列表将框的数组初始化:

Box boxes[3]{ { 1, 2, 3 }, { 4, 5, 6 }, { 7, 8, 9 } };

复制和移动构造函数
复制构造函数是特殊成员函数,它采用对相同类型对象的引用作为输入,并创建它的副本。移动也是特殊成员函数构造函数,它将现有对象的所有权移交给新变量,而不复制原始数据。

显式默认构造函数和已删除构造函数
你可以显式设置默认复制构造函数、设置默认构造函数、移动构造函数、复制赋值运算符、移动赋值运算符和析构函数。你可以显式删除所有特殊成员函数。
派生类中的构造函数
派生类构造函数始终调用基类构造函数,因此,在完成任何额外任务之前,它可以依赖于完全构造的基类。调用基类构造函数进行派生,例如,如果 ClassA 派生自 ClassB,ClassB 派生自 ClassC,那么首先调用 ClassC 构造函数,然后调用 ClassB 构造函数,最后调用 ClassA 构造函数。
如果基类没有默认构造函数,则必须在派生类构造函数中提供基类构造函数参数:

class Box {
public:
  Box(int width, int length, int height){
    m_width = width;
    m_length = length;
    m_height = height;
  }

private:
  int m_width;
  int m_length;
  int m_height;
};

class StorageBox : public Box {
public:
  StorageBox(int width, int length, int height, const string label&) : Box(width, length, height){
    m_label = label;
  }
private:
  string m_label;
};

int main(){

  const string aLabel = "aLabel";
  StorageBox sb(1, 2, 3, aLabel);
} 

具有多重继承的类的构造函数
如果类从多个基类派生,那么将按照派生类声明中列出的顺序调用基类构造函数:

#include <iostream>
using namespace std;

class BaseClass1 {
public:
  BaseClass1() {
    cout << "BaseClass1 constructor." << endl;
  }
};
class BaseClass2 {
public:
  BaseClass2() {
    cout << "BaseClass2 constructor." << endl;
  }
};
class BaseClass3{
public:
  BaseClass3() {
    cout << "BaseClass3 constructor." << endl;
  }
};
class DerivedClass : public BaseClass1, public BaseClass2, public BaseClass3 {
public:
  DerivedClass() {
    cout << "DerivedClass constructor." << endl;
  }
};

int main() {
  DerivedClass dc;
}

你应看到以下输出:

BaseClass1 constructor.
BaseClass2 constructor.
BaseClass3 constructor.
DerivedClass constructor.

构造函数中的虚函数
我们建议你谨慎调用构造函数中的虚函数。基类构造函数始终在派生类构造函数之前调用,因此基构造函数中调用的函数是基类版本,而非派生类版本。在下面的示例中,构造 DerivedClass 会导致执行 BaseClass 的 print_it() 实现早于 DerivedClass 构造函数导致执行 DerivedClass 的 print_it() 实现:

#include <iostream>
using namespace std;

class BaseClass{
public:
  BaseClass(){
    print_it();
  }
  virtual void print_it() {
    cout << "BaseClass print_it" << endl;
  }
};

class DerivedClass : public BaseClass {
public:
  DerivedClass() {
    print_it();
  }
  virtual void print_it(){
    cout << "Derived Class print_it" << endl;
  }
};

int main() {

  DerivedClass dc;
}

这是输出:

BaseClass print_it
Derived Class print_it

构造函数和复合类
包含类类型成员的类称为“复合类”。创建复合类的类类型成员时,调用类自己的构造函数之前,先调用构造函数。当包含的类没有默认构造函数是,必须使用复合类构造函数中的初始化列表。在之前的 StorageBox 示例中,如果将 m_label 成员变量的类型更改为新的 Label 类,则必须调用基类构造函数,并且将 m_label 变量(位于 StorageBox 构造函数中)初始化:

class Label {
public:
  Label(const string& name, const string& address) { m_name = name; m_address = address; }
  string m_name;
  string m_address;
};

class StorageBox : public Box {
public:
  StorageBox(int width, int length, int height, Label label) 
    : Box(width, length, height), m_label(label){}
private:
  Label m_label;
};

int main(){
// passing a named Label
  Label label1{ "some_name", "some_address" };
  StorageBox sb1(1, 2, 3, label1);

  // passing a temporary label
  StorageBox sb2(3, 4, 5, Label{ "another name", "another address" });

  // passing a temporary label as an initializer list
  StorageBox sb3(1, 2, 3, {"myname", "myaddress"});
}

委托构造函数
委托构造函数调用同一类中的其他构造函数,完成部分初始化工作。在下面的示例中,派生类具有三个构造函数,第二个构造函数委托第一个,第三个构造函数委托第二个:

#include <iostream>
using namespace std;

class ConstructorDestructor {
public:
  ConstructorDestructor() {
    cout << "ConstructorDestructor default constructor." << endl;
  }
  ConstructorDestructor(int int1) {
    cout << "ConstructorDestructor constructor with 1 int." << endl;
  }
  ConstructorDestructor(int int1, int int2) : ConstructorDestructor(int1) {
    cout << "ConstructorDestructor constructor with 2 ints." << endl;

    throw exception();
  }
  ConstructorDestructor(int int1, int int2, int int3) : ConstructorDestructor(int1, int2) {
    cout << "ConstructorDestructor constructor with 3 ints." << endl;
  }
  ~ConstructorDestructor() {
    cout << "ConstructorDestructor destructor." << endl;
  }
};

int main() {
  ConstructorDestructor dc(1, 2, 3);
}

这是输出:

ConstructorDestructor constructor with 1 int.
ConstructorDestructor constructor with 2 ints.
ConstructorDestructor constructor with 3 ints.

所有构造函数完成后,完全初始化的构造函数将立即创建对象。 DerivedContainer(int int1) 成功,但是 DerivedContainer(int int1, int int2) 失败,并调用析构函数。

class ConstructorDestructor {
public:
  ConstructorDestructor() {
    cout << "ConstructorDestructor default constructor." << endl;
  }
  ConstructorDestructor(int int1) {
    cout << "ConstructorDestructor constructor with 1 int." << endl;
  }
  ConstructorDestructor(int int1, int int2) : ConstructorDestructor(int1) {
    cout << "ConstructorDestructor constructor with 2 ints." << endl;
    throw exception();
  }
  ConstructorDestructor(int int1, int int2, int int3) : ConstructorDestructor(int1, int2) {
    cout << "ConstructorDestructor constructor with 3 ints." << endl;
  }

  ~ConstructorDestructor() {
    cout << "ConstructorDestructor destructor." << endl;
  }
};

int main() {

  try {
    ConstructorDestructor cd{ 1, 2, 3 };
  }
  catch (const exception& ex){
  }
}

输出:

ConstructorDestructor constructor with 1 int.
ConstructorDestructor constructor with 2 ints.
ConstructorDestructor destructor.

继承构造函数 (C++11)
派生类可以使用 using 声明从直接基类继承构造函数,如下面的示例所示:

#include <iostream>
using namespace std;

class Base
{
public:  
  Base() { cout << "Base()" << endl; }
  Base(const Base& other) { cout << "Base(Base&)" << endl; }
  explicit Base(int i) : num(i) { cout << "Base(int)" << endl; }
  explicit Base(char c) : letter(c) { cout << "Base(char)" << endl; }

private:
  int num;
  char letter;
};

class Derived : Base
{
public:
  // Inherit all constructors from Base
  using Base::Base;

private:
  // Can't initialize newMember from Base constructors.
  int newMember{ 0 };
};


int main(int argc, char argv[])
{
  cout << "Derived d1(5) calls: "; 
  Derived d1(5);
  cout << "Derived d1('c') calls: ";
  Derived d2('c');
  cout << "Derived d3 = d2 calls: " ;
  Derived d3 = d2;
  cout << "Derived d4 calls: ";
  Derived d4; 

  // Keep console open in debug mode:
  cout << endl << "Press Enter to exit.";
  char in[1];
  cin.getline(in, 1);
  return 0;
}

输出:
Derived d1(5) calls: Base(int)
Derived d1('c') calls: Base(char)
Derived d3 = d2 calls: Base(Base&)
Derived d4 calls: Base()
Press Enter to exit.

using 语句可将来自基类的所有构造函数引入范围(除了签名与派生类中的构造函数相同的构造函数)。一般而言,当派生类未声明新数据成员或构造函数时,最好使用继承构造函数。
如果类型指定基类,则类模板可以从类型参数继承所有构造函数:

template< typename T >
class Derived : T {
  using T::T;  // declare the constructors from T
  // ...
};

如果基类的构造函数具有相同签名,则派生类无法从多个基类继承。
声明构造函数的规则
构造函数与它的类的名称相同。可以声明任意数量的构造函数,这取决于重载函数的规则。

argument-declaration-list 可能为空。
C++ 定义两种特殊的构造函数(默认构造函数和复制构造函数),如下表所述。

默认构造函数和复制构造函数

默认构造函数可在没有参数的情况下调用。但是,如果所有参数都有默认值,则可以用参数列表声明默认构造函数。同样,复制构造函数必须接受对相同类类型的引用的单一参数。可以提供多个参数,前提是所有后续参数都有默认值。
如果未提供任何构造函数,则编译器将尝试生成默认构造函数。如果未提供复制构造函数,则编译器将尝试生成一个。这些编译器生成的构造函数被视为公共成员函数。如果使用属于对象但不属于引用的第一个参数指定复制构造函数,则将生成错误。
编译器生成的默认构造函数将设置对象(如上文所述,初始化 vftables 和 vbtables),并调用基类和成员的默认构造函数,但是它不执行任何其他操作。仅当基类和成员构造函数存在、可访问并且无歧义时才会调用它们。
编译器生成的复制构造函数将设置新的对象,并对要复制的对象的内容按成员复制。如果基类或成员构造函数存在,则将调用它们;否则将执行按位复制。
如果类 type 的所有基类和成员类均具有接受 const 参数的复制构造函数,则编译器生成的复制构造函数将接受 const type& 类型的单个参数。否则,编译器生成的复制构造函数将接受 type& 类型的单个参数。
您可以使用构造函数初始化 const 或 volatile 对象,但是,构造函数本身不能声明为 const 或 volatile。构造函数的唯一合法存储类是 inline;将任何其他存储类修饰符(包括 __declspec 关键字)与构造函数一起使用将导致编译器错误。
stdcall 调用约定用于使用 __stdcall 关键字声明的静态成员函数和全局函数,且不使用变量参数列表。对非静态成员函数(如构造函数)使用 __stdcall 关键字时,编译器将使用 thiscall 调用约定。
基类的构造函数不由派生类继承。创建派生类类型的对象时,该对象将从基类组件开始进行构造;然后移到派生类组件。由于整个对象有一部分已初始化,因此编译器使用每个基类的构造函数(虚拟派生的情况除外,如初始化基类中所述)。
显式调用构造函数
可以在程序中显式调用构造函数来创建给定类型的对象。例如,若要创建描述某行末尾的两个 Point 对象,请编写以下代码:

DrawLine( Point( 13, 22 ), Point( 87, 91 ) );

创建类型 Point 的两个对象,将其传递给函数 DrawLine,并在表达式(函数调用)的末尾将其销毁。
在其中显式调用构造函数的另一个上下文正在进行初始化:

Point pt = Point( 7, 11 );

使用接受类型为 Point 的两个参数的构造函数来创建和初始化类型为 int 的对象。
通过显式调用构造函数创建的对象(如上面的两个示例)未进行命名,并且该对象具有在其中创建它们的表达式的生存期。 临时对象中更详细地讨论了这一点。
通常,从构造函数的内部调用所有成员函数是安全的,因为该对象在用户代码的第一行执行之前已完全设置(已初始化虚拟表等)。但是,在构造或析构期间,成员函数调用抽象基类的虚拟成员函数可能是不安全的。
构造函数可以调用虚函数。调用虚函数时,调用的函数将是为构造函数自己的类定义的函数(或从其基类继承)。以下示例演示从构造函数的内部调用虚函数时发生的情况:

// specl_calling_virtual_functions.cpp
// compile with: /EHsc
#include <iostream>

using namespace std;
class Base
{
public:
  Base();       // Default constructor.
  virtual void f();  // Virtual member function.
};

Base::Base()
{
  cout << "Constructing Base sub-object\n";
  f();        // Call virtual member function
}            // from inside constructor.

void Base::f()
{
  cout << "Called Base::f()\n";
}

class Derived : public Base
{
public:
  Derived();     // Default constructor.
  void f();      // Implementation of virtual
};           // function f for this class.

Derived::Derived()
{
  cout << "Constructing Derived object\n";
}

void Derived::f()
{
  cout << "Called Derived::f()\n";
}

int main()
{
  Derived d;
}

在运行前面的程序时,声明 Derived d 将产生以下事件序列:
调用类 Derived (Derived::Derived) 的构造函数。
在输入 Derived 类的构造函数的主体之前,调用类 Base (Base::Base) 的构造函数。
Base::Base 调用函数 f,该函数是一个虚函数。通常,将调用 Derived::f,因为对象 d 属于类型 Derived。由于 Base::Base 函数是构造函数,因此该对象不属于 Derived 类型,并且将调用 Base::f。

 类似资料:
  • 本文向大家介绍c++学习之构造函数,包括了c++学习之构造函数的使用技巧和注意事项,需要的朋友参考一下 使用构造函数 以上所述就是本文的全部内容了,希望大家能够喜欢。

  • 本文向大家介绍C++中函数使用的基本知识学习教程,包括了C++中函数使用的基本知识学习教程的使用技巧和注意事项,需要的朋友参考一下 函数是执行某种操作的代码块。函数可以选择性地定义使调用方可以将实参传递到函数中的输入形参。函数可以选择性地返回值作为输出。函数可用于在单个可重用块中封装常用操作(理想情况是使用可清晰地描述函数行为的名称)。以下函数从调用方接受两个整数并返回其总和;a 和 b 是 in

  • 问题内容: 我一直很好奇的东西 不建议在我的构造函数中包含try / catch块吗?我知道我可以让构造函数将异常抛出给调用方。你们喜欢像我在Constructor中完成的那样调用方法吗?在调用类中,您希望创建FileDataValidator的实例并在该实例上调用该方法吗?只是有兴趣听到一些反馈! 问题答案: 在显示的代码中,验证问题不会传达给正在创建此对象实例的代码。那可能不是一件好事。 变化

  • C#是一种简单,现代,通用,面向对象的编程语言,由Microsoft在其Anders Hejlsberg领导的.NET计划中开发。 本教程将教您基本的C#编程,并将带您了解与C#编程语言相关的各种高级概念。

  • 本文向大家介绍Python学习教程之常用的内置函数大全,包括了Python学习教程之常用的内置函数大全的使用技巧和注意事项,需要的朋友参考一下 前言 内置函数,一般都是因为使用比较频繁或是元操作,所以通过内置函数的形式提供出来。在Python中,python给我们提供了很多已经定义好的函数,这里列出常用的内置函数,分享出来供大家参考学习,下面话不多说,来一起看看详细的介绍吧。 一、数学函数 abs

  • 本文向大家介绍C++编程中的数据类型和常量学习教程,包括了C++编程中的数据类型和常量学习教程的使用技巧和注意事项,需要的朋友参考一下 C++数据类型 计算机处理的对象是数据,而数据是以某种特定的形式存在的(例如整数、浮点数、字符等形式)。不同的数据之间往往还存在某些联系(例如由若干个整数组成一个整数数组)。数据结构指的是数据的组织形式。例如,数组就是一种数据结构。不同的计算机语言所允许使用的数据