Почему номера индексов начинаются с 1, а не с 0?

соглашение языка C подсчитывает индексы массива от 0. Почему номера индексов начинаются с 1, а не с 0?

Если индекс 0 зарезервирован для некоторого специального использования, то в чем значение индекса 0?

4 ответов


обычно индекс 0 зарезервирован, поскольку возвращаемое значение 0 обычно сигнализирует об ошибке. Множественный метод в ядре Linux - особенно в слое VFS, совместно используемом всеми файловыми системами-возвращает ino_t, например find_inode_number.

есть более сдержанные номера inode. Например, в в ext2:

#define EXT2_BAD_INO             1      /* Bad blocks inode */
#define EXT2_ROOT_INO            2      /* Root inode */
#define EXT2_BOOT_LOADER_INO     5      /* Boot loader inode */
#define EXT2_UNDEL_DIR_INO       6      /* Undelete directory inode */

и в ext3 есть:

#define EXT3_BAD_INO             1      /* Bad blocks inode */
#define EXT3_ROOT_INO            2      /* Root inode */
#define EXT3_BOOT_LOADER_INO     5      /* Boot loader inode */
#define EXT3_UNDEL_DIR_INO       6      /* Undelete directory inode */
#define EXT3_RESIZE_INO          7      /* Reserved group descriptors inode */
#define EXT3_JOURNAL_INO         8      /* Journal inode */

и в ext4 есть:

#define EXT4_BAD_INO             1      /* Bad blocks inode */
#define EXT4_ROOT_INO            2      /* Root inode */
#define EXT4_USR_QUOTA_INO       3      /* User quota inode */
#define EXT4_GRP_QUOTA_INO       4      /* Group quota inode */
#define EXT4_BOOT_LOADER_INO     5      /* Boot loader inode */
#define EXT4_UNDEL_DIR_INO       6      /* Undelete directory inode */
#define EXT4_RESIZE_INO          7      /* Reserved group descriptors inode */
#define EXT4_JOURNAL_INO         8      /* Journal inode */

другой fileystems использовать Ино 1 как корневой inode число. Как правило, файловая система может свободно выбирать номера индексов и зарезервированные значения ino (за исключением 0).


0 используется как значение sentinel для указания null или no inode. подобно тому, как указатели могут быть NULL в C. Без sentinel, вам понадобится дополнительный бит, чтобы проверить, установлен ли индекс в структуре или нет.

подробнее здесь:

все адреса блоков и индексов начинаются с 1. Первый блок на диске-блок 1. 0 используется для указания нет блок. (Разреженные файлы могут иметь эти внутри их)

http://uranus.chrysocome.net/explore2fs/es2fs.htm

например, в старых файловых системах, где каталоги были представлены в виде фиксированного массива записей файлов, удаление файла приведет к установке значения val inode этой записи в 0. при обходе каталога любая запись с индексом 0 будет проигнорирована.


OSX указывает, что индекс 0 означает удаленный файл, который еще не был удален; это может также использоваться в других файловых системах, так как OSX является производным от BSD, хотя, по крайней мере, NetBSD, похоже, теперь удалил это использование.

см. manpage OSX для getdirentries http://developer.apple.com/library/ios/#documentation/System/Conceptual/ManPages_iPhoneOS/man2/getdirentries.2.html


когда я написал файловую систему много лет назад, я использовал inode 0 для .badblocks псевдо-файл.

на некоторых файловых системах .badblocks фактически присутствует в корневом каталоге как обычный файл, принадлежащий root и mode 0. root может открыть его, но чтение или запись не определено.

существует древняя традиция, что иноды начинаются с 1, #1 -.badblocks, а #2-корневой каталог. Хотя .badblocks не особенно хорошо гарантируется, многие файловые системы выходят из своего пути к сделать корень #2.