Вопросы с тегом «type-inference»

Locked . Этот вопрос и его ответы заблокированы, потому что вопрос не по теме, но имеет историческое значение. В настоящее время он не принимает новые ответы или взаимодействия. После обсуждения с коллегами относительно использования ключевого слова 'var' в C # 3 мне стало интересно, что люди...

У меня возникли некоторые проблемы при навигации по правилу Java для определения параметров универсального типа. Рассмотрим следующий класс, который имеет необязательный параметр списка: import java.util.Collections; import java.util.List; public class Person { private String name; private...

У меня есть массив, который состоит из AnyObject . Я хочу перебрать его и найти все элементы, которые являются экземплярами массива. Как я могу проверить, является ли объект данного типа в...

Я использовал новое autoключевое слово, доступное в стандарте C ++ 11 для сложных шаблонных типов, для которого, как мне кажется, оно было разработано. Но я также использую его для таких вещей, как: auto foo = std::make_shared<Foo>(); И более скептически для: auto foo = bla(); // where bla()...

Я использую Xcode 6 Beta 6. Это то, что беспокоило меня в течение некоторого времени, но сейчас оно достигло точки, когда его едва ли можно использовать. Мой проект начинает иметь приличный размер 65 Swift-файлов и несколько мостовых файлов Objective-C (которые на самом деле не являются причиной...

У меня есть общая функция, которая вызывает веб-сервис и сериализует ответ JSON обратно на объект. class func invokeService<T>(service: String, withParams params: Dictionary<String, String>, returningClass: AnyClass, completionHandler handler: ((T) -> ())) { /* Construct the URL,...

Похоже, что это autoбыла довольно значительная особенность, которая должна быть добавлена ​​в C ++ 11, которая, кажется, следует за многими новыми языками. Как и в языке, подобном Python, я не видел явного объявления переменных (я не уверен, возможно ли это с использованием стандартов Python). Есть...

Согласно спецификации языка Scala : ... логический вывод локального типа разрешен для ограничения сложности предполагаемых границ [параметров типа]. Минимальность и максимальность типов следует понимать относительно множества типов приемлемой сложности. На практике каковы ограничения? Кроме того,...

Я работаю над средством завершения (intellisense) для C # в emacs. Идея заключается в том, что если пользователь набирает фрагмент, а затем запрашивает завершение с помощью определенной комбинации клавиш, средство завершения будет использовать отражение .NET для определения возможных завершений....

Я столкнулся с любопытной ситуацией, связанной со статическими универсальными методами. Это код: class Foo<E> { public static <E> Foo<E> createFoo() { // ... } } class Bar<E> { private Foo<E> member; public Bar() { member = Foo.createFoo(); } } Почему мне не нужно...

Я вижу здесь несколько интересных дискуссий о статической и динамической типизации. Обычно я предпочитаю статическую типизацию из-за проверки типа компиляции, лучшего документированного кода и т. Д. Однако я согласен с тем, что они действительно загромождают код, например, так, как это делает...

При написании кода для другого ответа на этом сайте я обнаружил такую ​​особенность: static void testSneaky() { final Exception e = new Exception(); sneakyThrow(e); //no problems here nonSneakyThrow(e); //ERRROR: Unhandled exception: java.lang.Exception } @SuppressWarnings("unchecked") static...

Когда я пытаюсь найти RecycleViewпо идентификатору, я получаю следующую ошибку . Ошибка: - Ошибка вывода типа: недостаточно информации для вывода параметра T Код: class FirstRecycleViewExample : AppCompatActivity() { val data = arrayListOf<String>() override fun onCreate(savedInstanceState:...

Ссылка на используемый метод имеет тип возвращаемого значения Integer. Но несовместимое Stringдопускается в следующем примере. Как исправить withобъявление метода, чтобы получить безопасный тип ссылки на метод без приведения вручную? import java.util.function.Function; public class MinimalExample {...

Мы все знаем, что Лонг расширяется Number. Так почему же это не скомпилировать? А как определить метод, withчтобы программа компилировалась без ручного приведения? import java.util.function.Function; public class Builder<T> { static public interface MyInterface { Number getNumber(); Long...

Реализация std::mem::dropзадокументирована следующим образом: pub fn drop<T>(_x: T) { } Таким образом, я ожидаю, что укупорка |_| ()(в просторечии известная как унитаз ) будет потенциальной заменой 1: 1 dropв обоих направлениях. Тем не менее, приведенный ниже код показывает, что dropон не...

Почему public <R, F extends Function<T, R>> Builder<T> withX(F getter, R returnValue) {...} более строгим, чем public <R> Builder<T> with(Function<T, R> getter, R returnValue) {...} Это продолжение того, почему лямбда-тип возврата не проверяется во время...

Почему сопоставление с образцом работает по-разному, когда параметр типа поступает из включающего метода, а не из включающего класса? Например, trait Base[T] case class Derived(v: Int) extends Base[Int] class Test[A] { def method(arg: Base[A]) = { arg match { case Derived(_) => 42 } } } дает...