type-safety

-5熱度

2回答

我發現了一種奇妙的方法來測試私有方法。這很好，除了我不喜歡如何將字符串輸入到方法名稱中。有沒有辦法建立一個「安全網」？我想輸入方法名稱，以便如果方法不存在於對象上，編譯器可以拋出編譯器時間錯誤。私有方法： public class BankAccount { //Private method to test private bool VerifyAmount(double

0熱度

1回答

C++爲32位和64位處理器強制執行對齊的安全

我有兩個CPU。一個32位和另一個64位。我們有如下所示的片的C++代碼： typedef std::bitset<16> MyBits; typedef struct t_MyStruct_16 { uint32_t first; int16_t second; __attribute__((__aligned__(8))) MyBits st; } MySt

1熱度

4回答

java如何識別這兩個對象是相同的類型

例如爲了數據安全我創建了一個類，例如ModelClass，並定義了一些屬性和方法，並定義了一些像這樣的列表 private List<ModelClass> results;然後java如何知道我所傳遞的是真的ModelClass，它是否比較ModelClass的所有方法和屬性以及我在結果中傳遞什麼對象，我是如何確定2個對象是相同類型的，它比較所有字段和方法，以便知道它們是同一類型，是的，我知道

5熱度

2回答

如何限制輸入類型和輸出類型相同？

我正在通過Manning的Idris類型驅動開發。給出了一個例子，教導如何將函數限制在一個類型族中的給定類型。我們有Vehicle類型，它使用PowerSource，即Pedal或Petrol，我們需要編寫一個函數refill，該類型只適用於使用汽油作爲能源的車輛。以下代碼有效，但不能保證填充Car將生成Car而不是Bus。我如何需要將refill函數的簽名更改爲只允許在給出Car時生成Car並

1熱度

1回答

在TypeScript中增加導入模塊的類型

我將現有的代碼庫從js/react/jsx設置轉換爲TypeScript。當然，我希望逐個文件地完成它，並且有一個關於使TS編譯器與現有的js代碼庫一起工作的方法的問題。我轉換文件index.js但要離開foo.js在JavaScript現在： // index.ts import { fooFunction } from 'foo'; foo({ val: 1 }); // foo

-2熱度

1回答

使用其父級中的方法更改嵌入式結構的屬性

我必須定期調用父級結構的方法，但調用時必須更新嵌入式結構唯一的擴展屬性（在我的情況中，結構具有不同的id數據類型）。我能想到的唯一解決方案是重寫父結構的方法，以便在再次調用週期性方法時，它使用嵌入結構的方法而不是父母的原始結構。的代碼如下： package main import ( "fmt" ) type Fruit struct { image *Image

1熱度

1回答

包含基元的Scala集合的安全投射

我正在處理混合的Java-Scala項目，並且經常需要轉換集合。當我要轉換的原語的集合，我應該寫這樣的事情 val coll: Seq[Int] = Seq(1, 2, 3) import scala.collection.JavaConverters._ val jColl = coll.map(v => Int.box(v)).asJava 但是，我知道，與Java和Scala的

1熱度

1回答

在Scala.js中，如何最好地創建一個符合JS外觀特徵的對象？

假設我有這個定義在Scala.js一些庫函數的返回類型我使用： @native trait Link extends Object { val href: String = native val title: String = native } 什麼是最好的，類型安全的方式，在Scala代碼，定義一個對象字面貼合對此？我以爲use(...).as[...]伎倆將工作：

8熱度

1回答

我可以使用集合類型作爲數組索引嗎？

我不能使用set類型作爲用於陣列的大小的指標，但是這樣做對小套是完全合理的。假設我有以下代碼： TFutureCoreSet = set of 0..15; TLookupTable = record FData: array[TFutureCoreSet] of TSomeRecord; //error ordinal type required .... 下

0熱度

4回答

強制一個函數只接受特定結構的對象（在打字稿/ js中）

我知道打字稿的一些優點是啓用類型安全功能 - 但是有可能確保我的功能只能獲得具有特定鍵的對象或換句話說 - 具體結構的對象？我知道的很多優雅的方式來測試一個套疊的鍵存在，如[這一個] [1]，當然我可以運行在我的函數開始時的小查 - 但我之所以問這是因爲我的函數會被其他許多程序員使用 - 我想確保他們能夠理解他們應該從函數的簽名中插入什麼輸入。例子： function printName(u