流程控制逻辑通过提前校验和结构化初始化防范越界风险：先验证动态维度合法性，再用边界对齐的for循环初始化，按数据来源隔离分支，异常时立即终止而非降级容忍。
流程控制逻辑本身不直接分配内存，但它能决定“谁在什么时候、以什么条件、用什么方式去初始化”，从而把越界风险拦在执行前。关键不是靠 if/for 挡住越界访问，而是用它们提前掐断非法初始化路径——让错误根本没机会发生。
初始化前强制校验维度合法性
所有动态维度（比如从配置读取的 rows、cols）必须在进入循环或调用构造函数前完成验证，不能等到 for 循环里才检查下标。
- 检查是否为正整数：if (rows
- 检查是否超限（防整数溢出）：if (rows > MAX_ROWS || cols > MAX_COLS) { 拒绝初始化 }
- 对浮点型尺寸做 trunc + cast：避免 floor(3.9) → 3，但误用 (int)3.9 → 3 导致精度丢失
用循环结构显式绑定索引与边界
避免手写 i
- 二维初始化统一用双层 for：for (int i = 0; i
- 禁止用 while 或 do-while 替代 for 初始化，除非你能保证循环变量严格按步进且终值可控
- 若需跳过某些位置（如稀疏初始化），仍用标准循环框架，内部加 if 判断，而非改写循环条件
分支逻辑隔离不同初始化策略
根据数据来源自动选择安全路径：字节流走 memoryview 校验链，文本走 loadtxt 容错解析，硬编码走编译期常量检查——不让同一段代码混搭多种初始化逻辑。
- if (source_type == BYTES) { assert len(buf) == rows * cols * itemsize; arr = np.frombuffer(mv, dtype).reshape(rows, cols); }
- elif (source_type == TEXT) { arr = np.loadtxt(buf_io, ndmin=2, dtype=dtype, delimiter=','); }
- else { arr = np.zeros((rows, cols), dtype=dtype); } // 默认兜底，不抛异常也不静默失败
异常路径必须终止初始化，不降级容忍
一旦流程中任一环节校验失败（如维度不匹配、字节长度不足、类型转换失败），立即 return / throw / exit，绝不尝试“凑合着初始化一部分”。
- 不要写：if (bad) { warn(); continue; } —— continue 会跳到下一轮，但当前轮的数据已损坏
- 不要写：if (bad) { fallback_to_default(); } —— fallback 可能掩盖真实问题，且默认值未必适配业务语义
- 推荐：if (bad) { log_error(); return NULL; }（C） 或 raise ValueError(...)（Python）
