عبارات Lambda از C++11 وارد زبان شدند و امکان تعریف توابع کوتاه و بدون نام را فراهم کردند. با این حال، یکی از محدودیت‌های نسخه‌های اولیه این بود که Lambdaها نمی‌توانستند به شکل مناسبی در محاسبات زمان کامپایل مورد استفاده قرار بگیرند. در C++17 این قابلیت توسعه پیدا کرد و constexpr lambdas به زبان اضافه شد؛ قابلیتی که اجازه می‌دهد یک Lambda در صورت رعایت الزامات constexpr در زمان کامپایل ارزیابی شود. 

constexpr lambda چیست؟

یک Lambda معمولی در اصل یک شیء تابع یا Closure Object ایجاد می‌کند که دارای یک تابع فراخوانی داخلی است. در C++17 می‌توان این تابع فراخوانی را constexpr کرد تا امکان ارزیابی آن در یک Constant Expression فراهم شود. این قابلیت به‌صورت رسمی با C++17 و ویژگی constexpr lambda معرفی شد. 

نکته مهم این است که constexpr بودن یک Lambda لزوماً به این معنا نیست که هر بار اجرای آن حتماً در زمان کامپایل انجام می‌شود. بلکه به کامپایلر اجازه داده می‌شود در شرایطی که نتیجه در یک عبارت ثابت موردنیاز است، Lambda را در زمان کامپایل ارزیابی کند.

در واقع، هدف اصلی این قابلیت ترکیب سادگی Lambdaها با توانایی محاسبات Compile-Time است.

constexpr lambda چگونه در زمان کامپایل ارزیابی می‌شود؟

برای اینکه یک Lambda بتواند در یک عبارت ثابت استفاده شود، بدنه و عملیات آن باید شرایط لازم برای ارزیابی constexpr را داشته باشند. در C++17 می‌توان Lambda را به‌صورت صریح constexpr تعریف کرد؛ همچنین اگر ()operator تولیدشده برای Lambda شرایط لازم را داشته باشد، می‌تواند به‌صورت ضمنی نیز constexpr باشد. 

این موضوع باعث می‌شود Lambdaها در کنار ابزارهایی مانند static_assert، constexpr functions و Templateها قابل استفاده باشند. در چنین شرایطی، بخشی از منطق برنامه قبل از اجرای واقعی برنامه محاسبه می‌شود.

تفاوت Lambda معمولی و constexpr lambda

تفاوت اصلی این دو در امکان استفاده از نتیجه Lambda در Constant Evaluation است. یک Lambda معمولی عمدتاً برای تعریف یک رفتار کوتاه در زمان اجرای برنامه استفاده می‌شود، در حالی که constexpr lambda می‌تواند همین رفتار را در شرایط مناسب به مرحله کامپایل منتقل کند.

این قابلیت در طراحی Templateهای عمومی اهمیت زیادی دارد. زیرا می‌توان یک رفتار محاسباتی را در قالب Lambda تعریف کرد و سپس از نتیجه آن در ساختارهایی استفاده کرد که نیازمند اطلاعات ثابت در زمان کامپایل هستند.

بنابراین constexpr lambda را می‌توان پلی میان Lambda Expressions و Compile-Time Programming دانست.

نقش constexpr lambda در متاتمپلیتینگ

یکی از مزیت‌های مهم constexpr lambda، امکان استفاده از آن در کنار تکنیک‌های Template Metaprogramming است. در متاتمپلیتینگ معمولاً تلاش می‌شود تا حد امکان اطلاعات و محاسبات وابسته به نوع یا مقدار در زمان کامپایل مشخص شوند.

Lambdaهای constexpr می‌توانند بخشی از این محاسبات را با Syntax ساده‌تر انجام دهند. به جای طراحی یک ساختار Template پیچیده برای یک محاسبه مشخص، می‌توان رفتار موردنظر را در قالب یک Lambda تعریف کرد و در شرایط مناسب نتیجه آن را در زمان کامپایل به دست آورد.

این موضوع به‌خصوص زمانی مفید است که محاسبه موردنظر کوچک و محلی باشد و نیازی به ایجاد یک تابع یا ساختار مستقل برای آن وجود نداشته باشد.

constexpr lambda و Generic Lambda

Lambdaهای Generic از C++14 معرفی شدند و اجازه می‌دهند پارامترهای Lambda با auto تعریف شوند. در C++17 می‌توان این قابلیت را با constexpr ترکیب کرد و Lambdaهایی ساخت که هم Generic باشند و هم قابلیت ارزیابی در زمان کامپایل را داشته باشند. 

این ترکیب در متاتمپلیتینگ مدرن اهمیت زیادی دارد، زیرا یک Lambda می‌تواند بدون مشخص کردن نوع دقیق ورودی، روی انواع مختلف داده کار کند و در صورت فراهم بودن شرایط، نتیجه را در زمان کامپایل تولید کند.

در نتیجه، Generic constexpr lambdas ابزار مناسبی برای طراحی منطق عمومی و قابل استفاده مجدد در برنامه‌های مبتنی بر Template هستند.

محدودیت‌های constexpr lambda

هر Lambda الزاماً نمی‌تواند در زمان کامپایل ارزیابی شود. عملیات انجام‌شده در بدنه Lambda باید با قوانین Constant Expression سازگار باشد. همچنین متغیرهای Captureشده و نحوه استفاده از آن‌ها نیز می‌توانند روی امکان ارزیابی Compile-Time تأثیر بگذارند. استاندارد C++17 برای Lambdaها و Closure Typeها شرایط مشخصی را برای حضور در Constant Expression در نظر گرفته است.

بنابراین استفاده از کلمه constexpr به‌تنهایی تضمین نمی‌کند که تمام فراخوانی‌های Lambda در زمان کامپایل انجام شوند؛ بلکه باید شرایط لازم برای Constant Evaluation نیز برقرار باشد.

اهمیت constexpr lambdas در ارتقاء به C++17

معرفی constexpr lambdas یکی از تغییرات مهم C++17 در زمینه Compile-Time Programming محسوب می‌شود. این قابلیت باعث شد Lambdaها از یک ابزار صرفاً مناسب برای نوشتن رفتارهای کوتاه در زمان اجرا، به ابزاری کاربردی‌تر برای محاسبات زمان کامپایل نیز تبدیل شوند. C++17 این ویژگی را به‌عنوان یکی از قابلیت‌های رسمی خود با Feature Test Macro مربوط به __cpp_constexpr معرفی کرده است. 

در کنار Fold Expressions، if constexpr، Variadic Templates و Type Traits، constexpr lambdas مجموعه قدرتمندی برای متاتمپلیتینگ مدرن فراهم می‌کنند. یادگیری این قابلیت به برنامه‌نویس کمک می‌کند منطق محاسباتی ساده را با ساختاری خواناتر به زمان کامپایل منتقل کند و از امکانات C++17 برای طراحی Generic و بهینه‌تر بهره ببرد.

کلیدواژه ها : constexpr-lambda- عبارات-لامبدا-در-زمان-کامپایل- constexpr-lambdas-در-C++17- Lambda-Expressions-C++17- Compile-Time-Lambda- Compile-Time-Programming- Constant-Expression-C++- Constant-Evaluation- C++17-constexpr- Generic-Lambda- Generic-constexpr-Lambda- Lambda-Capture- Closure-Type- Template-Metaprogramming-C++17- Advanced-Template-Metaprogramming- متاتمپلیتینگ-پیشرفته- برنامه‌نویسی-زمان-کامپایل- محاسبات-زمان-کامپایل- Lambda-در-C++17- ارتقاء-به-C++17- Fold-Expressions- if-constexpr- C++17-Templates-