Tạm thời std :: strings return junk

Question

Tôi vẫn đang học C++, vì vậy hãy chịu với tôi. Tôi đang viết một trình bao bọc đơn giản xung quanh các đường dẫn hệ thống tập tin nâng cao - Tôi gặp phải các vấn đề lạ khi trả về các chuỗi tạm thời. Đây là lớp học đơn giản của tôi (đây không phải là chính xác, nhưng khá gần):

typedef const char* CString; 
typedef std::string String; 
typedef boost::filesystem::path Path; 

class FileReference { 

    public: 

     FileReference(const char* path) : mPath(path) {}; 

     // returns a path 
     String path() const { 
      return mPath.string(); 
     }; 

     // returns a path a c string 
     CString c_str() const { 
      return mPath.string().c_str(); 
     }; 

    private: 

     Path mPath; 

} 

Với mã thử nghiệm nhỏ dưới đây:

FileReference file("c:\\test.txt"); 

OutputDebugString(file.path().c_str()); // returns correctly c:\test.txt 
OutputDebugString(file.c_str());  // returns junk (ie îþîþîþîþîþîþîþîþîþîþî.....) 

Tôi khá chắc chắn điều này có để đối phó với temporaries, nhưng tôi không thể hiểu tại sao điều đó sẽ - không phải mọi thứ đều sao chép chính xác?

Answer 1

Có vẻ như mPath.string() trả về một chuỗi theo giá trị. Đối tượng chuỗi tạm thời đó bị hủy ngay khi FileReference :: c_str() trả về, vì vậy hàm c_str() của nó trở thành không hợp lệ. Với mô hình như vậy, không thể tạo hàm c_str() mà không giới thiệu một số loại biến cấp lớp hoặc tĩnh cho chuỗi.

Hãy xem xét các lựa chọn thay thế sau:

//Returns a string by value (not a pointer!) 
//Don't call it c_str() - that'd be misleading 
String str() const 
{    
    return mPath.string(); 
} 

hoặc

void str(String &s) const 
{    
    s = mPath.string(); 
} 

Answer 2

CString c_str() const { 
     return mPath.string().c_str(); 
    }; 

mPath.string() trả về một bản sao của một std::string. Bản sao đó được lưu trữ tạm thời và sẽ bị hủy ở cuối biểu thức này.

.c_str() trả về con trỏ tới bộ nhớ sẽ bị hủy khi chuỗi bị hủy, tức là ở cuối biểu thức này.

Bạn đang trả lại con trỏ tới bộ nhớ đã bị hủy.

Answer 3

Expressions

OutputDebugString(file.path().c_str()) 

và

OutputDebugString(file.c_str()) 

cũng tương tự như ở chỗ cả hai đều có hiệu quả gọi c_str() phương thức trên một đối tượng tạm thời std::string và cố gắng sử dụng các kết quả của cuộc gọi đó. Người đầu tiên gọi nó trực tiếp là file.path().c_str() biểu hiện phụ. Điều thứ hai là nó ngầm hơn: bên trong phương thức FileReference::c_str().

Trong trường hợp đầu tiên đối tượng tạm thời std::string được tạo rõ ràng bằng cách gọi file.path() gọi là một phần ngay lập tức của toàn bộ biểu thức. Theo các quy tắc của ngôn ngữ, tuổi thọ của đối tượng tạm thời đó kéo dài đến cuối toàn bộ biểu thức, đó là lý do tại sao tạm thời và kết quả của cuộc gọi c_str() vẫn hợp lệ trong suốt.

Trong trường hợp thứ hai, đối tượng tạm thời std::string được tạo bên trong phương thức FileReference::c_str(). Đối tượng tạm thời đó bị hủy khi phương thức này trả về, nghĩa là FileReference::c_str() trả về một con trỏ tới dữ liệu "đã chết". Đây là lý do cho "rác" trong câu hỏi.