Если под корректно адресуемым понимать непротиворечивое отношение порядка над множеством значений индекса (что логично), то MAX_INT + 1 == 0 выполняется для всех вселенных с конечноразрядными процессорами. А если "корректно адресуемый" понимать в виде требования определения операции разыменования по индексу как синтаксического сахара над адресной арифметикой (что нелогично), то это уже давно не аксиома.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2013-05-29 07:12 am (UTC)