type-safety

    1熱度

    2回答

    我有C++類的混合,其中一些將狀態變量0..9存儲爲整數,其他使用'0'...'9'。目前我這樣做: enum { kOne = '1' }; class StoresValueAsInt { static int value; // contains 0 ... 9 }; class StoresValueAsChar { static char value; // c

    3熱度

    3回答

    在我們的例子中,我們可以選擇定義枚舉類型,這將限制可能分配的值(即改良型安全): public class OfficePrinter { public enum PrinterState { Ready, OutOfToner, Offline }; public static final PrinterState STATE = PrinterState.Ready; } stat

    1熱度

    5回答

    我想知道,爲什麼在某些場合我看到代表某種類型集合的類。 例如: 在Microsoft XNA框架:TextureCollection,TouchCollection等 另外其他類在.NET框架本身,以收集結束。 爲什麼這樣設計?這樣做的好處是什麼,而不是像C#2.0中引入的泛型類型集合? 感謝

    3熱度

    2回答

    如果這個問題有點模糊,請事先道歉。這是一些週末白日夢的結果。 使用Haskell的精彩類型系統,將數學(特別是代數)結構表示爲類型類是令人高興的。我的意思是,只要看看numeric-prelude!但是,在實踐中利用這種美妙的類型結構對我來說似乎總是很困難。 你必須表達該v1和v2是向量空間V的元素和w是向量空間W的一個元件的一個很好的,類型系統的方法。類型系統允許您編寫一個程序,添加v1和v2,

    4熱度

    1回答

    鑑於Scala的強類型系統,我有一個雄心勃勃的項目,我現在要放棄,因爲有用比率的努力似乎太高。 基本上我有一些圖表元素(GE),它們對應於以給定的計算速率執行的聲音處理。圖形元素由其他圖形元素組成,形成其輸入。現在對輸入的費率有相當隨意的限制。在源語言(SuperCollider)中,速率在運行時被檢查,因爲它是一種動態類型的語言。我想看看我是否可以在編譯時強制執行檢查。 一些約束相當簡單,可以用

    0熱度

    2回答

    我有實施parametrised類參數特定的問題,但是這是我所遇到之前仿製藥,所以一般的解決辦法是好的.. 類參數存儲值嚴格的幾個類之一: public class Parameter<T> { /* * Specify what types of parameter are valid */ private static final Set<Class<?>> VALID_TYPES;

    1熱度

    2回答

    在Groovy中,指定類型是可選的。但是,在方法和屬性等公共類成員上指定它們是有好處的。這是一種很好的文檔形式,它使IDE能夠更加可靠地執行自動完成,重構代碼,查找引用和其他靜態分析任務,如本文中所述。 有沒有辦法在Eclipse中強制執行此策略,以便在公共成員缺少顯式類型時會出現警告? Groovy的Checkstyle或FindBugs工具可能會很棒。

    5熱度

    3回答

    在另一個question我問,提出了一個擔心,春天的框架是不安全的。它是真的還是固定的,你能舉一個例子嗎?

    8熱度

    3回答

    我有兩個int參數(我自己編寫函數和調用代碼)的各種函數。我害怕在一些電話中混淆爭論的順序。 如何使用類型安全來讓編譯器警告我或錯誤我,如果我調用一個錯誤的參數序列的函數(所有參數都是int)? 我試過的類型定義的:typedef不會觸發任何編譯器警告或錯誤: typedef int X; typedef int Y; void foo(X,Y); X x; Y y; foo(y,x)

    2熱度

    3回答

    當我開始開發Web應用程序我存儲在兩個會話變量 Session["UserName"]="username"; Session["Password"]="paswword-123"; 但有人提出我的想法,創造出包含用戶名和密碼屬性和一類用戶的認證細節成功的身份驗證我被要求創建類的實例,並設置UserName和Password屬性並將該實例存儲在會話中。 我被告知會話對象是TypeSafe。有