在Ada中改变其值的常数

知道常数地址的东西能改变它吗?或者Ada能保证吗?

我目前正在做一个大项目,我无法阅读该项目的所有代码。但我必须调试其中的一些部分。我有奇怪的麻烦。实际上,我已经更改了这样一个变量的声明 My_Var : constant Integer :=1; My_Package ) 然后在项目中对我的变量做了一些事情(黑匣子)

My_Package.My_Var<=0 它回来了 True

,知道我的常数地址的东西能改变它吗?或者ada能保证吗?

PS:我做了一个 (gdb) watch My_Package.My_Var 没有任何东西可以阻止程序,直到我在 if My_Package.My_Var<=0

function 返回一个常量值,错误随之消失(但没有帮助我看到变量在哪里被修改) 希望你能帮助我。