Cách * hạn chế/* __ restrict__ hoạt động trong C/C++?

Question

Dưới đây là một số mã tôi đã viết (sử dụng __restrict__ phần mở rộng của GCC C++):

#include <iostream> 

using namespace std; 

int main(void) { 
    int i = 7; 
    int *__restrict__ a = &i; 
    *a = 5; 
    int *b = &i, *c = &i; 
    *b = 8; 
    *c = 9; 

    cout << **&a << endl; // *a - which prints 9 in this case 

    return 0; 
} 

Hoặc, phiên bản C (trong trường hợp phiên bản C++ là không rõ ràng do việc sử dụng một phần mở rộng mà mỗi phổ biến C++ hỗ trợ), sử dụng GCC:

#include <stdio.h> 

int main(void) { 
    int i = 7; 
    int *restrict a = &i; 
    *a = 5; 
    int *b = &i, *c = &i; 
    *b = 8; 
    *c = 9; 

    printf("%d \n", **&a); // *a - which prints 9 in this case 

    return 0; 
} 

Từ những gì tôi đã đọc, nếu tôi làm *a = 5, nó thay đổi giá trị của bộ nhớ ông, a, trỏ đến; sau đó, bộ nhớ mà người đó đang trỏ đến không được sửa đổi bởi bất kỳ ai khác ngoại trừ a, điều đó có nghĩa là các chương trình này sai vì b và c sửa đổi nó sau đó. Hoặc, ngay cả khi b sửa đổi i trước tiên, sau đó chỉ a sẽ có quyền truy cập vào bộ nhớ đó (i). Tôi có nhận được chính xác không?

P.S: Hạn chế trong chương trình này không thay đổi bất cứ điều gì. Có hoặc không có giới hạn, trình biên dịch sẽ tạo ra cùng một mã assembly. Tôi đã viết chương trình này chỉ để làm rõ mọi thứ, nó không phải là một ví dụ tốt của việc sử dụng restrict. Một ví dụ tốt về restrict sử dụng bạn có thể xem tại đây: http://cellperformance.beyond3d.com/articles/2006/05/demystifying-the-restrict-keyword.html

Answer 1

số

Báo cáo

*b = 8; 
*c = 9; 

sẽ gây ra hành vi không xác định.

Từ tài liệu:

Một con trỏ là địa chỉ của một vị trí trong bộ nhớ. Nhiều hơn một con trỏ có thể truy cập cùng một đoạn bộ nhớ và sửa đổi nó trong suốt quá trình của một chương trình. Loại vòng loại loại restrict là chỉ thị cho trình biên dịch, nếu bộ nhớ được chỉ định bởi con trỏ được đánh dấu restrict được sửa đổi, không có con trỏ nào khác truy cập cùng bộ nhớ đó. Trình biên dịch có thể chọn tối ưu hóa mã liên quan đến restrict con trỏ được chứng nhận theo cách có thể dẫn đến hành vi không chính xác. Đó là trách nhiệm của lập trình viên để đảm bảo rằng các con trỏ được đánh giá là restrict được sử dụng như chúng được dự định sẽ được sử dụng. Nếu không, hành vi không xác định có thể xảy ra.