博客

在C++中，特殊成员函数是那些可能由编译器隐式声明和定义的类成员函数。它们是类的生命周期和对象管理的关键部分。以下是C++中的特殊成员函数：

1. 默认构造函数 (Default Constructor): 这是一个不接受任何参数，或者每个参数都有默认值的构造函数。如果你没有定义任何构造函数，编译器会为你提供一个默认的无参构造函数。
2. 拷贝构造函数 (Copy Constructor): 它用于创建一个新对象作为另一个现有对象的副本。如果不定义，编译器会定义一个默认的拷贝构造函数，进行成员到成员的复制。
3. 拷贝赋值操作符 (Copy Assignment Operator): 当通过赋值操作将一个对象的内容复制到另一个现有对象中时，会调用这个特殊成员函数。默认的拷贝赋值操作符也执行成员到成员的复制。
4. 移动构造函数 (Move Constructor): 在C++11中引入，允许资源的转移而非复制。如果一个对象拥有资源，如动态内存，移动构造函数可以将资源从一个对象转移到另一个对象，通常是为了提高性能。
5. 移动赋值操作符 (Move Assignment Operator): 类似于移动构造函数，它允许你通过移动而非复制一个对象的资源来给另一个对象赋值。这通常发生在具有右值引用参数的赋值操作中。
6. 析构函数 (Destructor): 当对象生命周期结束时，例如对象离开作用域或被delete调用时，析构函数被调用来进行清理工作，比如释放资源等。

在 C++ 中，explicit 关键字用于防止类构造函数的隐式自动类型转换。默认情况下，如果一个构造函数只接受一个参数（或所有参数都有默认值），它可以被用作隐式类型转换操作符，这意味着它可以在不经过显式转换的情况下将一种类型的值转换为类类型的对象。

使用 explicit 关键字可以阻止编译器执行这种隐式转换，这有助于避免意外的类型转换可能导致的错误和混淆。当你希望类构造函数只在明确使用构造语法时被调用时，你应该将它声明为 explicit

例如，考虑以下类：

1
2
3
4
5
6

class MyString {
public:
    MyString(const char* s) {
        // 构造函数，将const char*类型的字符串转换为MyString对象
    }
};

复制语义（Copy Semantics）涉及创建对象的深层次副本，包含对其所有成员（包括指向的动态资源）的复制。移动语义（Move Semantics）则是C++11引入的一种优化，它允许“窃取”临时对象的资源，避免不必要的复制。

以下是一个简单的Vector类的例子，该类具有动态分配的数组，用以展示复制语义和移动语义的区别：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

#include <algorithm> // For std::copy
#include <utility>   // For std::move

class Vector {
public:
    // 构造函数
    Vector(size_t size) : size_(size), data_(new int[size]) {}

    // 析构函数
    ~Vector() { delete[] data_; }

    // 拷贝构造函数（复制语义）
    Vector(const Vector& other) : size_(other.size_), data_(new int[other.size_]) {
        std::copy(other.data_, other.data_ + size_, data_);
    }

    // 移动构造函数（移动语义）
    Vector(Vector&& other) noexcept: size_(other.size_), data_(other.data_) {
        other.size_ = 0;   // 将other对象置于有效且确定的状态
        other.data_ = nullptr;
    }

    // 更多成员函数...

private:
    size_t size_;
    int* data_;
};

在C++中，构造函数成员初始化列表是一种在构造函数体执行之前初始化类成员变量的机制。这不仅能提高效率，还是初始化具有非默认构造函数的类成员、常量成员、引用成员和没有默认构造函数的基类的唯一方法。

构造函数成员初始化列表位于构造函数参数列表之后，函数体之前，以冒号开始，后面跟着一个或多个用逗号分隔的初始化器。每个初始化器都有一个成员变量名字和相应的初始化表达式，这个表达式可以是任意复杂度的。

下面是构造函数成员初始化列表的一个示例：

1
2
3
4
5
6
7
8
9
10
11

class MyClass {
public:
    MyClass(int x, double y) : id(x), value(y) {
        // 构造函数体
    }

private:
    const int id;    // 常量成员，必须在成员初始化列表中初始化
    double value;    // 普通成员，可以在成员初始化列表中初始化
};

在C++中，对值的分类非常重要，因为它决定了你可以对这些值做什么操作。左值（lvalue）和右值（rvalue）是C++中的两种主要的表达式类别，而左值引用和右值引用则是与之对应的引用类型。

左值 (Lvalue)

左值是指那些表达式，它们指向内存中的一个固定位置，这样的表达式可以出现在赋值语句的左侧。它们通常是一个变量、数组的一个元素或者一个对象的一个属性。左值可以取地址，即可以使用&运算符来得到其内存地址。

示例：

1
2

int x = 10; // x是一个左值
x = 20; // x可以在赋值语句的左侧出现

在这个例子中，x是一个左值，因为你可以对它赋值。x具有一个持久的内存地址，可以在程序的多个地方引用和修改。