流程控制逻辑通过提前校验和结构化初始化防范越界风险：先验证动态维度合法性，再用边界对齐的for循环初始化，按数据来源隔离分支，异常时立即终止而非降级容忍。

流程控制逻辑本身不直接分配内存，但它能决定“谁在什么时候、以什么条件、用什么方式去初始化”，从而把越界风险拦在执行前。关键不是靠 if/for 挡住越界访问，而是用它们提前掐断非法初始化路径——让错误根本没机会发生。

初始化前强制校验维度合法性

所有动态维度（比如从配置读取的 rows、cols）必须在进入循环或调用构造函数前完成验证，不能等到 for 循环里才检查下标。

• 检查是否为正整数：if (rows <= 0 || cols <= 0) { 失败退出 }
• 检查是否超限（防整数溢出）：if (rows > MAX_ROWS || cols > MAX_COLS) { 拒绝初始化 }
• 对浮点型尺寸做 trunc + cast：避免 floor(3.9) → 3，但误用 (int)3.9 → 3 导致精度丢失

用循环结构显式绑定索引与边界

避免手写 i <= N 或 i < N+1 这类易错表达式；用 for (i = 0; i < rows; i++) 这种“边界即上界”的写法，天然与数组声明维度对齐。

• 二维初始化统一用双层 for：for (int i = 0; i < rows; i++) for (int j = 0; j < cols; j++) —— 不依赖 arr[i][j] 是否存在，只依赖你已确认 rows/cols 合法
• 禁止用 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）