在资源受限的嵌入式系统或教学型操作系统中，用数组来模拟磁盘扇区映射是一种直观且高效的做法。其核心思想是：把整块磁盘按固定大小划分为若干扇区，再用一个一维数组按顺序记录每个扇区的占用情况或所属变量块信息，通过下标直接计算物理位置。
一、磁盘扇区与数组模型的对应关系
假设我们的磁盘总容量为 DISK_SIZE 字节，每个扇区大小为 SECTOR_SIZE 字节，那么扇区总数可以计算为 SECTOR_COUNT = DISK_SIZE / SECTOR_SIZE。我们在内存中声明一个数组 sector_map，其长度为 SECTOR_COUNT，数组下标 i 就对应第 i 个扇区。数组元素可以是一个状态值，比如 0 表示空闲，大于 0 表示被某个变量块占用且数值为块编号。
这种映射方式让逻辑地址到物理扇区的转换变得极其简单。给定一个变量块编号 block_id，我们可以遍历数组找到第一个值等于 block_id 的下标，该下标乘以 SECTOR_SIZE 就是该块在磁盘中的起始字节偏移。反之，给定扇区下标，也能立即知道它属于哪个变量块。相比使用链表管理空闲扇区，数组在查询单个扇区状态时的复杂度为 O(1)，不需要顺着指针逐个访问。
1.1 基础数据结构定义
下面用 C 语言展示最基础的数组映射结构。我们将扇区状态与块编号合并到一个无符号字符数组中，并定义几个辅助宏来计算地址。
#include <stdio.h>
#include <string.h>
#define DISK_SIZE (1024 * 1024) /* 1MB 模拟磁盘 */
#define SECTOR_SIZE 512
#define SECTOR_COUNT (DISK_SIZE / SECTOR_SIZE)
/* sector_map[i] 为 0 表示空闲，非 0 表示变量块编号 */
static unsigned char sector_map[SECTOR_COUNT];
/* 根据扇区下标获取磁盘起始偏移 */
#define SECTOR_OFFSET(i) ((i) * SECTOR_SIZE)
/* 根据块编号查找首个扇区下标，找不到返回 -1 */
int find_block_first_sector(int block_id) {
int i;
for (i = 0; i < SECTOR_COUNT; i++) {
if (sector_map[i] == (unsigned char)block_id) {
return i;
}
}
return -1;
}
上述代码里，sector_map 就是我们的映射数组。宏 SECTOR_OFFSET 直接完成下标到字节偏移的换算。函数 find_block_first_sector 演示了如何通过遍历数组定位某个变量块的第一扇区，虽然遍历是 O(n)，但 n 通常不大，且可优化为额外维护块到扇区的哈希表。
要注意的是，数组大小在编译期就固定了，如果磁盘容量变化需要重新编译。在真实项目中，也可改用动态分配的内存块来模拟，但原理一致。此外，扇区若被多个变量块共享，数组元素应改为存储更复杂的结构体，而不仅是块编号。
二、实战：定位变量块的物理地址
现在我们来看一个具体场景：系统中有三个变量块，分别称为 config、log、temp，它们被分配到不同的扇区。我们需要根据变量名快速算出它在磁盘中的起始地址，以便进行读写。
为了把变量名和块编号关联，我们建立一个简单的名称到编号的对照表，并在初始化时把对应扇区写入 sector_map。之后任意代码只要传入变量名，就能通过编号查数组，再乘扇区大小得到地址。这种方式省去了复杂的文件系统解析，非常适合裸机环境。
2.1 变量块注册与地址查询示例
以下代码演示了注册三个变量块并查询 temp 块地址的完整流程。我们使用一个结构体数组保存名称与编号，并用 strcmp 模拟名称查找。
#include <stdio.h>
#include <string.h>
#define DISK_SIZE (1024 * 1024)
#define SECTOR_SIZE 512
#define SECTOR_COUNT (DISK_SIZE / SECTOR_SIZE)
static unsigned char sector_map[SECTOR_COUNT];
typedef struct {
const char* name;
int block_id;
int start_sector;
} block_info_t;
static block_info_t blocks[] = {
{"config", 1, 10},
{"log", 2, 20},
{"temp", 3, 30}
};
void init_map(void) {
int i;
memset(sector_map, 0, sizeof(sector_map));
for (i = 0; i < 3; i++) {
/* 每个块占 2 个扇区做演示 */
sector_map[blocks[i].start_sector] = blocks[i].block_id;
sector_map[blocks[i].start_sector + 1] = blocks[i].block_id;
}
}
int get_block_addr(const char* name) {
int i;
for (i = 0; i < 3; i++) {
if (strcmp(blocks[i].name, name) == 0) {
return blocks[i].start_sector * SECTOR_SIZE;
}
}
return -1;
}
int main(void) {
init_map();
int addr = get_block_addr("temp");
if (addr >= 0) {
printf("temp block addr = %d bytesn", addr);
}
return 0;
}
在 main 函数中，调用 get_block_addr("temp") 会返回 30 * 512 = 15360 字节，这就是 temp 变量块在模拟磁盘中的物理起始偏移。实际写入时，只需把磁盘基址加上该偏移即可操作对应扇区。
这个实战例子说明，数组映射不仅能表达扇区占用，还能配合小块描述表实现变量名到地址的直接转换。如果扇区数很多，可以把 blocks 数组换成哈希表，但底层的 sector_map 依然保持不变，方便统一管理和持久化到磁盘头部。
三、优缺点与常见问题
使用数组实现扇区映射的最大优势是简单和高速。当下标已知时，定位操作就是一次乘法；当下标未知时，顺序扫描成本也可接受。另外，数组可以整体写入磁盘首部，启动时直接读回，实现映射层掉电保护。
但它也有明显局限。首先是空间浪费：如果磁盘很大而扇区很小，数组本身会占用不少内存。其次是碎片问题：数组只记录状态，不自动整理，长期分配释放后可能出现离散空闲扇区，需要额外逻辑做合并。最后，数组下标越界是常见 bug 来源，任何计算扇区号的代码都必须做边界检查。
3.1 避免越界与碎片的小建议
在每次通过块编号或变量名换算扇区前，先判断目标下标是否小于 SECTOR_COUNT。若系统支持，可定期遍历 sector_map，将连续空闲扇区标记为可用大块，减缓碎片影响。对于教学或小型设备，这些额外逻辑往往比引入完整文件系统更轻量。
总结来说，数组映射是一种用空间换时间、用简单换可控性的磁盘管理思路。掌握它之后，你就能在沒有现成文件系统的环境下，自己动手实现可靠的变量块定位方案。