มันอนุญาตให้เพิ่มศูนย์เป็นตัวชี้โมฆะหรือไม่

ฉันรู้ว่าเลขคณิตตัวชี้นั้นไม่ได้รับอนุญาตสำหรับพอยน์เตอร์พอยน์เตอร์ แต่ลองนึกภาพฉันมีสิ่งนี้:

class MyArray {
  int *arrayBegin;  // pointer to the first array item, NULL for an empty array
  unsigned arraySize;   // size of the array, zero for an empty array
public:
  int *begin() const { return arrayBegin; }
  int *end() const { return arrayBegin + arraySize; }  // possible? (arrayBegin may be null)

เป็นไปได้ (อนุญาต) ให้มีการend()ใช้งานข้างต้นหรือไม่ หรือจำเป็นต้องมี:

  int *end() const { return (arraySize == 0) ? nullptr : (arrayBegin + arraySize); }

การหลีกเลี่ยงตัวชี้ทางคณิตศาสตร์ด้วย nullptr เพราะarrayBeginเป็นโมฆะสำหรับอาร์เรย์ว่างเปล่า (แม้จะarraySizeเป็นศูนย์ในกรณีนี้)?

ฉันรู้ว่าเป็นไปได้ในการจัดเก็บint *end;แทนunsigned size;และอนุญาตให้คำนวณขนาดเป็นend-begin- แต่แล้วก็มีปัญหาเดียวกัน: อนุญาตให้คำนวณได้nullptr - nullptrหรือไม่

ฉันจะขอขอบคุณอ้างอิงมาตรฐาน

ใช่คุณสามารถเพิ่มศูนย์ให้กับตัวชี้โมฆะและลบหนึ่งตัวชี้โมฆะจากอีก การอ้างอิงตัวดำเนินการเพิ่มเติม[expr.add]ของมาตรฐาน C ++:

เมื่อมีการแสดงออกJที่มีประเภทหนึ่งคือการเพิ่มหรือลบออกจากการแสดงออกของประเภทตัวชี้ผลที่มีประเภทของPP

• หากPประเมินเป็นค่าตัวชี้ null และJประเมินเป็น 0 ผลลัพธ์จะเป็นค่าตัวชี้ null