2

エッフェルの定数について質問があります。それは単なる意味論の問題ですが、しばらくの間私を悩ませてきました。私はこの専門分野の概念を理解していません.

あなたが使用する通常の割り当ての場合、:=これは割り当ての数学記号であるため、数学的思考において完全に意味があります

しかし、定数の定義を見ると:

feature
    some_constant: INTEGER = 5

ここで等号を使用する理由がわかりません。何か理由があるのでしょうか？私はそれを次のように理解します: 値 5 を定数に割り当てますが、なぜブール式なのですか?

誰かがこの背後にある概念を説明できることを願っています

4

1 に答える 1

1

=サインは、一定の機能の迅速な契約として扱う必要があります。

foo: INTEGER = 5

と同じになります

foo: INTEGER
  ensure
    Result = 5

これは、以前の構文変更であることに注意してください。

foo: INTEGER is 5

しかし、エッフェル仕様はisキーワードを完全に削除しました。

于 2012-08-13T13:24:20.497 に答える