אופרטור אלביס

בשפות תכנות מסוימות, אופרטור אלביס, כתוב לעיתים קרובות , הוא פעולה בינארית שמחזירה את הערך הראשון המוערך אם האופרנד הזה מוערך לערך אמת, ואחרת מחזירה את הערך השני. הסימון של אופרטור אלביס נוצר בהשראת אופרטור התנאי המשולש, A?B:C, מאחר שאופרטור אלביס A ?: B שווה בערך לביטוי התנאי המשולש A ? A : B. ההבדל היחיד בין הביטויים, מעבר לכתיבה הכפולה של הביטוי A, הוא שבביטוי המשולש הערך של A מוערך פעמיים ואילו עם אופרטור אלביס, A מוערך רק פעם אחת.

השם "אופרטור אלביס" נובע מהעובדה שכאשר מסובבים עם כיוון השעון את הסימון הנפוץ שלו, , הוא דומה לרגשון של אלביס פרסלי עם התסרוקת המיוחדת שלו. 

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

 תחבירים חלופיים 
במספר שפות, כגון Common Lisp, Clojure, לואה, Object Pascal, Perl, Python, Ruby ו־JavaScript, לאופרטור OR (בדרך כלל || או or ) יש את אותה התנהגות כמו לעיל: החזרת האופרנד הראשון שלו אם זה מוערך לערך אמת, ואחרת להעריך ולהחזיר את האופרנד השני שלו, שעשוי להיות ערך אמת או שקר. כאשר הצד השמאלי הוא אמת, הצד הימני אפילו לא מוערך; מתבצע "קצר חשמלי". זה שונה מההתנהגות בשפות אחרות כגון C/C++, שם התוצאה של || תמיד תהיה ערך בוליאני.

 דוגמאות 
 גרסה בוליאנית 
בשפה שתומכת באופרטור אלביס, משהו כמו זה:
 x = f() ?: g()

ייתן x שווה לתוצאה של f() אם התוצאה הזו אמת, ואחרת לתוצאה של g().

זה שווה ערך לדוגמה זו, באמצעות אופרטור התנאי הטרינרי:

 x = f() ? f() : g()

אלא שהוא לא מעריך את f() פעמיים אם הוא מניב אמת. שימו לב לאפשרות של התנהגות שרירותית אם f() היא פונקציה שתלויה במצב - שלא מחזירה תמיד את אותה תוצאה.

 וריאנט הפניה לאובייקט 
קוד זה יגרום להפניה לאובייקט שמובטח שלא יהיה null. הפונקציה f() מחזירה הפניה לאובייקט במקום ערך בוליאני, ועשויה להחזיר null, הנחשב באופן אוניברסלי כשקרי:
 x = f() ?: 1 

הערות שוליים

קטגוריה:אלביס פרסלי
קטגוריה:פעולות בינאריות