Có một thành viên lớp tham chiếu const kéo dài cuộc sống của một tạm thời?

Tại sao điều này:

#include <string>
#include <iostream>
using namespace std;

class Sandbox
{
public:
    Sandbox(const string& n) : member(n) {}
    const string& member;
};

int main()
{
    Sandbox sandbox(string("four"));
    cout << "The answer is: " << sandbox.member << endl;
    return 0;
}

Cho đầu ra của:

Câu trả lời là:

Thay vì:

Câu trả lời là: bốn

Chỉ tham khảo địa phương const kéo dài tuổi thọ.

Tiêu chuẩn quy định hành vi như vậy trong §8.5.3 / 5, [dcl.init.ref], phần khởi tạo khai báo tham chiếu. Tham chiếu trong ví dụ của bạn bị ràng buộc với đối số của hàm tạo nvà trở nên không hợp lệ khi đối tượng nbị ràng buộc đi ra khỏi phạm vi.

Phần mở rộng trọn đời không phải là bắc cầu thông qua một đối số chức năng. §12.2 / 5 [class.t tạm thời]:

Bối cảnh thứ hai là khi một tham chiếu bị ràng buộc tạm thời. Tạm thời mà tham chiếu bị ràng buộc hoặc tạm thời là đối tượng hoàn chỉnh cho một tiểu dự án mà tạm thời bị ràng buộc tồn tại trong suốt thời gian tham chiếu trừ khi được chỉ định dưới đây. Một ràng buộc tạm thời với một thành viên tham chiếu trong trình khởi tạo ctor của trình xây dựng (§12.6.2 [class.base.init]) vẫn tồn tại cho đến khi hàm tạo thoát ra. Một ràng buộc tạm thời với một tham số tham chiếu trong lệnh gọi hàm (§5.2.2 [expr.call]) vẫn tồn tại cho đến khi hoàn thành biểu thức đầy đủ chứa lệnh gọi.

Đây là cách đơn giản nhất để giải thích những gì đã xảy ra:

Trong hàm main () bạn đã tạo một chuỗi và chuyển nó vào hàm tạo. Ví dụ chuỗi này chỉ tồn tại trong hàm tạo. Bên trong hàm tạo, bạn đã chỉ định thành viên trỏ trực tiếp vào trường hợp này. Khi phạm vi rời khỏi hàm tạo, thể hiện chuỗi đã bị hủy và thành viên sau đó chỉ vào một đối tượng chuỗi không còn tồn tại. Có Sandbox.member trỏ đến một tham chiếu ngoài phạm vi của nó sẽ không giữ các trường hợp bên ngoài đó trong phạm vi.

Nếu bạn muốn sửa chương trình của mình để hiển thị hành vi bạn muốn, hãy thực hiện các thay đổi sau:

int main()
{
    string temp = string("four");    
    Sandbox sandbox(temp);
    cout << sandbox.member << endl;
    return 0;
}

Bây giờ temp sẽ vượt ra khỏi phạm vi ở cuối hàm main () thay vì ở cuối hàm tạo. Tuy nhiên, đây là thực tế xấu. Biến thành viên của bạn không bao giờ nên là một tham chiếu đến một biến tồn tại bên ngoài thể hiện. Trong thực tế, bạn không bao giờ biết khi nào biến đó sẽ đi ra khỏi phạm vi.

Điều tôi khuyên là nên định nghĩa Sandbox.member là const string member;Điều này sẽ sao chép dữ liệu của tham số tạm thời vào biến thành viên thay vì chỉ định biến thành viên là chính tham số tạm thời.

Về mặt kỹ thuật, chương trình này không bắt buộc phải thực sự xuất bất cứ thứ gì thành đầu ra tiêu chuẩn (là luồng được đệm để bắt đầu).

• Các cout << "The answer is: "bit sẽ phát ra "The answer is: "vào bộ đệm của thiết bị xuất chuẩn.

• Sau đó, << sandbox.memberbit sẽ cung cấp tham chiếu lơ lửng vào operator << (ostream &, const std::string &), gọi ra hành vi không xác định .

Bởi vì điều này, không có gì được đảm bảo xảy ra. Chương trình có thể hoạt động có vẻ tốt hoặc có thể bị sập mà thậm chí không xuất hiện thiết bị xuất chuẩn - có nghĩa là văn bản "Câu trả lời là:" sẽ không xuất hiện trên màn hình của bạn.

Bởi vì chuỗi tạm thời của bạn đã vượt ra khỏi phạm vi một khi trình xây dựng Sandbox quay trở lại và ngăn xếp bị chiếm bởi nó được lấy lại cho một số mục đích khác.

Nói chung, bạn không bao giờ nên giữ lại tài liệu tham khảo lâu dài. Tài liệu tham khảo tốt cho các đối số hoặc biến cục bộ, không bao giờ là thành viên lớp.

bạn đang đề cập đến một cái gì đó đã biến mất. Sau đây sẽ làm việc

#include <string>
#include <iostream>

class Sandbox
{

public:
    const string member = " "; //default to whatever is the requirement
    Sandbox(const string& n) : member(n) {}//a copy is made

};

int main()
{
    Sandbox sandbox(string("four"));
    std::cout << "The answer is: " << sandbox.member << std::endl;
    return 0;
}