Tôi có quyền nói rằng const_cast theo sau bởi sửa đổi trên một ref-to-const ràng buộc với một tạm thời là okay?

Question

Tôi muốn kiểm tra sự hiểu biết và kết luận của tôi về vấn đề này.

---

On IRC, nó đã được hỏi:

Có thể chấp nhận để const_cast một tham chiếu const đó là ràng buộc với một đối tượng tạm thời?

Dịch: ông có một ref-to-const ràng buộc với một tạm thời, và ông muốn bỏ đi const -ness của nó để sửa đổi nó.

Câu trả lời của tôi là tôi đã hỏi a similar question trước đây, nơi mà sự đồng thuận dường như là bản thân thời gian không vốn là const và do đó bạn có thể bỏ số tham chiếu bạn có cho họ và sửa đổi thông qua kết quả. Và, miễn là bản gốc ref-to-const vẫn tồn tại, điều này sẽ không ảnh hưởng đến tuổi thọ của tạm thời.

Đó là:

int main() 
{ 
    const int& x = int(3); 

    int& y = const_cast<int&>(x); 
    y = 4; 

    cout << x; 
} 
// Output: 4 
//^Legal and safe 

Tôi có phải không?

---

^{(Tất nhiên, có hoặc không mã như vậy là thực sự nên là một vấn đề hoàn toàn khác!)}

Answer 1

số

Thứ nhất, như xa như tôi có thể nói, cho dù đó có nghĩa là chữ cái hay không là không liên quan. Rvalues ​​các loại phi lớp luôn có phi cv đủ điều kiện loại (§3.10/9), tuy nhiên, trong §8.5.3 (khởi của một tham chiếu), chúng tôi có:

Một tham chiếu đến gõ “ CV1 T1” được khởi tạo bởi một biểu hiện của loại ‘CV2 T2’ như sau:

[...]

-

Nếu không, tạm thời kiểu ‘CV1 T1’ được tạo ra và khởi tạo từ biểu thức khởi tạo bằng cách sử dụng các quy tắc cho một bản sao không tham chiếu init ialization (8.5). Tham chiếu sau đó được liên kết với tạm thời. Nếu T1 có liên quan đến tham chiếu đến T2, thì cv1 phải có cùng trình độ cv, hoặc lớn hơn cvqualification hơn, cv2; nếu không, chương trình bị hình thành không đúng.

(. Tất cả các mối quan tâm điểm trước hoặc lvalues ​​hoặc các loại lớp)

Trong trường hợp của chúng tôi, chúng ta có:

int const& x = ...; 

Vì vậy CV1 T1 là int const, và đối tượng tạm thời chúng tôi tạo có loại int const.Đây là một cấp độ cao nhất const (trên đối tượng), do đó, bất kỳ nỗ lực để sửa đổi nó là hành vi không xác định.

Ít nhất đó là giải thích của tôi. Tôi muốn tiêu chuẩn này rõ ràng hơn một chút về điều này.

Answer 2

Câu trả lời phụ thuộc vào cách tạm thời được tạo và cách tham chiếu được khởi tạo.

Nếu bạn đã tự tạo tạm thời làm đối tượng không phải loại const và tình huống đảm bảo rằng tham chiếu const được gắn riêng cho tạm thời bạn đã tạo, thì bạn có thể bỏ đi một cách an toàn độ chói của tham chiếu và sửa đổi đối tượng.

Mặt khác, nếu tạm thời được tạo ra hoàn toàn cho bạn bởi trình biên dịch, thì bản thân tạm thời sẽ là const. Trong trường hợp đó, việc sửa đổi tạm thời dẫn đến UB.

Thật không may, tiêu chuẩn ngôn ngữ C++ không có vẻ như đảm bảo bất kỳ tình huống nào mà phương pháp khởi tạo đầu tiên nhất thiết phải được thực hiện. Trong mọi ngữ cảnh, trình biên dịch được phép giới thiệu một bản sao tạm thời bổ sung của bản gốc tạm thời của bạn. Tạm thời mới sẽ là const (như đã nêu ở trên) và do đó không thể sửa đổi được. Cho dù điều này xảy ra hay không được thực hiện xác định, như đã nêu trong 8.5.3/5.

Vì vậy, trong trường hợp chung câu trả lời là không, trong khi câu trả lời dành riêng cho việc triển khai có thể khác.