Klausimai pažymėti kaip „tipo išvada“

Tipo išvada yra procesas, pagal kurį automatiškai apibrėžiami programų tipai, naudojant taisykles, nustatytas tipų sistemoje.
86
atsakymai

„Var“ raktinio žodžio naudojimas „C“

Aptaręs su kolegomis apie „var“ raktinio žodžio naudojimą C # 3, man įdomu, kokias nuomones žmonės turėjo naudodamiesi var tipo produkcija atitinkamais atvejais? Pvz., Aš visai nenaudai naudoju var į abejones ...
nustatytas 03 rugsėjis '08 14:29 val
3
atsakymai

Collections.emptyList () grąžina sąrašą <Object>?

Turiu problemų naršant naudojant „Java“ taisyklę, kad būtų rodomi tipo tipo parametrai. Apsvarstykite šią klasę, kurioje yra pasirinktinis sąrašo parametras: importuoti java.util.Collections; importuoti java.util.List; visuomenės klasė Asmuo {privat ...
nustatyti lapkričio 20 d '08 23:17
14
atsakymai

Patikrinimas, ar objektas yra nurodytas tipas „Swift“

Turiu masyvą, kurį sudaro AnyObject. Noriu jį kartoti ir surasti visus elementus, kurie yra masyvo pavyzdžiai. Kaip patikrinti, ar tokio tipo objektas yra „Swift“?
birželio 07 d. 14 val
14
atsakymai

Kiek yra per daug su „C ++ 11“ automatiniu raktiniu žodžiu?

Naudoju naują automatinį raktinį žodį, kurį galima rasti C ++ 11 standarte, sudėtingiems šablonų tipams, kuriems, manau, buvo sukurta. Bet aš taip pat naudoju tokius dalykus kaip: auto foo = std :: make_shared <Foo> (); Ir skeptiškesni ...
birželio 22 d. 11 val
14
atsakymai

Ar yra trūkumas deklaruojant kintamuosius su „C ++“?

Atrodo, kad automobilis buvo gana reikšminga funkcija, kurią reikia įtraukti į C ++ 11, kuris, atrodo, seka daug naujų kalbų. Kaip ir vartojant tokią kalbą kaip „Python“, nematau aiškios kintamojo deklaracijos (aš ne ...
nustatytas sausio 13 d '16, 6:44
5
atsakymai

Kodėl dizaineris C # negali daryti išvados apie tipą?

Kodėl konstruktoriai nepalaiko tipo išvados, nes tai yra bendrieji metodai? viešosios klasės „MyType“ <T> {privatus skaitymas T laukas; visuomenės MyType (T vertė) {field = value; }} var obj = naujas „MyType“ (42); // kodėl negalite įvesti ...
nustatyti 26 rug. '10 0:02
1
atsakymas
8
atsakymai

Kaip aš galiu patikimai nustatyti kintamojo tipą, kuris deklaruojamas su variu projektavimo metu?

Aš dirbau nustatydamas užbaigimą (intellisense) „C #“ emacs'e. Idėja yra ta, kad jei naudotojo tipas fragmente, tada prašo užbaigti naudodamas konkretų klavišų derinį, užbaigimo įrankis naudos žemėlapius.
gegužės 15 d. 18 val
5
atsakymai

tipo išvadų įgyvendinimas

Čia matau keletą įdomių diskusijų apie statinį ir dinaminį spausdinimą. Paprastai aš renkuosi statinį spausdinimą, nes tai yra kompiliavimo tipo tikrinimas, geriau dokumentuotas kodas ir tt Tačiau sutinku, kad jie netrukdo kodui, jei ...
nustatytas 06 sausis '09 8:06
1
atsakymas

Statinių bendrų metodų skambinimas

Susidūriau su įdomia situacija, susijusią su statiniais bendrais metodais. Šis kodas yra: klasė Foo <E> {public static <E> Foo <E> createFoo () {// ...}} klasės baras <E> {private Foo <E> narys; baras ...
nustatykite kovo 14d
3
atsakymai

Kodėl ši „Java 8“ programa nėra parengta?

Ši programa gerai kaupia „Java 7“ (arba „Java 8“ su „7. šaltiniu“), bet nesudaro su „Java 8“: sąsaja Iface <T> {} klasė Impl įgyvendina Iface <Impl> {} klasės priėmėjas <T išplečia Iface <T> > {viešasis priėmėjas (T o ...
nustatytas balandžio 14 d '14 18:00 val
3
atsakymai

Speciali išimties tipo išvada „Java 8“

Rašydami kodą kitam atsakymui šioje svetainėje, susidūriau su šia funkcija: static void testSneaky () {final Exception e = new Išimtis (); sneakyThrow (e); // jokios problemos čia neSprogdintaspaskutinis (e); // KLAIDA: nepadengta išimtis: java.
yra nustatytas liepos 09 '15, 14:49
5
atsakymai

Kodėl F tipo pasirinkimas yra toks keičiantis?

F # kompiliatorius, matyt, atlieka tipo išvadą (gana) griežtai nuo viršaus į apačią, iš kairės į dešinę. Tai reiškia, kad prieš naudodamiesi turite daryti tokius dalykus kaip visi apibrėžimai, failų sudarymo tvarka yra ...
Nustatyta liepos 2 d. 10 val
1
atsakymas

C # tipo produkcijos supratimo problema, kaip aprašyta kalbos specifikacijoje

C # kalbos specifikacija aprašo tipo išvadą, pateiktą §7.5.2. Jame yra detalių, kurių nesuprantu. Apsvarstykite tokį atvejį: // deklaracija negalioja Metodas <T> (T obj, Func <string, T> func); // skambinimo metodas ("obj", s => (objektas) s); ...
rugsėjo 13 d '10, 3:24
4
atsakymai

Kodėl šis „Haskell“ kodas sukuria „begalinio tipo“ klaidą?

Aš esu Haskellui naujas, ir aš susiduriu su klaida „Aš negaliu sukurti begalinio tipo“, kurio aš negaliu suprasti. Tiesą sakant, aš negalėjau rasti gero paaiškinimo apie tai, ką reiškia ši klaida, todėl, jei galėtumėte peržengti mano bazę ...
nustatytas balandžio 28 d '09 0:16