Согласован ли оператор < (меньше чем) на указателях? ⇐ C++

[Anonymous]

Примечание. Этот вопрос не касается общего порядка. Общий порядок указателей одного типа можно получить с помощью std::less.

Согласно этому, сравнение двух указателей с помощью оператора не разрешено, если они указывают, например, на разные распределения.

В каком смысле это не разрешено? Это поведение определяется реализацией, не указано или не определено?

Мне кажется, я где-то читал, что оно не указано. Реализация не обязана документировать поведение, но какое-то поведение должно быть. Это будет означать, что сравнение любых двух указателей по-прежнему допустимо, но не обязательно дает полный порядок. Означает ли это, что нам по-прежнему необходимо получать согласованный результат при двойном сравнении одних и тех же двух указателей? Общий случай: всегда ли двойной вызов одного и того же неопределенного поведения в приложении дает один и тот же результат? ?

int i1, i2;
int* a = &i1;
int* b = &i2;
bool b1 = a < b; // unspecified, right?
bool b2 = a < b;
assert(b1 == b2); // Is this guaranteed to be true?


Подробнее здесь: https://stackoverflow.com/questions/443 ... consistent