C++ 到 Ada 的指针和异常

Question

我正在面试潜在的软件工程候选人，希望将这段 C++ 代码翻译成 Ada:

#include <iostream>

int main(int argc, char *argv[])
{
  int *W = NULL;
  try { *W = 3; }
  catch (...) { std::cout << "default exception"; }
}

与 C++ 代码一样，我希望 Ada 代码产生“由信号 SIGSEGV 终止”的结果。

顺便说一句，我使用的是最新的 GNAT (GNAT 9.1.1 20190503 (Red Hat 9.1.1-1))

Answer 1

Ada 中相应的代码是这样的

with Ada.Text_IO; use Ada.Text_IO;

procedure SigSegV is
   type Int_Ptr is access Integer;

   W : Int_Ptr := null;
begin
   W.all := 3;
exception
   when others =>
      Put_Line ("default exception");
end SigSegV;

但它不会触发 SIGSEGV 信号，您会按预期收到消息。此外，编译器已经警告过你:

sigsegv.adb:8:04: warning: null value not allowed here
sigsegv.adb:8:04: warning: "Constraint_Error" will be raised at run time

所以我不确定使用 Ada 代码是否可以获得与在 C++ 中相同的行为...除了从 Ada 调用 C++ :D