ฉันเพิ่งอ่านโค้ดบางส่วนและพบว่าบุคคลนั้นกำลังใช้arr[-2]เพื่อเข้าถึงองค์ประกอบที่ 2 ก่อนหน้าarrนี้:
|a|b|c|d|e|f|g|
^------------ arr[0]
^---------- arr[1]
^---------------- arr[-2]อนุญาตหรือไม่
ฉันรู้ว่าarr[x]เป็นเช่นเดียวกับ*(arr + x). นั่นarr[-2]คือ*(arr - 2)ซึ่งดูเหมือนว่าตกลง คุณคิดอย่างไร?
คำตอบ:
ถูกต้อง. จาก C99 §6.5.2.1 / 2:
de fi nition ของตัวดำเนินการตัวห้อย [] คือ E1 [E2] เหมือนกับ (* ((E1) + (E2)))
ไม่มีเวทมนตร์ มันเท่ากับ 1-1 เช่นเคยเมื่อต้องการอ้างอิงตัวชี้ (*) คุณต้องแน่ใจว่าชี้ไปยังที่อยู่ที่ถูกต้อง
[]จะอ้างถึงเป็นน้ำตาลไวยากรณ์สำหรับเลขคณิตตัวชี้ วิธีที่ชื่นชอบในการสร้างความสับสนให้กับผู้เริ่มต้นคือการเขียน1[arr]- แทนที่จะเป็นarr[1]- และดูพวกเขาเดาว่ามันหมายถึงอะไร
((E1)+(E2))จะเป็นตัวชี้ (64 บิต) พร้อมค่าที่คาดหวัง
จะใช้ได้arrก็ต่อเมื่อเป็นตัวชี้ที่ชี้ไปยังองค์ประกอบที่สองในอาร์เรย์หรือองค์ประกอบที่ใหม่กว่า มิฉะนั้นจะไม่ถูกต้องเนื่องจากคุณจะเข้าถึงหน่วยความจำนอกขอบเขตของอาร์เรย์ ตัวอย่างเช่นสิ่งนี้จะผิด:
int arr[10];
int x = arr[-2]; // invalid; out of rangeแต่ก็ไม่เป็นไร:
int arr[10];
int* p = &arr[2];
int x = p[-2]; // valid: accesses arr[0]อย่างไรก็ตามการใช้ตัวห้อยเชิงลบเป็นเรื่องผิดปกติ
int arr[10];เป็นส่วนหนึ่งของโครงสร้างที่มีองค์ประกอบอื่น ๆ อยู่ก่อนหน้านั้นarr[-2]อาจมีการกำหนดไว้อย่างดีและคุณสามารถระบุได้ว่ามันขึ้นอยู่กับoffsetofฯลฯ หรือไม่
If one is sure that the elements exist, it is also possible to index backwards in an array; p[-1], p[-2], and so on are syntactically legal, and refer to the elements that immediately precede p[0]. Of course, it is illegal to refer to objects that are not within the array bounds.ยังไงตัวอย่างของคุณก็ดีกว่าช่วยให้ฉันเข้าใจ ขอบคุณ!
ฟังดูดีสำหรับฉัน มันจะเป็นกรณีที่หายากที่คุณจะต้องใช้มันอย่างถูกต้องตามกฎหมาย
สิ่งที่อาจเป็นarrไปได้คือการชี้ไปที่ตรงกลางของอาร์เรย์ดังนั้นการarr[-2]ชี้ไปที่บางสิ่งในอาร์เรย์ดั้งเดิมโดยไม่ต้องออกนอกขอบเขต
ฉันไม่แน่ใจว่ามันน่าเชื่อถือแค่ไหน แต่ฉันเพิ่งอ่านข้อแม้ต่อไปนี้เกี่ยวกับดัชนีอาร์เรย์เชิงลบในระบบ 64 บิต (น่าจะเป็น LP64): http://www.devx.com/tips/Tip/41349
ผู้เขียนดูเหมือนจะบอกว่าดัชนี int อาร์เรย์ 32 บิตที่มีการกำหนดแอดเดรส 64 บิตอาจส่งผลให้การคำนวณแอดเดรสไม่ถูกต้องเว้นแต่ว่าดัชนีอาร์เรย์จะเลื่อนระดับเป็น 64 บิตอย่างชัดเจน (เช่นผ่านการส่ง ptrdiff_t) ฉันเคยเห็นข้อผิดพลาดของธรรมชาติของเขาด้วย gcc 4.1.0 เวอร์ชัน PowerPC แต่ฉันไม่รู้ว่ามันเป็นบั๊กของคอมไพเลอร์ (เช่นควรทำงานตามมาตรฐาน C99) หรือพฤติกรรมที่ถูกต้อง (เช่นดัชนีต้องการแคสต์ถึง 64 บิตสำหรับพฤติกรรมที่ถูกต้อง)?
ฉันรู้ว่าคำถามมีคำตอบ แต่ฉันอดไม่ได้ที่จะแบ่งปันคำอธิบายนี้
ฉันจำหลักการออกแบบคอมไพเลอร์ได้สมมติว่า a คืออาร์เรย์ int และขนาดของ int คือ 2 และที่อยู่ฐานสำหรับ a คือ 1000
วิธีการa[5]ทำงาน ->
Base Address of your Array a + (index of array *size of(data type for array a))
Base Address of your Array a + (5*size of(data type for array a))
i.e. 1000 + (5*2) = 1010คำอธิบายนี้ยังเป็นเหตุผลว่าทำไมดัชนีเชิงลบในอาร์เรย์จึงทำงานใน C
คือถ้าฉันเข้าถึงa[-5]มันจะให้ฉัน
Base Address of your Array a + (index of array *size of(data type for array a))
Base Address of your Array a + (-5 * size of(data type for array a))
i.e. 1000 + (-5*2) = 990มันจะส่งคืนวัตถุให้ฉันที่ตำแหน่ง 990 โดยตรรกะนี้เราสามารถเข้าถึงดัชนีเชิงลบใน Array ใน C
เกี่ยวกับสาเหตุที่บางคนต้องการใช้ดัชนีเชิงลบฉันได้ใช้ดัชนีเหล่านี้ในสองบริบท:
มีตารางของตัวเลข combinatorial ที่บอกคุณว่าหวี [1] [- 1] = 0; คุณสามารถตรวจสอบดัชนีก่อนเข้าถึงตารางได้เสมอ แต่วิธีนี้ทำให้โค้ดดูสะอาดขึ้นและทำงานได้เร็วขึ้น
วางเซนติเนลไว้ที่จุดเริ่มต้นของตาราง ตัวอย่างเช่นคุณต้องการใช้สิ่งที่ต้องการ
while (x < a[i]) i--;แต่คุณควรตรวจสอบด้วยว่าiเป็นบวก
วิธีแก้ไข: ทำให้มันa[-1]เป็น-DBLE_MAXเช่นนั้นมันx<a[-1]จะเป็นเท็จเสมอ
#include <stdio.h>
int main() // negative index
{
int i = 1, a[5] = {10, 20, 30, 40, 50};
int* mid = &a[5]; //legal;address,not element there
for(; i < 6; ++i)
printf(" mid[ %d ] = %d;", -i, mid[-i]);
}
somearray-2ไม่ได้กำหนดไว้เว้นแต่ว่าผลลัพธ์จะอยู่ในช่วงจากจุดเริ่มต้นsomearrayถึง 1 หลังจากจุดสิ้นสุด