function - 不允许分配给 "in"模式参数

Question

好像不能把记录字段作为参数？

joueurActuel.c1 := predColonne(joueurActuel.c1);

功能:

function predColonne (c : T_Colonne) return T_Colonne;

其中 T_Colonne 是 Positive 的子类型。

joueurActuel 是包含上述赋值的函数的 in 参数 (joueurActuel : in T_Joueur;)。 T_Joueur 是一条记录。

Answer 1

这是设计使然。模式in的形参是一个常量 View ；它不能在子程序体内更新。常量不能作为赋值操作的目标。请参阅section 3.3 od Ada Reference Manual ，特别是第 13、15、17 和 25 段。

因此，您必须将 predColonne(joueurActuel.c1) 的结果存储在局部变量中，或者将 joueurActuel 更改为 in out code> 参数从业务逻辑的角度来看是否正确。