Có thể trả về giá trị của đối số mặc định bằng tham chiếu const không?

Bạn có thể trả về giá trị của đối số mặc định bằng tham chiếu const như trong các ví dụ bên dưới không:

https://coliru.stacked-crooking.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");
}

Trong mã của bạn, cả hai s1và s3là tài liệu tham khảo lơ lửng. s2và s4được

Trong cuộc gọi đầu tiên, std::stringđối tượng trống tạm thời được tạo từ đối số mặc định sẽ được tạo trong ngữ cảnh của biểu thức có chứa cuộc gọi. Do đó, nó sẽ chết ở cuối định nghĩa s1, để lại s1lủng lẳng.

Trong cuộc gọi thứ hai, std::stringđối tượng tạm thời được sử dụng để khởi tạo s2, sau đó nó chết.

Trong cuộc gọi thứ ba, chuỗi ký tự "s"được sử dụng để tạo một std::stringđối tượng tạm thời và cũng chết ở cuối định nghĩa s3, để lại s3lủng lẳng.

Trong cuộc gọi thứ tư, std::stringđối tượng tạm thời có giá trị "s"được sử dụng để khởi tạo s4và sau đó nó chết.

Xem C ++ 17 [class.t tạm thời] /6.1

Một đối tượng tạm thời bị ràng buộc với một tham số tham chiếu trong lệnh gọi hàm (8.2.2) vẫn tồn tại cho đến khi hoàn thành biểu thức đầy đủ có chứa cuộc gọi.

Nó không an toàn :

Nói chung, thời gian tồn tại tạm thời không thể được kéo dài thêm bằng cách "truyền lại": tham chiếu thứ hai, được khởi tạo từ tham chiếu mà tạm thời bị ràng buộc, không ảnh hưởng đến tuổi thọ của nó.

Nó phụ thuộc vào những gì bạn làm với chuỗi sau đó.

Nếu câu hỏi của bạn là mã của tôi chính xác? đúng vậy

Từ [dcl.fct.default] / 2

[ Ví dụ : Tuyên bố

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

khai báo một hàm có thể được gọi bằng 0, một hoặc hai đối số kiểu int. Nó có thể được gọi theo bất kỳ cách nào sau đây:

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

Hai cuộc gọi cuối cùng tương ứng point(1,4)và point(3,4), tương ứng. - ví dụ cuối ]

Vì vậy, mã của bạn có hiệu quả tương đương với:

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

Tất cả mã của bạn là chính xác, nhưng không có phần mở rộng trọn đời tham chiếu trong bất kỳ trường hợp nào, vì kiểu trả về là tham chiếu.

Vì bạn gọi hàm bằng tạm thời, thời gian tồn tại của chuỗi trả về sẽ không mở rộng câu lệnh.

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

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

Ví dụ của bạn s2là ổn vì bạn sao chép (hoặc di chuyển) từ tạm thời trước khi kết thúc thời gian bão hòa. s3có cùng một vấn đề hơn s1.