ביטוי (מדעי המחשב)

במדעי המחשב, ביטוי (Expression) הוא צירוף של ערכים, קבועים, משתנים, אופרטורים ופונקציות שמפורשים על פי סדר מסוים, ומותאמים לשפת תכנות כלשהי שמבצעת חישוב ומחזירה ערך אחר. הערך עשוי להיות מטיפוסים שונים - ערך מספרי, מחרוזת, לוגי וכן הלאה. לדוגמה, 2+3 הוא ביטוי אריתמטי שערכו יחושב להיות 5. אזכור של משתנה הוא ביטוי כי הוא מצביע לערך בזיכרון, ולכן y+6 זהו ביטוי הכולל את המשתנה y. דוגמה לביטוי יחס בשפות ממשפחת ה-C הוא 4==4, שערכו יחושב להיות אמת.

בשפות תכנות רבות, בהן שפות ממשפחת ה-C, לפקודה יש ערך, ששייך לטיפוס המכיל איבר יחיד (void ב-C,‏ unit בשפת ML). אין דרך להשתמש בערכים כאלה. פונקציה, ולכן גם כל ביטוי הכולל פונקציה, עשוי לכלול תוצאת לוואי. ביטוי עם תוצאת לוואי בדרך כלל לא מאופיין בהתייחסות-שקופה (Referential Transparency). בשפות רבות (בהן שפת C) ביטויים העומדים בפני עצמם ואינם חלק מביצוע פקודה נקראים ביטויי-פקודה (Expression Statements). במקרה זה הייעוד היחיד של ביטוי כזה הוא השגת תוצאת-הלוואי שלו, והתוכנית תתעלם מהערך שלו.