Прокси-исключения в 12.04 LTS [дубликат]

Это было одно из самых сложных и широко обсуждаемых решений в Группе экспертов JSR-335. С одной стороны, представляется вполне разумным, что абстрактный абстрактный метод может быть разумной целью преобразования для лямбда. И, если ваша ментальная модель «лямбда-это просто компактные анонимные классы», тогда это было бы вполне разумной идеей.

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

Одна из худших вещей, которые тащит с собой, - это значение имен внутри тела лямбды, а в качестве особого случая - значение this. Внутри внутреннего класса существует ужасно сложное правило поиска («поиск гребня»), поскольку имена внутри внутреннего класса могут относиться к членам супертипа или быть захваченным из лексической среды. (Например, многие ошибки и головоломки вращаются вокруг, используя this, а не Outer.this, во внутренних телах класса.) Если бы мы разрешили преобразование лямбда в абстрактные классы SAM, у нас было бы два плохих выбора; загрязнять все лямбды со сложной сложностью определения внутреннего класса или разрешать преобразование в объекты абстрактного класса, но ограничивать доступ таким образом, чтобы тело лямбда не могло ссылаться на членов базового класса (что вызовет его собственную путаницу). получившееся правило получается очень чистым: кроме форматов лямбда-параметров имена (в том числе this, которые являются только именем) внутри тела лямбды означают то, что они означают сразу за пределами лямбда-тела.

Другая проблема, связанная с переходом lambdas во внутренние классы, связана с идентификацией объекта и сопутствующей потерей оптимизации VM. У выражения внутреннего класса (например, new Foo() { }) гарантируется уникальный идентификатор объекта. Не совершая так сильно идентификацию объекта для lambdas, мы освобождаем виртуальную машину, чтобы сделать много полезных оптимизаций, которые она в противном случае не могла бы сделать. (В результате лямбда-связь и захват уже быстрее, чем для анонимных классов, и до сих пор существует глубокий трубопровод оптимизации, который мы еще не применили.)

Кроме того, если у вас есть одно- метод абстрактного класса и хотите иметь возможность использовать lambdas для их создания, есть простой путь для этого - определить фабричный метод, который использует функциональный интерфейс в качестве аргумента. (Мы добавили фабричный метод для ThreadLocal в Java 8, который делает это.)

Последний гвоздь в гробу для «lambdas - просто удобный синтаксис для объектов», взгляд мира появился после того, как мы сделали анализ существующих кодовых баз и их использование интерфейсов с одним абстрактным методом и абстрактных классов. Мы обнаружили, что только очень небольшой процент был основан на абстрактных классах. Было глупо обременять все лямбды сложностью и проблемами производительности подхода, который только выиграл бы менее 1% использования. Поэтому мы приняли «смелое» решение отказаться от этого варианта использования, чтобы воспользоваться преимуществами, которые это обеспечило для других 99 +%.