Беззнаковый тип size_t: чем различие между size_t, uintptr_t, ptrdiff_t и intptr_t?

В чем вообще его смысл?
Разве запись
значит, что мы перепрыгивам вперед по массиву на столько байт, сколько занимает тип i?
Просто единственное логичное объяснение, которое я нахожу: ссылка на любой объект (кроме, быть может, ссылки на функции) занимают одинакое кол-во бит. И запись a+i означает, что мы к адресу, который лежит в а прибавляем столько бит, сколько занимает i.
Не понятно только, почему у меня раньше всегда проги работали без всяких size_t.

В довесок: в чем различие между size_t, uintptr_t, ptrdiff_t и intptr_t?

0

Сообщение от wlmn значит, что мы перепрыгивам вперед по массиву на столько байт, сколько занимает тип i?

нет.

Сообщение от wlmn единственное логичное объяснение, которое я нахожу: ссылка на любой объект (кроме, быть может, ссылки на функции) занимают одинакое кол-во бит. И запись a+i означает, что мы к адресу, который лежит в а прибавляем столько бит, сколько занимает i.

нет

в выражении:
(a+i)
у вас массив типа double, и смещение i
то бишь к адресу первого элемента прибавить sizeof(double)*i байт.
получим ссылку на итый элемент.

Сообщение от wlmn Не понятно только, почему у меня раньше всегда проги работали без всяких size_t.

телепаты в отпуске

0

Работало так:
double a[] = {1.0, 2.0, 3.0};
int i = 0;
a+i всегда определялся корректно.
Стало быть, это то же самое, что a+sizeof(double)*i

Так в чем фишка size_t? В чем принципиальное отличие от int? Почему с int код корректен, но непереносим?

0

Сообщение от wlmn Не понятно только, почему у меня раньше всегда проги работали без всяких size_t.

Какое отношение приведенный кусочек кода вообще имеет к size_t? Я там никакого size_t не увидел.

0

Сообщение от wlmn Так в чем фишка size_t?

казалось бы, какое он имеет отношение к вашей теме?

Сообщение от wlmn В чем принципиальное отличие от int? Почему с int код корректен, но непереносим?

size_t - тип данных, который гарантирует,
что сможет вместить в себя циферку - размер
самого теоретически возможно большого массива
на данной платформе.

int - вообще знаковый тип.
и никаких подобных гарантий вам не даёт.

2

Сообщение от wlmn в чем различие между size_t, uintptr_t, ptrdiff_t и intptr_t?

https://www.viva64.com/ru/a/0050/

0

nd2, ага, вот я это и читаю.

Кажется, все-таки почти понял.

Типы size_t и ptrdiff_t позволяют писать переносимый код. Размер size_t и ptrdiff_t всегда совпадают с размером указателя. По этой причине именно эти типы следует использовать в качестве индексов больших массивов, для хранения указателей и арифметики с указателями.

Т.е. если в int, допустим, 32 бита, а в size_t ... сколько? Допустим, 64 бита, то интовская переменная не сможет указать на те ячейки, адрес которых занимает больше, чем 32 бита.
Правильно?

Тогда такой вопрос: а максимальный теоретический размер массива какой?
Нет, конечно, понятно, что 2^n растет очень сильно, но и памяти как таковой тоже может быть много...
Размер какого массива имеется в виду? на жестком диске, в оперативке или вообще в кэш-памяти?

0

Сообщение от wlmn а максимальный теоретический размер массива какой?

http://rextester.com/MIGP54716

0

Меня интересует не сколько, а почему.

0

Сообщение от wlmn Тогда такой вопрос: а максимальный теоретический размер массива какой?

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

* Реализация обязана поддерживать беззнаковый тип size_t с диапазоном [0, SIZE_MAX], в который должен помещаться размер максимального массива. Это, однако, не значит, что реализация обязана поддерживать массивы размером на весь диапазон size_t. Т.е. максимальный поддерживаемый размер массива будет меньше либо равен SIZE_MAX.

* Реализация обязана поддерживать знаковый тип ptrdiff_t с диапазоном [PTRDIFF_MIN, PTRDIFF_MAX], который предназначен для хранения разности между двумя указателями на элементы одного массива. Однако не требуется, чтобы тип ptrdiff_t был заведомо достаточен для хранения любой такой разности. То есть допускается PTRDIFF_MAX < SIZE_MAX и -PTRDIFF_MIN < SIZE_MAX.

В такой ситуации у реализаций есть несколько возможных подходов к тому, как увязать между собой максимальный размер массива и диапазоны типов size_t и ptrdiff_t:

1. Сделать тип ptrdiff_t более широким, чем тип size_t. Разрешить создание массивов размером вплоть до SIZE_MAX. Тогда разность двух указателей на элементы одного массива всегда будет помещаться в ptrdiff_t.

2. Придать типу ptrdiff_t ту же ширину, что и size_t. Разрешить создание массивов размером SIZE_MAX. Тогда вычитание двух указателей может привести к переполнению ptrdiff_t и неопределенному поведению.

3. Придать типу ptrdiff_t ту же ширину, что и size_t. Разрешить создание массивов размером не более SIZE_MAX / 2. Тогда разность двух указателей на элементы одного массива всегда будет помещаться в ptrdiff_t.

Большинство современных реализаций идет по третьему пути. То есть максимальный размер массива в них равен половине диапазона типа size_t.

Во времена платформ с сегментированной организацией памяти (DOS, Win16), реализации как правило придерживались первого или второго подхода.

6

TheCalligrapher, Спасибо!

0