Trong c + +, tại sao trình biên dịch chọn hàm không const khi const cũng làm việc?

Question

Ví dụ, giả sử tôi có một lớp:

class Foo 
{ 
public: 
    std::string& Name() 
    { 
     m_maybe_modified = true; 
     return m_name; 
    } 

    const std::string& Name() const 
    { 
     return m_name; 
    } 
protected: 
    std::string m_name; 
    bool m_maybe_modified; 
}; 

Và ở một nơi khác trong mã, tôi có một cái gì đó như thế này:

Foo *a; 
// Do stuff... 
std::string name = a->Name(); // <-- chooses the non-const version 

Có ai biết lý do tại sao các trình biên dịch sẽ chọn không const phiên bản trong trường hợp này?

Đây là một ví dụ khá khó, nhưng vấn đề thực tế chúng tôi đang cố gắng giải quyết là tự động lưu một đối tượng theo định kỳ nếu nó đã thay đổi và con trỏ phải không phải vì nó có thể bị thay đổi tại một thời điểm nào đó.

Answer 1

Hai câu trả lời mùa xuân trong tâm trí:

1. Phiên bản không const là một trận đấu chặt chẽ hơn.

2. Nếu nó được gọi là quá tải const cho trường hợp không const, sau đó trong những trường hợp nào nó bao giờ gọi là quá tải không const?

Bạn có thể sử dụng quá tải khác bằng cách truyền a đến const Foo *.

Edit: Từ C++ Annotations

Trước đó, trong phần 2.5.11 khái niệm chức năng quá tải là giới thiệu. Ở đó nó lưu ý rằng thành viên chức năng có thể bị quá tải chỉ bởi thuộc tính const của họ. Trong những trường hợp, trình biên dịch sẽ sử dụng viên chức năng hợp chặt chẽ nhất const tuyển của đối tượng:

Answer 2

Bởi vì một không phải là một con trỏ const. Do đó, một hàm không const là một kết hợp gần hơn. Đây là cách bạn có thể gọi hàm const:

const Foo* b = a; 
std::string name = b->Name(); 

Nếu bạn có quá tải const và không const, và muốn gọi hàm const trên đối tượng không phải const, điều này có thể là dấu hiệu của thiết kế xấu.

Answer 3

Trình biên dịch không tính đến cách bạn đang sử dụng giá trị trả về trong xác định của nó; đó không phải là một phần của quy tắc. Nó không biết nếu bạn đang làm

std::string name = b->Name(); 

hoặc

b->Name() = "me"; 

Nó phải chọn phiên bản mà làm việc trong cả hai trường hợp.

Answer 4

Bạn có thể thêm hàm "cName" tương đương với "Tên() const". Bằng cách này, bạn có thể gọi phiên bản const của hàm mà không cần truyền tới đối tượng const trước tiên.

Điều này chủ yếu hữu ích với tự động từ khóa mới trong C++ 0x, đó là lý do tại sao họ đang cập nhật thư viện để bao gồm cbegin(), cend(), crbegin(), crend ​​() để trả về const_iterator ngay cả khi đối tượng không phải là const.

Những gì bạn đang làm có thể được thực hiện tốt hơn bằng cách đặt hàm setName() cho phép bạn thay đổi tên thay vì trả về tham chiếu đến vùng chứa bên dưới và sau đó "có thể" được sửa đổi.