Pytania oznaczone «type-inference»

Zablokowana . To pytanie i odpowiedzi są zablokowane, ponieważ pytanie jest nie na temat, ale ma znaczenie historyczne. Obecnie nie akceptuje nowych odpowiedzi ani interakcji. Po dyskusji z kolegami na temat użycia słowa kluczowego „var” w C # 3 zastanawiałem się,...

Mam problem z nawigacją w regule Javy w celu wnioskowania o ogólnych parametrach typu. Rozważ następującą klasę, która ma opcjonalny parametr listy: import java.util.Collections; import java.util.List; public class Person { private String name; private List<String> nicknames; public...

Mam tablicę, która składa się z AnyObject. Chcę iterować i znaleźć wszystkie elementy, które są instancjami tablicowymi. Jak mogę sprawdzić, czy obiekt jest danego typu w

Używam nowego autosłowa kluczowego dostępnego w standardzie C ++ 11 do skomplikowanych typów szablonów, do czego, moim zdaniem, został zaprojektowany. Ale używam go również do takich rzeczy jak: auto foo = std::make_shared<Foo>(); I bardziej sceptycznie dla: auto foo = bla(); // where...

Używam Xcode 6 Beta 6. To jest coś, co mnie denerwuje od jakiegoś czasu, ale osiąga punkt, w którym jest ledwo użyteczny. Mój projekt zaczyna mieć przyzwoity rozmiar 65 plików Swift i kilka zmostkowanych plików Objective-C (które tak naprawdę nie są przyczyną problemu). Wygląda na to, że...

Mam ogólną funkcję, która wywołuje usługę internetową i serializuje odpowiedź JSON z powrotem do obiektu. class func invokeService<T>(service: String, withParams params: Dictionary<String, String>, returningClass: AnyClass, completionHandler handler: ((T) -> ())) { /* Construct...

Wygląda na to, że autobyła to dość istotna funkcja do dodania w C ++ 11, która wydaje się być zgodna z wieloma nowszymi językami. Podobnie jak w przypadku języka takiego jak Python, nie widziałem żadnej jawnej deklaracji zmiennej (nie jestem pewien, czy jest to możliwe przy użyciu standardów...

Zgodnie ze specyfikacją języka Scala : ... wnioskowanie o typie lokalnym jest dozwolone w celu ograniczenia złożoności wywnioskowanych granic [parametrów typu]. Minimalność i maksymalność typów należy rozumieć w odniesieniu do zbioru typów o dopuszczalnej złożoności. W praktyce jakie są...

Pracuję nad narzędziem uzupełniania (Intellisense) dla języka C # w emacsie. Chodzi o to, że jeśli użytkownik wpisze fragment, a następnie poprosi o uzupełnienie za pomocą określonej kombinacji naciśnięć klawiszy, narzędzie uzupełniania użyje odbicia .NET do określenia możliwych uzupełnień. Aby...

Natknąłem się na ciekawą sytuację związaną ze statycznymi metodami ogólnymi. To jest kod: class Foo<E> { public static <E> Foo<E> createFoo() { // ... } } class Bar<E> { private Foo<E> member; public Bar() { member = Foo.createFoo(); } } Dlaczego nie...

Widzę tutaj kilka interesujących dyskusji na temat pisania statycznego i dynamicznego. Generalnie wolę wpisywanie statyczne, ze względu na sprawdzanie typów kompilacji, lepiej udokumentowany kod itp. Zgadzam się jednak, że zaśmiecają one kod, jeśli są robione tak, jak robi to na przykład...

Pisząc kod dla innej odpowiedzi na tej stronie, natknąłem się na tę osobliwość: static void testSneaky() { final Exception e = new Exception(); sneakyThrow(e); //no problems here nonSneakyThrow(e); //ERRROR: Unhandled exception: java.lang.Exception } @SuppressWarnings("unchecked") static...

Gdy próbuję znaleźć RecycleViewidentyfikator według identyfikatora, pojawia się następujący błąd . Błąd: - wnioskowanie o typie nie powiodło się: za mało informacji, aby wywnioskować parametr T Kod: class FirstRecycleViewExample : AppCompatActivity() { val data =...

Użyte odwołanie do metody ma typ zwracany Integer. Jednak niezgodność Stringjest dozwolona w poniższym przykładzie. Jak naprawić withdeklarację metody, aby uzyskać bezpieczny typ referencyjny metody bez ręcznego rzutowania? import java.util.function.Function; public class MinimalExample {...

Wszyscy wiemy, że Long rozciąga się Number. Dlaczego więc się nie kompiluje? Jak zdefiniować metodę, withaby program kompilował się bez ręcznego rzutowania? import java.util.function.Function; public class Builder<T> { static public interface MyInterface { Number getNumber(); Long...

Realizacja std::mem::dropjest udokumentowana następująco: pub fn drop<T>(_x: T) { } Jako taki, oczekiwałbym, że zamknięcie |_| ()(potocznie zwane zamknięciem toalety ) będzie potencjalnym zamiennikiem 1: 1 dropw obu kierunkach. Jednak poniższy kod pokazuje, że dropnie jest zgodny z cechą...

Dlaczego jest public <R, F extends Function<T, R>> Builder<T> withX(F getter, R returnValue) {...} bardziej rygorystyczne public <R> Builder<T> with(Function<T, R> getter, R returnValue) {...} Jest to kontynuacja Dlaczego nie jest sprawdzany typ zwrotu...

Dlaczego dopasowanie wzorca działa inaczej, gdy parametr type pochodzi z otaczającej metody, a nie z otaczającej klasy? Na przykład, trait Base[T] case class Derived(v: Int) extends Base[Int] class Test[A] { def method(arg: Base[A]) = { arg match { case Derived(_) => 42 } } } daje...