Ý nghĩa của một const ở cuối hàm thành viên là gì?

Question

Chính xác từ khóa const trong C++ có nghĩa là gì khi được viết ở cuối hàm thành viên (sau danh sách đối số)?

Answer 1

Điều đó có nghĩa là *this là const bên trong hàm thành viên đó, tức là nó không làm thay đổi đối tượng.

Từ khóa this là biểu thức giá trị có giá trị là địa chỉ của đối tượng mà hàm được gọi. Loại this trong chức năng thành viên của một lớp X là . Nếu chức năng thành viên được khai báo là const, loại this là const X*. [phần 9.3.2 §1]

Trong chức năng thành viên const, đối tượng mà hàm được gọi được truy cập thông qua đường dẫn truy cập const; do đó, một hàm thành viên const sẽ không sửa đổi đối tượng và các thành viên dữ liệu không tĩnh của nó. [phần 9.3.2 §2]

Điều này có nghĩa là có thể gọi hàm const thành viên trên lớp const của lớp học. Không thể gọi hàm thành viên không phải là const trên ^[1] đối tượng const vì có thể có khả năng cố sửa đổi nó.

^{[1] Lưu ý: tạm thời không phải là một đối tượng const trừ khi nó là của const loại.}

Answer 2

Tối ưu hóa trình biên dịch là có thể, nhưng lợi ích chính là thực thi hợp đồng được biểu thị trong khai báo hàm - nếu bạn xác định hàm thành viên là const, trình biên dịch ngăn không cho sửa đổi đối tượng bên trong hàm đó.

Bạn có thể miễn các trường riêng lẻ trong lớp khỏi hạn chế này bằng cách sử dụng mutable trong tuyên bố của họ. Điều này rất hữu ích ví dụ khi bạn có một lớp đóng gói lock_guard của riêng nó, mà phải thay đổi giá trị của nó để thực thi an toàn luồng ngay cả trong các hàm thành viên const.

Answer 3

const ở cuối chữ ký hàm có nghĩa là hàm phải giả định đối tượng mà thành viên là const. Trong điều kiện thực tế nó có nghĩa là bạn yêu cầu trình biên dịch để kiểm tra rằng chức năng thành viên không thay đổi dữ liệu đối tượng theo bất kỳ cách nào. Nó có nghĩa là yêu cầu trình biên dịch kiểm tra rằng nó không trực tiếp thay đổi bất kỳ dữ liệu thành viên nào, và nó không gọi bất kỳ hàm nào mà chính nó không đảm bảo rằng nó sẽ không thay đổi đối tượng.

Khi bạn tạo đối tượng const, bạn yêu cầu trình biên dịch đảm bảo rằng đối tượng đó không thay đổi ngoài khởi tạo của nó. Điều đó có nghĩa là trình biên dịch sẽ kiểm tra bạn không trực tiếp thay đổi dữ liệu thành viên của nó và bạn không gọi bất kỳ hàm nào không đảm bảo nó sẽ không thay đổi đối tượng.

Đây là tất cả các phần của triết lý const đúng đắn. Về bản chất nó có nghĩa là nếu mọi thứ hoạt động ngay bây giờ và chúng sẽ không thay đổi thì chúng sẽ không bao giờ phá vỡ. Nói cách khác, những thứ liên tục dễ dàng hơn để làm việc một cách đáng tin cậy. Điều này const điều ở phần cuối của chữ ký chức năng là một công cụ để bạn có thể cấm mọi thứ từ phá vỡ.Điều này lần lượt có nghĩa là bạn nên đặt const ở mọi nơi bạn có thể có thể.