معناشناسی (Semantics) در برنامه‌نویسی به معنای ساختارها و دستورهای یک زبان و رفتار یا مفهومی اشاره دارد که آن ساختارها بیان می‌کنند.
در زبان‌های برنامه‌نویسی، معناشناسی مشخص می‌کند یک عبارت چه مفهومی دارد، یک دستور چه اثری ایجاد می‌کند و اجرای یک برنامه تحت شرایط مشخص چه رفتاری خواهد داشت.
معناشناسی در کنار نحو (Syntax) یکی از مفاهیم اساسی در تعریف و درک زبان‌های برنامه‌نویسی است.
کد زیر از نظر نحوی در پایتون معتبر است:
x = "hello" - 5
با این حال، اجرای آن در پایتون با خطای `TypeError` مواجه می‌شود؛ زیرا عملگر تفریق برای ترکیب یک رشته و یک عدد به این شکل تعریف نشده است.
این مثال نشان می‌دهد که درست بودن ساختار نحوی به‌تنهایی تضمین نمی‌کند که یک دستور در زمان اجرا معتبر باشد.
مثال دیگر:
x = 10 y = 5 print(x - y)
این کد مقدار `5` را چاپ می‌کند. معناشناسی عملگر `-` برای این نوع داده‌ها مشخص می‌کند که نتیجه، تفریق دو عدد است.
در نظریه زبان‌های برنامه‌نویسی، روش‌های مختلفی برای تعریف دقیق معنای برنامه‌ها وجود دارد.
در این روش، معنای برنامه از طریق توصیف مراحل اجرای آن مشخص می‌شود. این توصیف توضیح می‌دهد که با اجرای هر دستور، وضعیت برنامه چگونه تغییر می‌کند.
برای مثال، اجرای دستور زیر:
x = 10
باعث می‌شود متغیر `x` در محیط اجرای برنامه به مقدار `10` نسبت داده شود.
در این روش، ساختارهای زبان به اشیاء یا توابع ریاضی نگاشت می‌شوند تا معنای آن‌ها به‌صورت دقیق و رسمی بیان شود.
این رویکرد در مطالعه نظری زبان‌های برنامه‌نویسی و تعریف ریاضی رفتار برنامه‌ها کاربرد دارد.
در این روش، رفتار برنامه با استفاده از گزاره‌های منطقی و قواعد استنتاج توصیف می‌شود. هدف آن بررسی ویژگی‌هایی مانند درستی برنامه و اثبات برقرار بودن شرایط مشخص پیش و پس از اجرای دستورهاست.
یکی از ابزارهای شناخته‌شده در این رویکرد، سه‌تایی هوار (Hoare Triple) است که معمولاً به شکل زیر نوشته می‌شود:
{P} C {Q}
در این نمایش، `P` شرط پیشین، `C` دستور یا برنامه و `Q` شرط پسین است. این نمادگذاری بیان می‌کند که اگر شرط پیشین برقرار باشد و اجرای برنامه خاتمه یابد، شرط پسین نیز برقرار خواهد بود؛ البته تفسیر دقیق آن به نوع منطق و قواعد مورد استفاده بستگی دارد.
خطای معنایی زمانی مطرح می‌شود که کد از نظر ساختاری معتبر باشد، اما با قواعد معنایی زبان سازگار نباشد یا رفتاری غیرمجاز داشته باشد.
برای نمونه:
print(unknown_variable)
این کد از نظر نحوی معتبر است، اما اگر `unknown_variable` پیش‌تر تعریف نشده باشد، اجرای آن در پایتون با `NameError` مواجه می‌شود.
بسته به زبان برنامه‌نویسی و مرحله بررسی، خطاهای معنایی ممکن است هنگام تحلیل کد، کامپایل یا اجرا شناسایی شوند. برای مثال، بعضی زبان‌ها استفاده از متغیر تعریف‌نشده را پیش از اجرا رد می‌کنند، درحالی‌که پایتون معمولاً این وضعیت را هنگام اجرای دستور آشکار می‌کند.
| ویژگی | نحو (Syntax) | معناشناسی (Semantics) |
| ساختار | قواعد شکل و ترتیب اجزای کد | معنای ساختارها و رفتار آن‌ها |
| پرسش اصلی | آیا کد مطابق قواعد زبان نوشته شده است؟ | کد چه معنایی دارد یا چه رفتاری ایجاد می‌کند؟ |
| نمونه خطا | فراموش کردن `:` در دستور `if` پایتون | استفاده از عملگر نامناسب برای نوع داده |
| ابزارهای مرتبط | تحلیل‌گر نحوی، کامپایلر و ویرایشگر | تحلیل معنایی، بررسی نوع و روش‌های تحلیل برنامه |
این دو مفهوم به یکدیگر وابسته‌اند، اما یکسان نیستند. نحو مشخص می‌کند چه ساختارهایی قابل‌قبول‌اند و معناشناسی مشخص می‌کند این ساختارها چه معنایی دارند.
معناشناسی ایستا (Static Semantics) به محدودیت‌ها و قواعدی مربوط است که بدون اجرای عادی برنامه بررسی می‌شوند؛ برای مثال، قواعد نوع‌دهی یا محدودیت‌های مربوط به تعریف شناسه‌ها.
معناشناسی پویا (Dynamic Semantics) رفتار برنامه را هنگام اجرا توصیف می‌کند؛ از جمله اینکه اجرای دستورها چگونه وضعیت برنامه را تغییر می‌دهد و چه نتیجه‌ای تولید می‌شود.
این اصطلاحات در منابع مختلف ممکن است با جزئیات و دسته‌بندی‌های متفاوتی تعریف شوند. معناشناسی ایستا نیز صرفاً مترادف بررسی نحو نیست، زیرا برخی قواعد ایستا فراتر از ساختار نحوی هستند.
درک معناشناسی به برنامه‌نویسان کمک می‌کند: