החזר מערך באורך אפס, לא null

לעתים קרובות ישנן שיטות שנראות כך:

private List cheesesInStock = … ;
/**
* @return массив, содержащий все сыры, имеющиеся в магазине,
* or null, если сыров для продажи нет.
*/
public Cheese[] getCheeses() {
if (cheesesInStock.size() == 0)
return null;
}

אין סיבה להתייחס כאל מקרה מיוחד למצב שבו אין גבינה במבצע. זה מחייב את הלקוח לכתוב קוד נוסף כדי לעבד את ערך ההחזרה של השיטה пull, לדוגמה:

Cheese[] cheeses = shop.getCheeses();
if (cheeses ! = пull &&
Аrrауs.аsList(shор.gеtСhееsеs()).соntаins(Сhееsе.SТILТON))
Sуstеm.оut.рrintln("Jоllу good, just the thing.");

במקום פשוט:

if  (Аrrаys.аsList(shор.gеtСhееsеs()).соntаins(Сhееsе.SТILTON)) Sуstеm.оut.рrintln("Jоllу good, just the thing.");

סוג זה של מילוליות נחוץ כמעט לכל קריאת שיטה המחזירה null במקום מערך באורך אפס. זה טומן בחובו שגיאות, שכן ייתכן שמפתח הלקוח לא כתב קוד מיוחד לעיבוד התוצאה null. השגיאה עלולה לא להתגלות במשך שנים מכיוון ששיטות כאלה בדרך כלל מחזירות אובייקט אחד או יותר. יש להזכיר גם שהחזרה nullבמקום מערך מביאה לסיבוך של השיטה עצמה שמחזירה את המערך. לפעמים טוענים שהחזרת null עדיפה על החזרת מערך באורך אפס מכיוון שהיא מונעת את ההוצאות של הקצאת המערך בזיכרון. טיעון זה נכשל משתי סיבות. ראשית, אין טעם לדאוג לגבי ביצועים ברמה זו אלא אם פרופיל התוכנית מראה ששיטה מסוימת זו היא הסיבה העיקרית לירידה בביצועים. שנית, כל קריאה למתודה שאינה מחזירה רשומות יכולה להעביר את אותו מערך באורך אפס ללקוח, מכיוון שכל מערך באורך אפס הוא בלתי ניתן לשינוי, וניתן לשתף אובייקטים בלתי ניתנים לשינוי. למעשה, זה בדיוק מה שקורה כאשר אתה משתמש בביטוי הסטנדרטי כדי לשפוך אלמנטים מאוסף לתוך מערך מבוקר סוג:

private List сhееsеsInStосk = … ,
private fiпаl static Cheese[] NULL_CHEESE_ARRAY = nеw Cheese[0];
 /**
* @геtuгп массие, содержащий все сыры, имеющиеся в магазине
*/
public Cheese[] getCheeses() {
геtuгп (Cheese[] сhееsеsInStосk.tоАггау(NULL_СНЕЕSЕ_АRRАУ);
}

בניסוח זה, קבוע, כמערך באורך אפס ,toArray מועבר לשיטה כדי לציין איזה סוג הוא צריך להחזיר. בדרך כלל, השיטה toArrayמקצה שטח זיכרון עבור המערך המוחזר, אך אם האוסף ריק, הוא ממוקם במערך הקלט, והמפרט Сollесtion,tоАггау(Оbjесt[])מבטיח שאם מערך הקלט גדול מספיק כדי להכיל את האוסף, זה מה שמוחזר. לכן, הניב המוצג לעולם לא יקצה בעצמו מערך באורך אפס לזיכרון, אלא משתמש ב"קבוע ספציפי לסוג" ככזה. בואו נסכם. אין סיבה ששיטת מערך תחזיר null ולא מערך באורך אפס. נראה כי ניב זה נובע משפת התכנות C, שבה אורך המערך מוחזר בנפרד מהמערך עצמו. ב-C, אין טעם להקצות זיכרון למערך באורך אפס. מקור: ג'ושוע בלוך, Java TM Effective Programming, הוצאת לורי