ارزیابی اتصال کوتاه
ارزیابی اتصال کوتاه، ارزیابی حداقلی، یا ارزیابی مک‌کارتی (نام‌گذاری به خاطر جان مک‌کارتی بوده‌است)، معنای برخی از اپراتورهای بولی در برخی از زبانهای برنامه‌نویسی می‌باشد که در آن آرگومان دوم فقط در صورتی اجرا می‌شود که آرگومان اول برای ارزیابی یا محاسبه عبارت کافی نباشد. به عنوان مثال، وقتی اولین آرگومان AND دارای مقدار false باشد، در آن صورت بدون توجه به مقدار آرگومان دوم، کل عبارت false می‌شود. به عنوان مثالی دیگر می‌توان گفت زمانی که که اولین آرگومان عملگر OR دارای مقدار true باشد، در آن صورت مقدار کل عبارت برابر true می‌شود. در برخی از زبانهای برنامه‌نویسی (مانند Lisp , Perl , Haskell به دلیل ارزیابی تنبلی)، اپراتورهای معمول بولی از نوع اتصال کوتاه می‌باشند. در سایر موارد (آدا، جاوا، دلفی)، هر دو اپراتور بولی از نوع اتصال کوتاه و استاندارد در دسترس هستند. برای برخی از عملیات بولی مانند منحصر به فرد یا (XOR) امکان اتصال کوتاه وجود ندارد زیرا هر دو آرگومان همیشه برای تعیین نتیجه لازم می‌باشند.
عبارت اتصال کوتاه x and y برابر با بیان شرطی if x then y else false می‌باشد. همچنین شایان ذکر است که عبارت x or y نیز معادل if x then true else y می‌باشد.
در واقع، اپراتورهای اتصال کوتاه به جای اینکه عملگرهای ساده حساب باشند، ساختارهای کنترلی هستند، زیرا اکید نیستند. در اصطلاحات ضروری زبان (خصوصاً C و C ++)، که عوارض جانبی مهم هستند، اپراتورهای اتصال کوتاه یک نقطه دنباله را معرفی می‌کنند، به این صورت که آنها آرگومان اول را با وجود هر گونه عارضه جانبی و قبل از پردازش آرگومان دوم، کاملاً ارزیابی می‌کنند. الگول ۶۸ از روش رویه‌بندی برای رسیدن به اپراتورها و رویه‌های اتصال کوتاه (که توسط کاربر تعریف شده‌اند) استفاده می‌کند.
در زبانهای با وابستگی کم به نوع (loosely typed) که بیش از دو مقدار حقیقی دارند، اپراتورهای اتصال کوتاه آخرین زیرعبارت ارزیابی شده را برمی‌گردانند. همان‌طور که در بالا اشاره شد، عبارت x and y برابر است با y if x else x. همچنین عبارت x or y نیز برابر x if x else y (بدون دوبار محاسبه x). به این نحوه محاسبه، «آخرین مقدار» در جدول زیر می‌گویند.
در زبانهایی که به صورت پیش فرض از ارزیابی تنبل استفاده می‌کنند (مانند هسکل)، همه عملکردها به‌طور مؤثر اتصال کوتاه هستند و به اپراتورهای اتصال کوتاه ویژه نیازی نیست.
استفاده از اپراتورهای اتصال کوتاه دلیل خاطر مشکل ساز بودن آنها مورد انتقاد می‌باشد:
در نگاه اول، رابط‌های شرطی (به صورت کوتاه "cand" و "cor") بیشتر از آنچه به نظر می‌آیند مشکل ساز هستند. برای نمونه با مقایسه دو عبارت زیر، متوجه می‌شویم که "cor" بر روی "cand" توزیع نمی‌شود.
عبارت اول: A cand B) cor C)
عبارت دوم: (A cor C) cand (B cor C)
در نمونه A ^ C¬، عبارت دوم نیاز به تعریف B دارد در حالی که عبارت اول نیازی ندارد. به دلیل اینکه رابط‌های شرطی استنتاج در مورد برنامه‌ها را پیچیده می‌کنند، بهتر است از آنها دوری شود.
به عنوان مثال رایج، با استفاده از یک زبان مبتنی بر C:int denom = 0; if (denom != 0 && num / denom)مثال زیر را در نظر بگیرید:
int a = 0; if (a != 0 && myfunc(b))
در این مثال، ارزیابی اتصال کوتاه تضمین می‌کند که (myfunc(b هرگز فراخوانده نمی‌شود. دلیل این اتفاق این می‌باشد که a != ۰ را به false ارزیابی می‌شود. این ویژگی دو ساختار برنامه‌نویسی مفید اضافه می‌کند: حال هر دو کد بالا در قطعه کد C در زیر نشان داده شده‌است که در آن ارزیابی حداقلی مانع از همزدایی اشاره‌گر پوچ و دستیابی‌های اضافی به حافظه می‌شود:
bool is_first_char_valid_alpha_unsafe(const char *p) bool is_first_char_valid_alpha(const char *p)
علیرغم مزایای بیان شده، ارزیابی حداقلی ممکن است مشکلاتی را برای برنامه نویسانی که متوجه نمی‌شوند (یا فراموش می‌کنند)، ایجاد کند؛ مثلاً در کد
if (expressionA && myfunc(b)) {
اگر قرار باشد عبارت (myfunc(b برخی از عملیات ضروری از قبیل تخصیص منابع سیستم را بدون در نظر گرفتن اجرای عبارت ()do_something، اجرا کند و عبارت expressionA برابر false ارزیابی شود، آنگاه عبارت (myfunc(b اجرا نخواهد شد، که می‌تواند منجر به ایجاد مشکلاتی شود. برخی از زبانهای برنامه‌نویسی، مانند جاوا، دو عملگر دارند که یکی از ارزیابی حداقلی استفاده می‌کند ولی دیگری نمی‌کند تا از این مشکل جلوگیری شود.
مشکلاتی مربوط به عوارض جانبی اجرا نشده می‌توانند با سبک برنامه‌نویسی درست و مناسب، به راحتی حل شوند، یعنی عدم استفاده از عوارض جانبی در عبارات بولی، زیرا استفاده از مقادیر دارای عوارض جانبی در ارزیابی‌ها، معمولاً کد را مبهم و مستعد خطا می‌کند.
از آنجایی که بازبینی کمینه جزوی از قواعد دستوری یک عملگر است و نه جزوی از یک بهینه‌ساز (هرچند هم اختیاری)، بسیاری از الگوهای برنامه‌نویسی به آن به عنوان یک ساختار جزئی شرطی وابسته شده‌اند. مثال‌هایی از آن را می‌توان در ادامه دید:
اصطلاحات پرل:
some_condition or die; # Abort execution if some_condition is false some_condition and die; # Abort execution if some_condition is true
اصطلاحات BASH (اسکریپت پوسته UNIX):
modprobe -q some_module && echo "some_module installed" || echo "some_module not installed"
وقوع اتصال کوتاه ممکن است در پردازنده‌های مدرن باعث بروز مشکلات در مسئلهٔ پیش‌بینی شاخه‌ای، و همچنین باعث کاهش شدید بازده شود.
مثال مناسب این واقعه در پرتوهای به شدت دقیق شده در رهگیری پرتو است. برخی از کامپایلرها می‌توانند اینگونه موارد را تشخیص بدهند و کدهای سریع‌تری تولید کنند، ولی ممکن است قواعد نحوی موجود در ساختار زبان‌های برنامه‌نویسی، اینگونه بهینه‌سازی‌ها را محدود کنند.