Subtraction of an integer from a po

Subtraction of an integer from a pointer is analogous to addition of an integer to a pointer. When subtracting an integer k from a pointer p, it is assumed that the object that p points to lies within an array of such objects or is one object past the last object, and the result is a pointer to that object within (or just after) the presumed array that lies -k objects away from the one p points to. For example, p-1 points to the object just before the one p points to, and p-f-1) points to the object just after. If thè pointers p or p-k do not lie within (or just after) the aưay, then the behavior is undefined. It is invalid for p to bè á function pointer or to have type void *.
Given two pointers p and q of the same type, the difference p-q is an integer k such that adding k to q yields p. The type of the difference is the signed integer type ptrdif f_t defined in stddef .n, (In pre-Standard c, the type could be either ỉnt òr long depending oh the implementation.) The result is well defined and portable only if the two pointers point to objects in the same array or point to one past the last object of the array. The difference k is the difference in the subscripts of the two objects pointed to. If the pointers p or p-q lie outside the array, the behavior is undefined. It is invalid for either p or q to be a function pointer or to have type void *.
The subtraction operator may produce .unpredictable effects if overflow occurs and the operands (after conversion) are signed integers or floating-point numbers, or if either operand is a pointer. If the operands are both unsigned integers, the result is congruent mod 2” to the true mathematical result of the operation (where n is the number of bits used to represent the unsigned result).
References aưay types 5.4; floating-point types 5.2; integer types 5.1; lvalue 7.1; overflow 7.2.2; pointer representations 5.3.2; pointer types 5.3; ptrdif f_t 11.1; scalar types Ch. 5; signed types 5.1.1; type compatibility 5.11; type qualifiers 4.4.3; unsigned types 5.1.2; usual binary con¬versions 6.3.4

Kết quả (Việt) 1:

Trừ một số nguyên từ một con trỏ là tương tự như bổ sung một số nguyên để một con trỏ. Khi trừ đi một số nguyên k từ một con trỏ p, nó giả định rằng đối tượng p điểm đến nằm trong vòng một mảng của các đối tượng hoặc là một đối tượng qua các đối tượng cuối cùng, và kết quả là một con trỏ cho rằng đối tượng trong vòng (hoặc chỉ sau khi) các mảng giả nằm -k đối tượng xa p một điểm đến. Ví dụ, p-1 điểm để các đối tượng chỉ trước khi một p điểm đến, và p-f-1) điểm đến đối tượng chỉ sau khi. Nếu thè con trỏ p hoặc p-k làm không nằm trong vòng (hoặc chỉ sau khi) the aưay, sau đó các hành vi là không xác định. Nó là không hợp lệ cho p để con trỏ hàm á bè hoặc có loại void *.Cho hai điểm p và q cùng loại, khác biệt p-q là một số nguyên k sao cho thêm k đến q sản lượng p. Các loại của sự khác biệt là số nguyên đã ký loại ptrdif f_t được định nghĩa trong stddef .n, (trước tiêu chuẩn c, loại có thể là một trong hai òr ỉnt dài tùy oh thực hiện.) Kết quả là cũng được xác định và di động chỉ khi hai con trỏ trỏ đến các đối tượng trong cùng một mảng hoặc điểm đến một qua mục tiêu cuối cùng của các mảng. Sự khác biệt k là sự khác biệt trong chỉ hai đối tượng chỉ tới. Nếu con trỏ p hoặc p-q nằm bên ngoài các mảng, hành vi này là không xác định. Nó là không hợp lệ cho p hoặc q là một con trỏ hàm hoặc có loại void *.Các nhà điều hành trừ có thể sản xuất hiệu ứng .unpredictable nếu tràn xảy ra và operands (sau khi chuyển đổi) là ký số nguyên hoặc số floating-point, hoặc nếu một trong hai operand là một con trỏ. Nếu các operands là cả hai số nguyên dấu, kết quả là đồng dư mod 2" để kết quả toán học thật sự của chiến dịch (trong đó n là số bit được sử dụng để đại diện cho kết quả đánh dấu).Tài liệu tham khảo aưay loại 5.4; Floating-Point loại 5.2; số nguyên loại 5.1; lvalue 7.1; tràn 7.2.2; con trỏ đại diện 5.3.2; kiểu con trỏ 5.3; ptrdif f_t 11.1; Các loại vô hướng Ch. 5; ký loại 5.1.1; loại khả năng tương thích 5,11; loại vòng loại 4.4.3; điều loại 5.1.2; thông thường nhị phân con¬versions 6.3.4

Kết quả (Việt) 2:

Trừ một số nguyên từ một con trỏ tương tự bổ sung của một số nguyên cho một con trỏ. Khi trừ một số nguyên k từ một con trỏ p, nó được giả định rằng đối tượng mà p điểm để những lời nói dối trong một mảng các đối tượng này hoặc là một đối tượng qua các đối tượng cuối cùng, và kết quả là một con trỏ đến đối tượng trong (hoặc chỉ sau ) các mảng giả định nằm -k đối tượng đi từ một điểm p để. Ví dụ, p-1 điểm để các đối tượng ngay trước khi một trong những điểm đến p, và pf-1) chỉ ra các đối tượng chỉ sau. Nếu các con trỏ p hay pk không nằm trong (hoặc sau) các aưay, sau đó hành vi này là không xác định. Nó là không hợp lệ cho p tới Bé con trỏ hàm á hay có kiểu void *.
Cho hai con trỏ p và q cùng loại, các pq khác biệt là một số nguyên như vậy mà k thêm k đến sản lượng q p. Các loại khác biệt là các loại nguyên ký ptrdif f_t quy định tại Đô stddef, (Trong pre-Standard c, loại có thể là một trong hai hoặc int dài tùy thuộc oh thực hiện.) Kết quả được xác định tốt và cầm tay chỉ khi hai con trỏ trỏ đến các đối tượng trong cùng một mảng hoặc điểm đến một quá khứ đối tượng cuối cùng của mảng. Các k khác biệt là sự khác biệt trong các kí hiệu của hai đối tượng chỉ tới. Nếu các con trỏ p hay nói dối pq ngoài mảng, hành vi này là không xác định. Nó là không hợp lệ cho một trong hai p hoặc q là một con trỏ chức năng hoặc để có kiểu void *.
Các nhà điều hành phép trừ có thể tạo ra hiệu ứng .unpredictable nếu tràn xảy ra và các toán hạng (sau khi chuyển đổi) được ký số nguyên hoặc số dấu chấm động, hoặc nếu một trong hai toán hạng là một con trỏ. Nếu toán hạng là số nguyên unsigned cả, kết quả là đồng dư mod 2 "vào đúng kết quả toán học của các hoạt động (trong đó n là số bit được sử dụng để đại diện cho các kết quả unsigned).
Tài liệu tham khảo aưay loại 5,4; loại nổi-điểm 5.2; loại nguyên 5.1; giá trị trái 7,1; tràn 7.2.2; con trỏ đại diện 5.3.2; các loại con trỏ 5.3; ptrdif f_t 11.1; loại vô hướng Ch. 5; loại ký 5.1.1; loại tương thích 5,11; gõ vòng loại 4.4.3; loại unsigned 5.1.2; con¬versions nhị phân thông thường 6.3.4