Bir lambda ifadesi, tek bir yöntemle anonim bir iç sınıftan daha fazlası mıdır?

Java 8'de uzun zamandır beklenen lambda ifadeleriyle yeni bir yutturmaca var; Her 3 günde bir, ne kadar havalı olduklarını gösteren başka bir makale var.

Anladığım kadarıyla lamda ifadesi, tek bir yöntemle (en azından bayt kodu düzeyinde) anonim bir iç sınıftan başka bir şey değildir. Bunun yanında başka bir güzel özellik tipi çıkarım ile geliyor ama bunun eşdeğerinin bir düzeyde jeneriklerle elde edilebileceğine inanıyorum (elbette lambda ifadelerinde olduğu gibi düzgün bir şekilde değil).

Bunu bilerek, Java'da lambda ifadeleri sözdizimsel bir şekerlemeden başka bir şey mi getirecek? Mevcut dil özellikleri ile inşa edilemeyen lambda ifadeleriyle daha güçlü ve esnek sınıflar veya başka nesne yönelimli yapılar oluşturabilir miyim?

tl; dr: bu kadar süre çoğunlukla sözdizimsel şeker, o güzel sözdizimi parantez ve parantez sonsuz, okunamayan hatlarında sonuna kadar kullanılan pratik bir sürü şey yapar.

Aslında, bu lambdaların Java'dan çok daha yaşlı olması gibi bir durum . Tek bir yöntemle anonim iç sınıflar, Java'nın lambdalara en yakın olduğu idi. Bir süredir "yeterince iyi" olan, ancak çok kötü bir sözdizimine sahip olan yaklaşık bir yaklaşım.

Yüzeyde, Java 8 lambdaları sözdizimsel şekerden çok daha fazla gözükmüyor, ancak yüzeyin altına baktığınızda, tonlarca ilginç soyutlamalar görüyorsunuz. Örneğin, JVM spesifikasyonu bir lambdaya bir "gerçek" nesneden oldukça farklı davranır ve onları nesnelerin olduğu yerler gibi ele alırken , JVM'nin bunları uygulaması gerekli değildir.

Ancak tüm bu teknik hile ilginç ve alakalı olsa da (JVM'de gelecekteki optimizasyonlara izin verdiği için!), Asıl fayda sözdizimsel şeker kısmı "sadece" dır.

Okumak için daha kolay:

myCollection.map(new Mapper<String,String>() {
  public String map(String input) {
    return new StringBuilder(input).reverse().toString();
  }
});

veya:

myCollection.map(element -> new StringBuilder(element).reverse().toString());

veya (bir lambda yerine bir yöntem tutamacı kullanarak):

myCollection.map(String::toUpperCase);

Sonunda daha önce 5 kod satırı olacak şekilde (3'ü tamamen sıkıcı olan) kısa bir şekilde ifade edebileceğiniz gerçeği, pratik olanın (ancak mümkün olanın değil) ne olduğuna dair gerçek bir değişiklik getirir .

Java için evet, isimsiz bir iç sınıf yaratmanın daha iyi bir yolundan başka bir şey değil. Bunun nedeni, java’daki her bit bayt kodunun belirli bir sınıf içinde yaşamaya mecbur olduğu temel karardan kaynaklanmaktadır, ki bunlar artık göz önünde bulundurularak on yıllarca eski kodun ardından değiştirilemez.

Ancak, bu lambda ifadelerinin gerçekte ne olduğu değildir. Bant atlayışındaki çarpılmadan ziyade doğal kavramlar oldukları formalizmde, lambdalar temel yapı taşlarıdır; Hem sözdizimleri hem de insanların onlara karşı tutumu çok farklı. Bilgisayar Programlarının Yapısı ve Yorumlanmasında tamamen lambdalardan oluşan anonim bir özyinelemeli fonksiyon örneği, tüm hesaplama anlayışınızı değiştirebilir. (Ancak, programlamayı öğrenmenin ana akım bir başarı öyküsü olmak için sadece ezoterik olacağından eminim.)

Evet, sadece sözdizimsel bir şeker, bir lambda yazdığınız her yerde, bu ifadeyi sınıfın lambda bağlamı için çıkarılan işlevsel arayüzü uyguladığı bir yöntemle anonim bir iç sınıf ifadesi olarak yeniden yazabilirsiniz. anlamsal olarak tam olarak eşdeğer olacaktır . Bunu, lambda ifadesini başka bir ifade veya kod satırını değiştirmeden, anonim sınıf ifadesiyle değiştirerek yapabilirsiniz.

Joachim Sauer zaten sorunuzu yanıtlamak için iyi bir iş çıkardı, ancak yalnızca önemli olarak gördüğüm bir şeyi ima etti. Lambdalar sınıf olmadığından onlar da böyle derlenmedi. Tüm anonim iç sınıflar, ClassLoader tarafından yüklenmesi gereken bir .class dosyası oluşturulmasına neden olur. Bu yüzden Lambdas kullanmak sadece kodunuzu daha güzel hale getirmekle kalmaz, aynı zamanda derlenmiş kodunuzun boyutunu, ClassLoader'ınızın hafıza alanını ve bitleri sabit sürücünüzden aktarmak için harcadığınız zamanı azaltır.

Hayır değiller.

Bunu söylemenin bir başka yolu da lambdalar nesneye yönelik değil, özlü, ancak anonim bir sınıf veya benim tercihime göre iç sınıfın nesne yönelimli bir şekilde elde edeceği şeyi başarmanın bir yoludur.