前言

C++類中有幾個特殊的非靜態(tài)成員函數，當用戶未定義這些函數時，編譯器將給出默認實現。C++11前有四個特殊函數，C++11引入移動語義特性，增加了兩個參數為右值的特殊函數。這六個函數分別是：

1、默認構造函數

默認構造函數指不需要參數就能初始化的構造函數。包含無參和所有參數有默認值兩種類型的構造函數。

2、復制構造函數

復制構造函數指使用該類的對象作為參數的構造函數?？梢杂衅渌麉担仨毺峁┠J值。

3、復制賦值運算符

重載等號=，將該類的對象賦值給已定義對象。

4、析構函數

沒啥可說的。

5、移動構造函數

C++11新增，該類的右值對象為參數的構造函數，其余同復制構造函數。

6、移動復制運算符

同復制賦值運算符，唯一不同是參數為右值。

看定義容易迷糊，上代碼就會很清晰：

#include <iostream>
#include <string>

class Foo {

public:
 std::string s;

 // 默認構造函數
 Foo() { std::cout << "default constructor" << std::endl; }
 // 復制構造函數
 Foo(const Foo& foo) { std::cout << "copy constructor" << std::endl; s = foo.s; }
 // 復制賦值運算符
 Foo& operator=(const Foo& foo) { std::cout << "copy assignment operator" << std::endl; s = foo.s; return * this;}
 // 移動構造函數
 Foo(Foo&& foo) { std::cout << "move constructor" << std::endl; s = std::move(foo.s); }
 // 移動賦值運算符
 Foo& operator=(Foo&& foo) { std::cout << "move assignment operator" << std::endl; s = std::move(foo.s); return *this;}
};

int main() {
 Foo foo1;
 Foo foo2(foo1);
 foo1 = foo2;
 Foo foo3(std::move(foo1));
 foo2 = std::move(foo3);
}

用g++或者clang編譯，加上-fno-elide-constructors -std=c++0x選項。執(zhí)行程序輸出如下：

default constructor
copy constructor
copy assignment operator
move constructor
move assignment operator

結果是我們預期的。需要注意的是Foo foo3 = foo1的形式會調用復制構造函數，不會調用復制賦值運算符。原因是Foo foo3 = xxx聲明和定義一個新對象，而賦值是作用在已定義對象。移動賦值運算符同理。

C++11新增了=default和=delete函數修飾符，提示編譯器使用默認或者刪除默認的特殊函數。需要注意的是這兩個修飾符只能修飾上述特殊函數，用戶可以用其對特殊函數進行裁剪。一個例子：

struct Test {
 // 使用默認構造函數
 Test() = default;
 // 刪除復制賦值運算符
 Test& operator=(const Test& test) = delete;
 // 使用默認析構函數
 ~Test() = default;
};

參考

• https://en.cppreference.com/w/cpp/language/member_functions
• https://stackoverflow.com/questions/43349808/extended-lifetime-of-an-object-returned-from-function

總結

以上就是這篇文章的全部內容了，希望本文的內容對大家的學習或者工作具有一定的參考學習價值，如果有疑問大家可以留言交流，謝謝大家對腳本之家的支持。