結果附加或異常
[英]Result attached or exception
假設我有一個 function f應該通過調用g返回attached T 。 但是， g返回一個detachable T 。 如果g導致 Void，我想引發這樣的異常： 在此設置中，EiffelStudio 給了我一個錯誤VEVI: Variable is not properly set. Var ...
埃菲爾類型一致性和附件檢查不起作用
[英]eiffel type conformance and attachement check not working
嘗試使用make_from_separate解決 SCOOP 后果之一我遇到了一個問題，即在運行時類型似乎相同並且不會通過attached的語句。 non_separate_from_any 帶截圖的變量和語句 更新 20200616 聲明如下： 在運行時我得到了other.column_nam ...
在 TS 中將 undefined 轉換為 void 可以嗎？
[英]Is it OK to cast undefined to void in TS?
TLDR； 這個可以嗎？ 或者這是不好的做法？ 語境 在 TypeScript 中，我有一個函數可以返回 something 或undefined或void 。 像一個事件處理程序，可以返回修改后的有效負載，或者開發人員可以選擇不返回任何內容或未定義，以防他們不修改有效負載： 然后我有 ...
重命名為繼承人后變量設置不正確
[英]variable is not properly set after renaming into heir
我知道如何修復它（請參閱我的解決方案@bottom）但不明白為什么會發生此編譯錯誤，因為在我看來，重命名的屬性應該由 Precursor 創建到 default_create 中。 為什么不是這樣？ NRJ_ENTITY NRJ_消費者 NRJ_GENERATOR NRJ_GE ...
埃菲爾鐵塔：無效安全性，一種簡潔的方法來測試對象是否存在，然后調用其功能
[英]Eiffel: void safety, a concise way to test if an object exists and then call its feature
我想知道是否有更清晰的陳述 如 會重復foo.bark ，顯然我想避免它...甚至最后一條語句也不會使用void-safety進行編譯，因為其他的foo可能是無效的... ...
Eiffel：錯誤：變量未正確設置。 在make調用default_create或任何父級中調用/重新定義default_create
[英]Eiffel: Error: variable is not properly set. in make calling default_create or any parent calling/redefining default_create
不能完全確定，但是會花費很多時間出現Error: variable is not properly set. 按照創建過程的調用順序。 我發現在調用default_create之前創建類屬性似乎可以解決問題。 為什么會這樣？ 似乎default_create在我的make例程中沒有調用任 ...
埃菲爾鐵塔（Eiffel）：附加到check語句中的未知標識符
[英]Eiffel: Unknown identifier on attached check into require statement
為什么我的l_i有一個未知的標識符？ ...
埃菲爾鐵塔：編譯錯誤`分配源與目標不兼容`
[英]Eiffel: compilation error `Source of assignment is not compatible with target`
在編譯器中設置了完全無效檢查后，在以下情況下，我得到了一個變量未正確設置編譯錯誤，這對我來說是對的（在我看來）。 它說分配的來源與目標不兼容。 我在這里想念什么？？？ （ DB_SERVICE.load_from_primary_key... ） 類DB_SERVICE ...
埃菲爾附加聲明中的局部變量有什么意義？
[英]What's the point of the local variable in Eiffel's attached-statement?
在Eiffel中，Void Safety是一種靜態防止取消引用未初始化（“null”）對象的方法。 它的工作方式是，首先，必須將對象聲明為可拆卸 ，然后您需要在使用它之前檢入if-block是否實際附加了對象（即具有某些值）。 這是我到目前為止使用它的方式： 工作完全正常：沒有附 ...