lambda 表達(dá)式和右值引用是 C++11 的兩個(gè)非常有用的特性。

lambda 表達(dá)式實(shí)際上會(huì)由編譯器創(chuàng)建一個(gè) std::function 對(duì)象，以值的方式捕獲的變量則會(huì)由編譯器復(fù)制一份，在 std::function 對(duì)象中創(chuàng)建一個(gè)對(duì)應(yīng)的類型相同的 const 成員變量，如下面的這段代碼：

int main(){
 std::string str = "test";
 printf("String address %p in main, str %s\n", &str, str.c_str());
 auto funca = [str]() {
 printf("String address %p (main lambda), str %s\n", &str, str.c_str());
 };

 std::function<void()> funcb = funca;
 std::function<void()> funcc;
 funcc = funca;

 printf("funca\n");
 funca();

 std::function<void()> funcd = std::move(funca);
 printf("funca\n");
 funca();

 printf("funcb\n");
 funcb();

 std::function<void()> funce;
 funce = std::move(funcb);

 printf("funcb\n");
// funcb();

 printf("funcc\n");
 funcc();

 printf("funcd\n");
 funcd();

 printf("funce\n");
 funce();

// std::function<void(int)> funcf = funce;

 return 0;
}

這段代碼的輸出如下：

Stringaddress0x7ffd9aaab720 in main, strtest
funca
Stringaddress0x7ffd9aaab740 (main lambda), strtest
funca
Stringaddress0x7ffd9aaab740 (main lambda), str
funcb
Stringaddress0x55bdd2160280 (main lambda), strtest
funcb
funcc
Stringaddress0x55bdd21602b0 (main lambda), strtest
funcd
Stringaddress0x55bdd21602e0 (main lambda), strtest
funce
Stringaddress0x55bdd2160280 (main lambda), strtest

由上面調(diào)用 funca 時(shí)的輸出，可以看到 lambda 表達(dá)式以值的方式捕獲的對(duì)象 str，其地址在 lambda 表達(dá)式內(nèi)部和外部是不同的。

std::function 類對(duì)象和普通的魔板類對(duì)象一樣，可以拷貝構(gòu)造，如：

std::function<void()> funcb = funca;

由調(diào)用 funcb 時(shí)的輸出，可以看到拷貝構(gòu)造時(shí)是做了逐成員的拷貝構(gòu)造。

std::function 類對(duì)象可以賦值，如：

std::function<void()> funcc;
funcc = funca;

由調(diào)用 funcc 時(shí)的輸出，可以看到賦值時(shí)是做了逐成員的賦值。

std::function 類對(duì)象可以移動(dòng)構(gòu)造，如：

std::function<void()> funcd = std::move(funca);

由移動(dòng)構(gòu)造之后，調(diào)用 funca 和 funcd 時(shí)的輸出，可以看到移動(dòng)構(gòu)造時(shí)是做了逐成員的移動(dòng)構(gòu)造。

std::function 類對(duì)象可以移動(dòng)賦值，如：

 std::function<void()> funce;
 funce = std::move(funcb);

 printf("funcb\n");
// funcb();

這里把移動(dòng)賦值之后對(duì) funcb 的調(diào)用注釋掉了，這是因?yàn)?，作為源?nbsp;funcb 在移動(dòng)賦值之后被調(diào)用是，會(huì)拋出異常，如：

String address 0x562334c34280 (main lambda), str test
funcb
terminate called after throwing aninstanceof 'std::bad_function_call'
 what(): bad_function_call

同時(shí)，由調(diào)用 funce 時(shí)的輸出可以看到，該輸出與 funcb 在移動(dòng)賦值之前被調(diào)用時(shí)的輸出完全相同。 即移動(dòng)賦值是將對(duì)象整體 move 走了，這與移動(dòng)構(gòu)造時(shí)的行為不太一樣。

std::function 類對(duì)象的拷貝構(gòu)造或者賦值，也需要滿足類型匹配原則，如：

std::function<void(int)> funcf = funce;

這行代碼會(huì)造成編譯失敗，編譯錯(cuò)誤信息如下：

../src/DemoTest.cpp: In function ‘intmain()':
../src/DemoTest.cpp:64:36: error: conversion from ‘std::function<void()>' to non-scalar type ‘std::function<void(int)>' requested
   std::function<void(int)> funcf = funce;
                                    ^~~~~
make: *** [src/DemoTest.o] Error 1
src/subdir.mk:18: recipe for target 'src/DemoTest.o' failed

在 lambda 中以值的方式捕獲的右值對(duì)象，只是在 lambda 的 std::function 對(duì)象中做了一份被捕獲的右值對(duì)象的拷貝，而原來的右值則沒有任何改變。

接下來再來看一段示例代碼：

#include<iostream>
#include<functional>
#include<string>

using namespace std;

void funcd(std::string&&str){
 printf("String address %p in funcd A, str %s\n", &str, str.c_str());
 string strs = std::move(str);
 printf("String address %p in funcd B, str %s, strs %s\n", &str, str.c_str(), strs.c_str());
}

void funcc(std::stringstr){
 printf("String address %p in funcc, str %s\n", &str, str.c_str());
}

void funcb(std::string&str){
 printf("String address %p in funcb, str %s\n", &str, str.c_str());
}

void funca(std::string&&str){
 printf("String address %p in funca A, str %s\n", &str, str.c_str());
 std::string stra = str;
 printf("String address %p in funca B, str %s, stra %s\n", &str, str.c_str(), stra.c_str());
}

int main(){
 std::string str = "test";
 printf("String address %p in main A, str %s\n", &str, str.c_str());

 funca(std::move(str));
 printf("String address %p in main B, str %s\n", &str, str.c_str());

// funcb(std::move(str));
 printf("String address %p in main C, str %s\n", &str, str.c_str());

 funcc(std::move(str));
 printf("String address %p in main D, str %s\n", &str, str.c_str());

 std::string stra = "testa";
 printf("String address %p in main E, stra %s\n", &stra, stra.c_str());

 funcd(std::move(stra));
 printf("String address %p in main F, stra %s\n", &stra, stra.c_str());

 return 0;
}

上面這段代碼在執(zhí)行時(shí)，輸出如下：

String address 0x7ffc833f4660 in main A, str test
String address 0x7ffc833f4660 in funca A, str test
String address 0x7ffc833f4660 in funca B, str test, stra test
String address 0x7ffc833f4660 in main B, str test
String address 0x7ffc833f4660 in main C, str test
String address 0x7ffc833f4680 in funcc, str test
String address 0x7ffc833f4660 in main D, str
String address 0x7ffc833f4680 in main E, stra testa
String address 0x7ffc833f4680 in funcd A, str testa
String address 0x7ffc833f4680 in funcd B, str , strs testa
String address 0x7ffc833f4680 in main F, stra

funca 函數(shù)接收右值引用作為參數(shù)，由 funca 函數(shù)內(nèi)部及函數(shù)調(diào)用前后的輸出可以看到， std::move() 本身什么都沒做，單單調(diào)用 std::move() 并不會(huì)將原來的對(duì)象的內(nèi)容移動(dòng)到任何地方。 std::move() 只是一個(gè)簡(jiǎn)單的強(qiáng)制類型轉(zhuǎn)換，將左值轉(zhuǎn)為右值引用。同時(shí)可以看到，用右值引用作為參數(shù)構(gòu)造對(duì)象，也并沒有對(duì)右值引用所引用的對(duì)象產(chǎn)生任何影響。

funcb 函數(shù)接收左值引用作為參數(shù)，上面的代碼中，如下這一行注釋掉了：

// funcb(std::move(str));

這是因?yàn)椋?nbsp;funcb 不能用一個(gè)右值引用作為參數(shù)來調(diào)用。用右值引用作為參數(shù)，調(diào)用接收左值引用作為參數(shù)的函數(shù) funcb 時(shí)，會(huì)編譯失敗：

g++ -O0 -g3 -Wall -c -fmessage-length=0 -MMD -MP -MF"src/DemoTest.d" -MT"src/DemoTest.o" -o "src/DemoTest.o" "../src/DemoTest.cpp"
../src/DemoTest.cpp: In function ‘int main()':
../src/DemoTest.cpp:34:18: error: cannot bind non-const lvalue reference of type ‘std::__cxx11::string& {aka std::__cxx11::basic_string<char>&}' to an rvalue of type ‘std::remove_reference<std::__cxx11::basic_string<char>&>::type {aka std::__cxx11::basic_string<char>}'
   funcb(std::move(str));
         ~~~~~~~~~^~~~~
../src/DemoTest.cpp:17:6: note:   initializing argument 1 of ‘void funcb(std::__cxx11::string&)'
 void funcb(std::string &str) {
      ^~~~~
src/subdir.mk:18: recipe for target 'src/DemoTest.o' failed
make: *** [src/DemoTest.o] Error 1

不過，如果 funcb 接收 const 左值引用作為參數(shù)，如 void funcb(const std::string &str) ，則在調(diào)用該函數(shù)時(shí)，可以用右值引用作為參數(shù)，此時(shí) funcb 的行為與 funca 基本相同。

funcc 函數(shù)接收左值作為參數(shù)，由 funcc 函數(shù)內(nèi)部及函數(shù)調(diào)用前后的輸出可以看到，由于有了左值作為接收者，傳入的右值引用所引用的對(duì)象的值被 move 走，進(jìn)入函數(shù)的參數(shù)棧對(duì)象中了。

funcd 函數(shù)與 funca 函數(shù)一樣，接收右值引用作為參數(shù)，但 funcd 的特別之處在于，在函數(shù)內(nèi)部，右值構(gòu)造了一個(gè)新的對(duì)象，因而右值引用原來引用的對(duì)象的值被 move 走，進(jìn)入了新構(gòu)造的對(duì)象中。

再來看一段示例代碼：

#include<iostream>
#include<functional>
#include<string>

using namespace std;

void bar(std::string&&str){
 printf("String address %p in bar A, str %s\n", &str, str.c_str());
 string strs = std::move(str);
 printf("String address %p in bar B, str %s, strs %s\n", &str, str.c_str(), strs.c_str());
}

std::function<void()> bar_bar(std::string &&str) {
 auto funf = [&str]() {
 printf("String address %p (foo lambda) F, stra %s\n", &str, str.c_str());
 };
 return funf;
}

std::function<void()> foo(std::string &&str) {
 printf("String address %p in foo A, str %s\n", &str, str.c_str());

// auto funa = [str]() {
// printf("String address %p (foo lambda) A, str %s\n", &str, str.c_str());
// bar(str);
// };
// funa();
//
// auto funb = [str]() {
// printf("String address %p (foo lambda) B, str %s\n", &str, str.c_str());
// bar(std::move(str));
// };
// funb();

// auto func = [str]() mutable {
// printf("String address %p (foo lambda) C, str %s\n", &str, str.c_str());
// bar(str);
// };
// func();

 auto fund = [str]() mutable {
 printf("String address %p (foo lambda) D, str %s\n", &str, str.c_str());
 bar(std::move(str));
 };
 fund();

 auto fune = [&str]() {
 printf("String address %p (foo lambda) E, str %s\n", &str, str.c_str());
 bar(std::move(str));
 };
 fune();

 std::string stra = "testa";
 return bar_bar(std::move(stra));
}

int main(){
 std::string str = "test";
 printf("String address %p in main A, str %s\n", &str, str.c_str());

 auto funcg = foo(std::move(str));
 printf("String address %p in main B, str %s\n", &str, str.c_str());

 funcg();

 return 0;
}

上面這段代碼的輸出如下：

Stringaddress0x7ffc9fe7c5c0 in main A, strtest
Stringaddress0x7ffc9fe7c5c0 in foo A, strtest
Stringaddress0x7ffc9fe7c540 (foo lambda) D, strtest
Stringaddress0x7ffc9fe7c540 in barA, strtest
Stringaddress0x7ffc9fe7c540 in barB,str, strstest
Stringaddress0x7ffc9fe7c5c0 (foo lambda) E, strtest
Stringaddress0x7ffc9fe7c5c0 in barA, strtest
Stringaddress0x7ffc9fe7c5c0 in barB,str, strstest
Stringaddress0x7ffc9fe7c5c0 in main B,str
Stringaddress0x7ffc9fe7c560 (foo lambda) F, stra����

在函數(shù) foo() 中定義的 funa 及對(duì) funa 的調(diào)用被注釋掉了，這是因?yàn)檫@段代碼會(huì)導(dǎo)致編譯失敗，具體的錯(cuò)誤信息如下：

Invoking: GCC C++ Compiler
g++ -O0 -g3 -Wall -c -fmessage-length=0 -MMD -MP -MF"src/DemoTest.d" -MT"src/DemoTest.o" -o "src/DemoTest.o" "../src/DemoTest.cpp"
../src/DemoTest.cpp: In lambda function:
../src/DemoTest.cpp:25:12: error: cannot bind rvalue reference of type ‘std::__cxx11::string&& {aka std::__cxx11::basic_string<char>&&}' to lvalue of type ‘const string {aka const std::__cxx11::basic_string<char>}'
     bar(str);
            ^
../src/DemoTest.cpp:7:6: note:   initializing argument 1 of ‘void bar(std::__cxx11::string&&)'
 void bar(std::string &&str) {
      ^~~
src/subdir.mk:18: recipe for target 'src/DemoTest.o' failed
make: *** [src/DemoTest.o] Error 1

如我們前面提到的，在 lambda 表達(dá)式中，以值的方式捕獲右值引用時(shí)，會(huì)在編譯器為該 lambda 表達(dá)式生成的 std::function 類中生成一個(gè) const 對(duì)象，const 對(duì)象是不能作為右值引用來調(diào)用接收右值引用為參數(shù)的函數(shù)的。

在函數(shù) foo() 中定義的 funb ，相對(duì)于 funa ，在調(diào)用 bar() 時(shí)，為 str 裹上了 std::move() 。不過此時(shí)還是會(huì)編譯失敗。錯(cuò)誤信息如下：

Invoking: GCC C++ Compiler
g++ -O0 -g3 -Wall -c -fmessage-length=0 -MMD -MP -MF"src/DemoTest.d" -MT"src/DemoTest.o" -o "src/DemoTest.o" "../src/DemoTest.cpp"
../src/DemoTest.cpp: In lambda function:
../src/DemoTest.cpp:31:18: error: binding reference of type ‘std::__cxx11::string&& {aka std::__cxx11::basic_string<char>&&}' to ‘std::remove_reference<const std::__cxx11::basic_string<char>&>::type {aka const std::__cxx11::basic_string<char>}' discards qualifiers
     bar(std::move(str));
         ~~~~~~~~~^~~~~
../src/DemoTest.cpp:7:6: note:   initializing argument 1 of ‘void bar(std::__cxx11::string&&)'
 void bar(std::string &&str) {
      ^~~
make: *** [src/DemoTest.o] Error 1
src/subdir.mk:18: recipe for target 'src/DemoTest.o' failed

在 funb 中， str 是個(gè) const 對(duì)象，因而還是不行。

在函數(shù) foo() 中定義的 func ，相對(duì)于 funa ，加了 mutable 修飾。此時(shí)還是會(huì)編譯失敗。錯(cuò)誤信息如下：

Invoking: GCC C++ Compiler
g++ -O0 -g3 -Wall -c -fmessage-length=0 -MMD -MP -MF"src/DemoTest.d" -MT"src/DemoTest.o" -o "src/DemoTest.o" "../src/DemoTest.cpp"
../src/DemoTest.cpp: In lambda function:
../src/DemoTest.cpp:37:12: error: cannot bind rvalue reference of type ‘std::__cxx11::string&& {aka std::__cxx11::basic_string<char>&&}' to lvalue of type ‘std::__cxx11::string {aka std::__cxx11::basic_string<char>}'
     bar(str);
            ^
../src/DemoTest.cpp:7:6: note:   initializing argument 1 of ‘void bar(std::__cxx11::string&&)'
 void bar(std::string &&str) {
      ^~~
make: *** [src/DemoTest.o] Error 1
src/subdir.mk:18: recipe for target 'src/DemoTest.o' failed

無法將左值綁定到一個(gè)右值引用上。

在函數(shù) foo() 中定義的 fund ，相對(duì)于 func ，在調(diào)用 bar() 時(shí)，為 str 裹上了 std::move() 。此時(shí)終于可以編譯成功，可以 move const 的 str 。

在函數(shù) foo() 中定義的 fune ，相對(duì)于 funb ，以引用的方式捕獲了右值引用。在 fune 中調(diào)用 bar() ，就如同 foo() 直接調(diào)用 bar() 一樣。

在函數(shù) foo() 中調(diào)用接收一個(gè)右值引用作為參數(shù)的函數(shù) bar_bar() 生成一個(gè)函數(shù)。在函數(shù) bar_bar() 中用 lambda 定義的函數(shù)對(duì)象 funf ，以引用的方式捕獲一個(gè)右值，并在 lambda 中訪問改對(duì)象。該 lambda 作為 bar_bar() 函數(shù)生成的函數(shù)對(duì)象。 foo() 中調(diào)用 bar_bar() 時(shí)傳入函數(shù)棧上定義的臨時(shí)對(duì)象 stra ，并將 bar_bar() 返回的函數(shù)對(duì)象作為返回值返回。在 main() 函數(shù)中用 funcg 接收 foo() 函數(shù)返回的函數(shù)對(duì)象，并調(diào)用 funcg ，此時(shí)會(huì)發(fā)生 crash 或能看到亂碼。crash 或亂碼是因?yàn)?，?funf 中，訪問的 str 對(duì)象實(shí)際上是 foo() 函數(shù)中定義的棧上臨時(shí)對(duì)象 stra ， foo() 函數(shù)調(diào)用結(jié)束之后，棧上的臨時(shí)對(duì)象被釋放， main() 函數(shù)中調(diào)用 funcg 實(shí)際在訪問一個(gè)無效的對(duì)象，因而出現(xiàn)問題。

到此這篇關(guān)于C++ lambda 捕獲模式與右值引用的使用的文章就介紹到這了,更多相關(guān)C++ lambda 捕獲模式與右值引用內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！