inferred-type

    0熱度

    2回答

    我正在關注Rosettacode上Java以及Quicksort的this example。根據我的理解,這應該是一系列實現Comparable接口的事物,並且該類型是在運行時推斷的。我用一個主要方法將它包裝在一個小類中,但是得到了一些關於推斷類型的錯誤。我對Java並不熟悉,但對此構造還不熟悉。 import java.util.List; import java.util.LinkedLis

    1熱度

    1回答

    Typescript對於推斷的泛型類型相當不錯。例如,如果我寫了下面的代碼: class AwesomeClass<T> { constructor(public val: T) { // ... } public getVal(): T { return this.val; } } const inst = new Awes

    1熱度

    2回答

    我正嘗試加入Dictionary<int, string>和List<MyClass>但它拋出一個錯誤 「的方法類型參數不能從使用中推斷「。 但在我看來,所有的參數都完全被定義... class Row { public string name { get; set; } public string[] data { get; set; } } Dictionary

    4熱度

    1回答

    下無法編譯: @NotNull String defaultFormatter(@Nullable Object value) { if (value instanceof Collection) { return ((Collection) value).stream() .map(MyClass::defaultFormatter)

    0熱度

    1回答

    我有一個關於使用OWL API和reasoners的基本問題。 我試過JFact Reasoner,成功運行它並獲得了很多公理(其中一些推理,其中一些在原始本體中明確聲明)。 我需要區分他們,但我真的找不到任何方法來做到這一點。 在OWLClass或其他地方有什麼方法嗎?

    1熱度

    1回答

    我經常發現我想聲明一個常量對象是一些寬泛的類型,以便編譯器可以檢查初始化。但後來當我使用那個對象時,我想用具體的,推斷出的類型。如果我爲它聲明一個類型,我無法找到訪問對象的推斷類型。示例: 電子表格由指向CSS屬性集合的字符串組成。初始化電子表格時,我想強制每個樣式的成員都是CSS屬性。所以: type MyStyleDeclaration<K extends string = string> =

    1熱度

    3回答

    試圖在新元素給定點更換列表中的一個元素,然後返回元素。 setelt :: Int -> [a] -> a -> [a] setelt x (yf:(y:yl)) z | x == (length yf) = (yf:(z:yl)) 導致此錯誤: Inferred type is not general enough Expression : setelt Expected t

    2熱度

    1回答

    有沒有一種巧妙的方式來獲得在「開始」函數中工作的類型推斷,而無需在Pipe類上定義泛型? 藉助開始會是這個樣子: Pipe.Start<ToUpper, string, string>(... 我想它是 Pipe.Start(... 與用例的完整代碼將在下面進行顯示: using System; using System.Threading.Tasks; namespace Code

    1熱度

    3回答

    我在尋找一個類似的推斷拍攝的泛型類型,類似於下面的方法片段的概念,但不是爲捕獲泛型類: public <X, Y, Z> static void someMethod(ObjectInterface<X, Y, Z> object) { // code that uses inferred generic type parameters X, Y and Z... } 的代碼在這個

    0熱度

    1回答

    爲什麼在編譯此代碼段時出現錯誤? trait ID[R <: Record[R] with KeyedRecord[Long]] { this: R => val idField = new LongField(this) } 錯誤: inferred type arguments [ID[R] with R] do not conform to class Long