بررسی std::polymorphic در C++26؛ ساده‌سازی شیء‌گرایی چندریختی

در مقالات و پیشنهادهای مربوط به نسخه‌های آتی C++، تمرکز زیادی روی ارتقای مدیریت حافظه و الگوهای طراحی شده است. پس از معرفی std::indirect که برای پیاده‌سازی الگوهای PImpl کاربرد دارد، استاندارد C++26 نوع داده جدیدی به نام std::polymorphic را معرفی کرده است. این ویژگی جدید به توسعه‌دهندگان اجازه می‌دهد کلاس‌های ترکیبی (Composite) را با رابطه has-a به شکلی تمیزتر و امن‌تر پیاده‌سازی کنند.

زمینه و مشکلات سنتی در C++

فرض کنید یک سامانه خانه‌ی هوشمند دارید که رویدادهای مختلفی مثل دمای هوا، دود یا مونوکسید کربن را ثبت می‌کند. برای ذخیره‌سازی این رویدادها در یک لاگ، با چالش‌هایی روبه‌رو می‌شویم:

• استفاده مستقیم از شیء پایه (Event event) منجر به پدیده برش شیء (Object Slicing) می‌شود.
• استفاده از std::unique_ptr<Event> اگرچه نوع دینامیک را حفظ می‌کند، اما کلاس را به یک موجودیت move-only تبدیل می‌کند.
• استفاده از std::variant نیازمند نگهداری یک مجموعه بسته از نوع‌هاست و با اضافه شدن یک رویداد جدید، باید تمام Visitorها تغییر کنند.
• روش سنتی تعریف تابع مجازی clone() کد boilerplate زیادی را به کلاس‌های مشتق‌شده تحمیل می‌کند و کامپایلر هم آن را اجباری نمی‌کند.

علاوه بر این، اشاره‌گرهای هوشمند سنتی مشکلاتی مثل عدم انتشار const، امکان وجود مقدار null و نیاز به مدیریت دستی قوانین پنچ‌گانه (Rule of Five) را به همراه دارند.

ورود std::polymorphic

نوع جدید std::polymorphic در C++26 اجازه می‌دهد بدون نیاز به مکانیسم clone()، اجزای سلسله‌مراتب کلاس‌ها را به صورت چندریختی مدیریت کنیم. با این روش، کلاس‌های پایه و مشتق‌شده بسیار خلوت‌تر می‌شوند و کارهایی مانند کپی کردن به صورت خودکار پشتیبانی می‌شود.

برای نمونه، تعریف کلاس EventLog به جای استفاده از std::vector<std::unique_ptr<Event>> می‌تواند به شکل زیر باشد:

class EventLog {
    std::vector<std::polymorphic<Event>> events_;
public:
    template <typename E, typename... Args>
    void record(Args&&... args) {
        events_.emplace_back(std::in_place_type<E>, std::forward<Args>(args)...);
    }
    // سایر متدها
};

مزایای کلیدی std::polymorphic

• کپی‌پذیری مالک: کانتینرها و کلاس‌های ترکیبی مجدداً به صورت خودکار قابلیت کپی پیدا می‌کنند و قانون صفر (Rule of Zero) رعایت می‌شود.
• حذف پروتکل clone: عملیات کپی به کمک تکنیک Type Erasure در زمان ساخت شیء (هنگامی که نوع دقیق مشخص است) ثبت می‌شود.
• انتشار سراسری const: کلمه کلیدی const به درستی به شیء داخلی منتقل می‌شود.
• همیشه معتبر (بدون Null): شیء std::polymorphic همیشه حاوی مقدار است؛ مگر در حالت انتقال‌یافته (moved-from) که با تابع valueless_after_move() قابل بررسی است.

در زیر کاپوت، این نوع از مکانیزمی مشابه std::function و std::any استفاده می‌کند تا عملیات تخریب و کپی را بر اساس نوع واقعی شیء مدیریت کند.

نگاه جامعه هکرنیوز

در بحث‌های پیرامون این ویژگی در هکرنیوز، دیدگاه‌های مختلفی مطرح شد. برخی برنامه‌نویسان قدیمی معتقدند برای سناریوهایی مثل لاگ رویدادها، همچنان استفاده از enum و union سنتی یا ساختارهای تخت ترجیح داده می‌شود. همچنین برخی کاربران نسبت به حالت‌های خاص در زمان حرکت دادن اشیاء (Move semantics) و بررسی وضعیت شیء انتقاداتی داشتند، اما به طور کلی استقبال از حذف کدهای تکراری clone() مثبت ارزیابی شد.