C++ const vế trái tài liệu tham khảo

Question

Giả sử tôi có:

• hạng A mà là phi copyable
• lớp B trong đó có là thành viên, const Một & một (và mất điểm A trong constructer của nó và đặt nó trong danh sách khởi tạo của nó)
• một hàm A GenerateA();

Điều này có nghĩa rằng nó phải được hợp lệ để làm: B (GenerateA()) ?

nghĩa là, nghĩa là const ref có nghĩa là không có bản sao A trả về được tạo ra? Và điều đó có nghĩa là phạm vi tạm thời trả lại được kéo dài cho đến khi B tồn tại?

CHỈNH SỬA: Câu hỏi bổ sung từ các nhận xét: Có thể chấp nhận trả lại A & từ GenerateA() đến A cục bộ, nếu giá trị l là một A &?

Cảm ơn!

Answer 1

Vì nó đã được quy định bởi những người khác, A GenerateA() không thể biên dịch nếu A không copyable.

Về ref const: không có, tuổi thọ của các tạm thời sẽ không được mở rộng đến tuổi thọ của B. Các tiêu chuẩn [12.2.5] nói:

Một tạm thời bị ràng buộc cho một thành viên tham chiếu trong một ctor-initializer của hàm tạo (12.6.2) vẫn tồn tại cho đến khi hàm khởi tạo khởi tạo. [...] Một ràng buộc tạm thời với giá trị trả về trong câu lệnh trả về hàm (6.6.3) vẫn tồn tại cho đến khi hàm thoát.

Vì vậy, có, kéo dài tuổi thọ tạm thời trong một số ngữ cảnh (và đôi khi thực sự hữu ích: see this article), nhưng không phải trong trường hợp bạn đã trình bày.

Về câu hỏi cuối cùng của bạn, không hợp lệ để trả lại tham chiếu đến biến cục bộ từ GenerateA() (và ràng buộc kết quả với tham chiếu const sẽ không có bất kỳ trợ giúp nào).

Answer 2

Có và không

Có, tham chiếu const sẽ liên kết với biến tạm thời. Không, tham chiếu const là các thành viên lớp không mở rộng suốt đời theo cách tham chiếu const với thời lượng tự động.

Answer 3

Nếu A không thể sao chép được, thì hàm A GenerateA() không hợp lệ vì việc trả về theo giá trị yêu cầu tạo bản sao.

Nếu hàm trả về tham chiếu thay thế (ví dụ: A &GenerateA()) và tham chiếu là đối tượng A được tạo cục bộ, nó sẽ trở thành không hợp lệ ngay khi chức năng thoát. C++ không có bất kỳ hình thức thu gom rác nào, do đó không có cách nào để "kéo dài" tuổi thọ của một đối tượng miễn là nó đang được sử dụng.

Answer 4

Dưới đây là một ví dụ :

#include <iostream> 
using namespace std; 

int& GenX(bool reset) 
{ 
    static int* x = new int; 
    *x = 100; 
    if (reset) 
    { 
     delete x; 
     x = new int; 
     *x = 200; 
    } 
    return *x; 
} 

class YStore 
{ 
public: 
    YStore(int& x); 
    int& getX() { return my_x; } 
private: 
    int& my_x; 
}; 

YStore::YStore(int& x) 
: my_x(x) 
{ 
} 

int main() 
{ 
    YStore Y(GenX(false)); 
    cout << "X: " << Y.getX() << endl; 
    GenX(true); // side-effect in Y 
    cout << "X: " << Y.getX() << endl; 
    return 0; 
} 

Output:

X: 100 
X: 200