从C++调用Ada代码时未触发CONSTRAINT_ERROR的原因咨询

我正在做C++调用Ada代码的简单实验，通过以下代码触发了缓冲区溢出并读取缓冲区外的数据：

文件 main.cpp #

extern "C" {
  void proc_buffer (int data[]);
  void adainit ();
  void adafinal ();
}

int main() {
  adainit();
  int data[] = {1, 7, 3, 4, 5};
  proc_buffer(data);
  adafinal();
  return 0;
}

文件 proc_buffer.adb #

with Ada.Text_IO; use Ada.Text_IO;
with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;
package body Proc_Buffer is
  procedure ProcBuffer (Buff : in Custom_Buff) is
  begin
    Put_Line("Integer Requested is: "); Put(Buff(Buff(1)), 0);
  end ProcBuffer;
begin
  null;
end Proc_Buffer;

文件 proc_buffer.ads #

package Proc_Buffer is
  type Custom_Buff is array (0..9) of Integer;
  procedure ProcBuffer (Buff : in Custom_Buff);
  pragma Export (C, ProcBuffer, "proc_buffer");
end Proc_Buffer;

编译链接命令 #

gnatmake -c proc_buffer
g++ -c main.cpp
gnatbind -n proc_buffer
gnatlink proc_buffer -o main --LINK=g++ -lstdc++ main.o

实验过程中，我尝试用数组第一个元素的值作为索引访问数组触发溢出：C++中数组长度为5，当第一个元素是1（对应索引7）时，Ada没有抛出CONSTRAINT_ERROR，反而读取了内存中的任意数据；但把第一个元素改成14时，却成功触发了该错误。纯Ada环境下操作数组越界会触发CONSTRAINT_ERROR，为什么跨语言调用时会出现这种差异？

1. Ada数组边界检查的逻辑局限 #

Ada中Custom_Buff类型定义的是长度为10的数组（索引0到9），但C传入的是仅含5个元素的数组。当Ada代码接收这个C数组时，它会默认传入的内存块完全符合Custom_Buff的长度要求——即认为从传入指针开始的连续10个Integer位置都是合法的数组元素。

当访问索引7时，该位置虽超出C数组的实际长度，但仍在Ada类型声明的0-9边界内，因此Ada运行时不会触发越界检查，此时读取的是C数组之后的栈内存数据，属于非法访问但未被Ada检测拦截。而当索引变为14时，该值超出了Custom_Buff定义的范围，Ada运行时的边界检查机制才会抛出CONSTRAINT_ERROR。

2. 纯Ada与跨语言调用的核心差异 #

在纯Ada环境中，所有数组都严格遵循Ada类型规则创建，运行时能准确跟踪数组的实际边界信息，越界访问会立即触发CONSTRAINT_ERROR。但跨语言调用时，Ada接收的是C传递的原始指针，Ada无法验证传入的内存块是否真的符合Custom_Buff的长度要求——C没有Ada那样的数组类型元数据，Ada只能基于类型声明的边界做检查，无法感知实际内存的有效长度。

3. 编译选项与解决方案 #

默认情况下GNAT编译器开启数组边界检查，但仅针对Ada类型定义的边界，无法检测C++传入数组的长度不足问题。若要增强检查，可添加编译选项-gnato（启用全量运行时检查），但仍无法解决跨语言的数组长度不匹配问题。

彻底解决的方法是在跨语言接口中显式传递数组长度，或在Ada代码中添加额外逻辑验证传入数据的有效性，避免依赖Ada的默认边界检查处理C++传入的不匹配数据。

内容的提问来源于stack exchange，提问作者Tyler Jenkins721