Вставка -1 в указатель как специальное значение

Один из способов определить контрольное значение, с которым не будет совпадать никакой другой действительный адрес, - это статическая переменная:

static t sentinel;
t *p = &sentinel;

Если вы собираетесь использовать плоское адресное пространство и все указатели имеют одинаковую ширину, вы можете минимизировать накладные расходы, объявив sentinel типа char вместо t.

Чтобы ответить на ваш вопрос о (t*)-1:

• -1 имеет тип int. Я бы порекомендовал (t*)(uintptr_t)-1, который, скорее всего, будет последним адресом даже для 64-битного плоского адресного пространства.

• он не очень чистый, но он должен работать на всех распространенных архитектурах, потому что, пока компилятор намеревается сравнивать указатели с помощью инструкции сборки беззнакового сравнения (как обычно), для любого объекта a, который компилятор может надеяться разместить в конец адресного пространства, &a + 1 должен сравниваться больше, чем &a. На практике это предотвращает использование последнего адреса для хранения чего-либо.

Это ГРАС (общепризнанный безопасный). Ни одна из основных ОС не будет выделять память, которая может конфликтовать с выбранным вами дозорным. Однако есть несколько патологических случаев, когда такое предположение было бы неверным. Например, патологический компилятор C ++ может выбрать запуск стека с 0xFFFFFFFF, не нарушая никаких ограничений в спецификации.

Только в пределах разумных ОС практически невозможно, чтобы 0xFFFFFFFF (или его 64-битный эквивалент) был действительным адресом памяти. Это не может быть допустимый адрес памяти массива (правила C ++ запрещают это). Технически это может быть действительный индекс символа объекта, размещенного в конце пространства, но этому препятствуют две вещи.

1. У большинства ОС есть отступы
2. Большинство ОС используют большие значения памяти в качестве памяти ядра.

Если у вас есть возможность использовать глобальное значение в качестве дозорного, это гарантированно безопасно.

char sentinel;

char* p = "Hello";
char* p2 = 0; // null pointer
char* p3 = &sentinel;

if (p3 == &sentinel)
    cout << "p3 was a sentinel" << endl;