Liệu "& a + 1> & a" có gây ra hành vi không xác định

Question

Không c99/c++03 đảm bảo rằng &a+1 > &a luôn đúng không?

ví dụ, có một (c-like) std::copy, và

int a = 0 ; 
int b[9] ; 
std__copy(&a , &a+1 , b) ; 

Điều này luôn làm việc?

Answer 1

Vâng, C99 có từ ngữ đặc biệt để nói rằng khi làm việc với các địa chỉ, bất kỳ đối tượng nhất định a sẽ đóng vai trò như một mảng của 1 item, vì vậy mà &a+1 là hợp lệ (§6.5.6/7):

Với mục đích của các toán tử này, một con trỏ tới một đối tượng không phải là một phần tử của một mảng hoạt động giống như một con trỏ đến phần tử đầu tiên của một mảng có độ dài một với loại phần tử là kiểu phần tử của nó.

Mặc dù số phần khác (§6.3.6), C90 đưa ra yêu cầu tương tự.

C++ có cùng yêu cầu trong §5.7/4 (cùng số phần trong cả C++ 03 và C++ 11). Trong C++, bạn có thể so sánh địa chỉ của các đối tượng tùy ý (cùng loại) bằng cách sử dụng std::less, ngay cả khi được xây dựng trong nhà điều hành < sẽ không mang lại kết quả có ý nghĩa (ví dụ: hai đối tượng không phải là phần của cùng một mảng) §20.8.5/7):

đối với mẫu greater, less, greater_equal, và less_equal, các chuyên ngành cho bất kỳ loại con trỏ mang lại một trật tự tổng, ngay cả khi các nhà khai thác built-in <,>, < =, > = không.

Cũng lưu ý rằng mặc dù bạn có thể hình thành những địa chỉ này, và có thể so sánh chúng với các địa chỉ của đối tượng, bạn không thể dereference những gợi ý (tốt, trình biên dịch có thể sẽ không dừng lại bạn nếu bạn cố gắng, nhưng kết quả sẽ là hành vi không xác định).

Answer 2

Có, điều đó được đảm bảo trong C++ (không biết về C). Các chi tiết cụ thể là một biến kiểu T tương đương với một mảng của một phần tử duy nhất cùng loại và bạn luôn có thể có được một con trỏ vượt quá phần cuối của một mảng.