type-safety

2熱度

2回答

有沒有辦法強制C＃枚舉只接受幾個明確命名的常量之一，或者是否有另一個功能呢？ C＃參考有這個後綴：可以將任意的整數值賦給一個枚舉類型。但是，您不應該這樣做，因爲隱式期望是 enum變量將僅保存由枚舉定義的值之一。將任意值分配給枚舉類型的變量類型將導致錯誤的高風險。（一種新的語言的設計，讓這種草率的，這是莫名其妙的給我。）

1熱度

3回答

是C Vaxocentrist中的數組memcpy？

C是否犯了Vaxocentrism是一個數組塊的memcpy？實施例： double A[10]; double B[10]; // ... do stuff ... // copy elements 3 to 7 in A to elements 2 to 6 in B memcpy(B+2, A+3, 5*sizeof(double) 作爲一個相關的問題，從陣列中鑄造的指針Vax

1熱度

1回答

斯卡拉類型安全可組裝的生成器鏈與仿製藥

我想構建一個模式，用戶可以實現一個簡單的接口，它接受一種類型的對象並返回另一種類型，然後也有一些類型的鏈對象，它由一個序列這些轉換。我遇到的問題是在Scala中獲得正確的泛型類型 - 我的Scala-foo還沒有那麼高，所以任何建議都是最受讚賞的，包括告訴我我正在做這個錯誤的/非scala的方式！ trait Builder[INPUT, OUTPUT] { var input: C

2熱度

2回答

提高協程請求類型安全

與monad-coroutine包的工作，我有一些協同程序做了很多工作，它需要一些投入，不時： Coroutine (Request SomeRequest SomeResponse) (State MyState) a 其中 data SomeRequest = GetImportantData Int | OtherImportantStuff Float |

2熱度

1回答

斯卡拉數據結構類型安全訪問器

請注意我正在學習斯卡拉，所以我建議可能不是最好的（idomatic）的方式來實現這一點，因此我會描述我試圖解決的問題，然後我的目前的實施！問題：給定一些輸入文檔，例如xml或json，創建一個對象Doc，其原始內容作爲變量，應用一系列FieldExtractors，該序列提取多個值，即Fields，這些值存儲在Doc對象上，並且可以稍後以類型安全的方式訪問。 val username: Stri

1熱度

1回答

如何檢查cppcheck或clang中的類型安全？

我希望靜態分析器在下面的代碼中警告我關於無效右值解引用。如何在clang或cppcheck中執行該操作？ #include <memory> using namespace std; unique_ptr<int> myfunc(void) { unique_ptr<int> a(new int(2)); return a; } int main() {

0熱度

1回答

如何幹淨地創建typesafe枚舉參數

我想創建一個函數「void set_tic_tac_toe_start_player（char c）」。這不是函數的實際名稱，但它解釋了它的意圖。我希望在編譯時完成這個工作的原因是我想創建一個類來封裝TicTacToe系統，這樣系統就可以在遊戲開始之前明確地覆蓋啓動玩家而無需重建類。這是一個天真的令人費解的示例代碼。 #include <iostream> #include <cstdlib

-1熱度

1回答

C++：監視多個值類型

我想編寫一個類，可以監視一堆不同的值以便於調試。想象一下，在可視調試器中設置「手錶」。我想像這樣： struct Foo { int x = 0; std::string s = "bar"; }; int main() { Foo f; ValueMonitor::watch("number", &f.x); ValueMonitor::w

1熱度

1回答

@SafeVarargs使用通用返回類型的可變參數法

我的query方法使用org.hibernate.Session便於查詢我的持久層。下面是該方法的代碼：它提出了以下警告：類型的安全性：通過潛在的堆污染VARARGS參數exampleEntities 是否可以安全使用@SafeVarargs註解在這種情況下？據我所知，只要我沒有初始化本地Object[]與exampleEntities，那麼我沒事。但這看起來不正確。此方法是類似於the

3熱度

1回答

Map的參數化類型鍵

我正在學習Java，目前正在閱讀Joshua Bloch的Effective Java。在第29項中，他討論參數化類型鍵映射到創建類型安全的異構地圖。下面是代碼： class Favorites { private Map<Class<?>, Object> favorites = new HashMap<Class<?>, Object>(); public <T> vo