Чи можна додати нуль до нульового вказівника?

Я знаю, що арифметика вказівника заборонена для нульових покажчиків. Але уявіть, у мене є щось подібне:

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?

Я особливо вдячний за стандартні посилання.

Так, до нульового вказівника можна додати нуль і віднімати один нульовий покажчик від іншого. Цитуючи розділи операторів Additive [expr.add] стандарту C ++:

Коли вираз, Jякий має інтегральний тип, додається або віднімається від виразу Pтипу вказівника, результат має тип P.

• Якщо Pоцінюється до нульового значення вказівника і Jоцінюється до 0, результатом є значення нульового вказівника.