الرئيسية / Language / استنتاج النوع باستخدام var
Language مبتدئ

استنتاج النوع باستخدام var

استخدم var لاستنتاج نوع المتغيرات المحلية — ضجيج أقل بنفس الأمان.

مقارنة الكود
✕ Java 8 
Map<String, List<Integer>> map =
    new HashMap<String, List<Integer>>();
for (Map.Entry<String, List<Integer>> e
    : map.entrySet()) {
    // verbose type noise
}
✓ Java 10+ 
var map = new HashMap<String, List<Integer>>();
for (var entry : map.entrySet()) {
    // clean and readable
}
هل ترى مشكلة في هذا الكود؟ أخبرنا.
لماذا يتفوق الأسلوب الحديث
⚡

كليشيه أقل

لا حاجة لتكرار الأنواع العامة المعقدة على كلا جانبي التعيين.

👁

قابلية قراءة أفضل

ركّز على أسماء المتغيرات والقيم لا على تصريحات الأنواع.

🔒

آمن من حيث الأنواع

يستنتج المترجم النوع الدقيق ويطبّقه وقت الترجمة.

الأسلوب القديم
أنواع صريحة
الأسلوب الحديث
الكلمة المفتاحية var
منذ JDK
10
الصعوبة
مبتدئ
دعم JDK
استنتاج النوع باستخدام var
متاح

متاح على نطاق واسع منذ JDK 10 (مارس 2018)

كيف يعمل

منذ Java 10، يستنتج المترجم أنواع المتغيرات المحلية من الجانب الأيمن. يقلّل هذا الضجيج البصري دون التضحية بأمان الأنواع. استخدم var عندما يكون النوع واضحاً من السياق.

توثيق ذو صلة
Local Variable Type Inference (JEP 286) ↗ Style Guidelines for var ↗
أنماط ذات صلة
Language متوسط

Sealed classes for type hierarchies

Java 8
// Anyone can extend Shape
public abstract class Shape { }
public class Circle extends Shape { }
public class Rect extends Shape { }
// unknown subclasses possible
Java 17+
public sealed interface Shape
    permits Circle, Rect {}
public record Circle(double r)
    implements Shape {}
public record Rect(double w, double h)
    implements Shape {}
مرر للرؤية الحديث ←
JDK 17+ →
Language مبتدئ

Pattern matching for instanceof

Java 8
if (obj instanceof String) {
    String s = (String) obj;
    System.out.println(s.length());
}
Java 16+
if (obj instanceof String s) {
    IO.println(s.length());
}
مرر للرؤية الحديث ←
JDK 16+ →
Language متوسط

Exhaustive switch without default

Java 8
// Must add default even though
// all cases are covered
double area(Shape s) {
    if (s instanceof Circle c)
        return Math.PI * c.r() * c.r();
    else if (s instanceof Rect r)
        return r.w() * r.h();
    else throw new IAE();
}
Java 21+
// sealed Shape permits Circle, Rect
double area(Shape s) {
    return switch (s) {
        case Circle c ->
            Math.PI * c.r() * c.r();
        case Rect r ->
            r.w() * r.h();
    }; // no default needed!
}
مرر للرؤية الحديث ←
JDK 21+ →
مشاركة 𝕏 🦋 in ⬡