kong_en_ge: (Default)
kong_en_ge ([personal profile] kong_en_ge) wrote2013-05-28 10:53 pm

канадскае

Баяннае пытанне для тэхнічнага суразмоў'я: у які масіў змяшчаецца болей інфармацы 1-based ці 0-based?
Пры ўсёй цкавальнай бессэнсоўнасці ў ім ёсць верны адказ: 0-based.
Бо ў 1-based хутчэй скончацца магчымыя індэксы элементаў.

[identity profile] trueblacker.livejournal.com 2013-05-29 05:41 am (UTC)(link)
а почему нулевой индекс не может быть принят за максимальный в 1-based?

[identity profile] kong-en-ge.livejournal.com 2013-05-29 06:19 am (UTC)(link)
Ну, мы же говорим о корректно адресуемом массиве, а не массиве программистов параллельной вселенной!

[identity profile] trueblacker.livejournal.com 2013-05-29 07:12 am (UTC)(link)
Если под корректно адресуемым понимать непротиворечивое отношение порядка над множеством значений индекса (что логично), то MAX_INT + 1 == 0 выполняется для всех вселенных с конечноразрядными процессорами. А если "корректно адресуемый" понимать в виде требования определения операции разыменования по индексу как синтаксического сахара над адресной арифметикой (что нелогично), то это уже давно не аксиома.

[identity profile] kong-en-ge.livejournal.com 2013-05-29 07:16 am (UTC)(link)
Мы говорим о массиве, как об абстракции, реализованной на подмножестве счетного множества, снизу ограниченном базой, а сверху максимальным значением типа индекса.

[identity profile] trueblacker.livejournal.com 2013-05-29 07:22 am (UTC)(link)
что, вообще говоря, даёт нам возможность во-первых, устанавливать отношение порядка произвольным образом, а во-вторых (более приземлённо), учитывая неизбежную модульность конечноразрядной арифметики, делает выбор минимального значения и вовсе произвольным без какого-либо ущерба для мощности множества его значений

[identity profile] kong-en-ge.livejournal.com 2013-05-29 08:49 am (UTC)(link)
вы мне тут свои беспредельные сишные массивы не суйте! Хороший массив должен быть ограничен!

[identity profile] trueblacker.livejournal.com 2013-05-29 08:49 am (UTC)(link)
как и хороший работник!

[identity profile] kong-en-ge.livejournal.com 2013-05-29 08:59 am (UTC)(link)
ну да, компетенция работника не должна простираться за требования к должности -- иначе это место должно быть отдано другому работнику