Cảnh báo C4172: Trả lại tham chiếu đến const std :: chuỗi được liên kết với biến cục bộ. Làm thế nào an toàn là nó?

Question

tôi chỉ xây dựng một trong những dự án của chúng tôi tại nơi làm việc và tôi thấy một chức năng mới được bổ sung:

const std::string& ClassName::MethodName() const 
{ 
    return ""; 
} 

Trình biên dịch đưa ra một cảnh báo:

Cảnh báo C4172: trở về địa chỉ của biến cục bộ hoặc tạm thời

Tôi nghĩ trình biên dịch là đúng. Chức năng này an toàn đến mức nào?

Lưu ý rằng hàm không trả về const char*, điều này có thể được chấp nhận vì chuỗi ký tự chuỗi có thời lượng lưu trữ tĩnh. Nó trả về một tham chiếu đến const std::string

Answer 1

Có nó không an toàn.
Trả về địa chỉ của một biến địa phương hoặc tạm thời và dereferencing nó kết quả trong hành vi Undefined.

Như bạn đã nhận xét:
Có, tuổi thọ của giới hạn tạm thời đối với tham chiếu không đổi sẽ tăng lên cho đến khi vòng đời không đổi. Nhưng điều đó cần người gọi chấp nhận giá trị trả về trong tham chiếu const, Vì vậy, chính nó chức năng sẽ không an toàn.

Từ ++ Chuẩn C:
C++ 03 12,2 đối tượng tạm thời:

Bối cảnh thứ hai là khi một tài liệu tham khảo được ràng buộc với một tạm thời. Tạm thời mà tham chiếu được đóng thành quyển hoặc tạm thời mà là đối tượng hoàn chỉnh đến một subobject trong đó tạm thời được ràng buộc kéo dài tuổi thọ của các tài liệu tham khảo trừ khi được quy định dưới đây ...

Một tạm thời bị ràng buộc để một thành viên tham chiếu trong bộ khởi tạo của hàm dựng (12.6.2) vẫn tồn tại cho đến khi hàm khởi tạo xuất hiện. Một ràng buộc tạm thời với tham chiếu tham số trong một cuộc gọi hàm (5.2.2) tồn tại cho đến khi hoàn thành biểu thức đầy đủ chứa cuộc gọi. Một giới hạn 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 số lần thoát

Answer 2

làm những gì bạn đã làm thực sự thực hiện điều này trong nội bộ trong trình biên dịch:

const std::string* ClassName::MethodName() const 
{ 
    std::string temp = ""; 
    return &temp; 
} 

Và trở về tài liệu tham khảo hoặc con trỏ đến các biến địa phương là xấu.

Answer 3

Đây là một ví dụ mà làm cho mọi việc rõ ràng cho tôi:

#include <iostream> 
using std::cout; 
struct A{ 
    A() { 
     cout << "Ctor\n"; 
    } 
    ~A() { 
     cout << "Dtor\n"; 
    } 
}; 

const A& f(){ 
    return A(); 
} 

int main(){ 
    const A& ref = f(); 
    cout << "1\n"; 
    { 
     const A& ref1 = A(); 
     cout << "2\n"; 
    } 
    cout << "3\n"; 
} 

Đầu ra

Ctor 
Dtor 
1 
Ctor 
2 
Dtor 
3 

Answer 4

Có những trường hợp khi mã này là an toàn. Xem GotW #88: A Candidate For the “Most Important const”.