มันโอเคที่จะส่งคืนค่าอาร์กิวเมนต์เริ่มต้นโดยการอ้างอิง const หรือไม่

มันโอเคที่จะส่งคืนค่าอาร์กิวเมนต์เริ่มต้นโดยการอ้างอิง const เช่นในตัวอย่างด้านล่าง:

https://coliru.stacked-crooked.com/a/ff76e060a007723b

#include <string>

const std::string& foo(const std::string& s = std::string(""))
{
    return s;
}

int main()
{
    const std::string& s1 = foo();
    std::string s2 = foo();

    const std::string& s3 = foo("s");
    std::string s4 = foo("s");
}

ในรหัสของคุณทั้งสองs1และs3มีการอ้างอิงที่ห้อยอยู่ s2และs4ก็โอเค

ในการโทรครั้งแรกstd::stringวัตถุว่างชั่วคราวที่สร้างขึ้นจากอาร์กิวเมนต์เริ่มต้นจะถูกสร้างขึ้นในบริบทของการแสดงออกที่มีการโทร ดังนั้นมันจะตายในตอนท้ายของคำนิยามของs1ซึ่งใบs1ห้อย

ในการเรียกครั้งที่สองstd::stringวัตถุชั่วคราวจะถูกใช้เพื่อเริ่มต้นs2จากนั้นก็จะตาย

ในการเรียกครั้งที่สามสตริงตัวอักษร"s"จะถูกใช้เพื่อสร้างstd::stringวัตถุชั่วคราวและยังตายเมื่อสิ้นสุดคำจำกัดความของs3โดยปล่อยให้s3ห้อยอยู่

ในการเรียกครั้งที่สี่std::stringวัตถุชั่วคราวที่มีค่า"s"จะถูกใช้เพื่อเริ่มต้นs4แล้วจึงตาย

ดู C ++ 17 [class.temporary] /6.1

วัตถุชั่วคราวที่ถูกผูกไว้กับพารามิเตอร์อ้างอิงในการเรียกใช้ฟังก์ชัน (8.2.2) ยังคงมีอยู่จนกระทั่งการแสดงออกเต็มรูปแบบที่มีการเรียกเสร็จสมบูรณ์

มันเป็นความไม่ปลอดภัย :

โดยทั่วไปอายุการใช้งานของชั่วคราวไม่สามารถขยายได้อีกต่อไปโดย "ส่งต่อ": การอ้างอิงที่สองซึ่งเริ่มต้นจากการอ้างอิงที่การผูกชั่วคราวไม่ส่งผลต่ออายุการใช้งาน

ขึ้นอยู่กับสิ่งที่คุณทำกับสตริงหลังจากนั้น

หากคำถามของคุณคือรหัสของฉันถูกต้อง? ใช่แล้วใช่

จาก [dcl.fct.default] / 2

[ ตัวอย่าง : การประกาศ

void point(int = 3, int = 4);

ประกาศฟังก์ชั่นที่สามารถเรียกว่ามีศูนย์หนึ่งหรือสองข้อโต้แย้งของประเภท int สามารถเรียกได้หลายวิธี:

point(1,2);  point(1);  point();

การเรียกสองครั้งสุดท้ายเทียบเท่ากับpoint(1,4)และpoint(3,4)ตามลำดับ - ตัวอย่างท้าย ]

ดังนั้นโค้ดของคุณจึงเทียบเท่ากับ:

const std::string& s1 = foo(std::string(""));
std::string s2 = foo(std::string(""));

รหัสทั้งหมดของคุณถูกต้อง แต่ไม่มีการขยายอายุการอ้างอิงในกรณีใด ๆ เหล่านี้เนื่องจากชนิดส่งคืนเป็นการอ้างอิง

เนื่องจากคุณเรียกใช้ฟังก์ชันที่มีแบบชั่วคราวตลอดชีวิตของสตริงที่ส่งคืนจะไม่ขยายคำสั่ง

const std::string& s1 = foo(std::string("")); // okay

s1; // not okay, s1 is dead. s1 is the temporary.

ตัวอย่างของคุณs2ไม่เป็นไรตั้งแต่คุณคัดลอก (หรือย้าย) จากชั่วคราวก่อนสิ้นสุดการชำระเงิน มีปัญหาเดียวกันกว่าs3s1