返回值const＆和const賦值 - dissassembly

Question

最近我一直在分析一些舊代碼的某些部分，其中某些情況下，函數返回的值被賦予const變量，有時變爲const&。出於好奇心，我已經轉向解決問題以瞭解差異。但要到前點讓我得出一個簡單的例子，有一些代碼來引用：

struct Data 
{ 
    int chunk[1024]; 
}; 

Data getData() 
{ 
    return Data(); 
} 

int main() 
{ 
    const std::string varInit{ "abc" }; // 1 
    const std::string varVal = "abc"; // 2 
    const std::string& varRef = "abc"; // 3 

    const Data dataVal = getData(); // 4 
    const Data& dataRef = getData(); // 5 

    return 0; 
} 

上面的代碼下面的拆解與禁用優化VS2015收購。

我沒有ASM專家，但乍一看我會說，對於(1)和(2)有進行類似的操作。儘管如此，令我感到驚訝的是(3)進行了兩項額外的操作（lea和mov），與以前的版本相比，const&在變量賦值過程中未被使用。

通過值從函數返回數據時可以觀察到相同情況。 (5)承擔了與(4)有關的更多操作。

的問題是相當窄：

• 在哪裏，這些額外的操作都來自這裏什麼是他們的目的是什麼？一般來說不像這裏：What's the purpose of the LEA instruction，但在上下文中。
• 這是否會影響性能，至少對於其底層數據大小可忽略不計的對象？ （與本例中使用的Data結構相反）
• 開啓優化時會有什麼影響嗎？ （發佈版本）

順便說一句，我已經閱讀Why not always assign return values to const reference?有關分配可有點關係，但不是問題的一部分值時，使用常量和const &的利弊。

Answer 1

的情況下，（3）編譯器在[ebp-84]創建「隱藏」局部變量「的std :: string」讓我們將其命名爲_84，做這樣的代碼

const std::string _84 = "abc"; 
const std::string& varRef = _84;// lea + move (by sense varRef = &_84) 

的X& v - 由感和二進制代碼相同X* v - v實際指針X在兩種情況下，簡單地不同的語法使用

相同，並且在情況（5）

const Data _20a0 = getData(); 
const Data& dataRef = _20a0; // by sense dataRef = &_20a0, but by syntax dataRef = _20a0 

或者說，如果你不是行

const Data& dataRef = getData(); 

寫行

const Data& dataRef = dataVal; 

您查看此行正好用2彙編指令：

lea eax,[dataVal] 
mov [dataRef],eax 

碼（4,5）和Data getData()簽名是絕對的噩夢，無字

---

約「由值」返回結構更加清晰 - 功能只能返回註冊爲結果（al，ax，eax和在64 rax）或2個寄存器 - edx:eax（8字節，EDX高）或rdx:rax （在x64中爲16字節）

如果是 Data getData() - 不可能返回Data原樣。怎麼樣 ？！？

所以真的是你的函數轉換爲

Data* getData(Data* p) 
{ 
    Data x; 
    memcpy(p, &x, sizeof(Data)); 
    return p; 
} 

和代碼

//const Data dataVal = getData(); 
Data _41A0, _3198, dataVal; 
memcpy(&_3198, getData(&_41A0), sizeof(Data)); 
memcpy(&dataVal, &_3198, sizeof(Data)); 

//const Data& dataRef = getData(); 
Data _41A0, _3198, _20a0, &dataRef; 
memcpy(&_51a8, getData(&_61b0), sizeof(Data)); 
memcpy(&_20a0, &_51a8, sizeof(Data)); 
dataRef = &_20a0;// very small influence compare all other 

嘗試計算多少無謂的memcpy做編譯器？

需要這樣寫代碼

void InitData(Data* p); 

Data dataVal; 
InitData(&dataVal);