البرمجة الفوقية: معايير اختيار القالب البديل لتعريف الوظيفة

يستكشف هذا السؤال مفهوم تعريف القالب بناءً على قدرة النوع على التحويل إلى سلسلة. يستخدم الكود الأصلي سمة النوع is_arithmetic، ولكن الاقتراح هو بدلاً من ذلك استخدام معيار يقيم ما إذا كان to_string محددًا للنوع.

ومع ذلك، فإن عكس هذا المعيار، وهو تحديد متى لم يتم تعريف to_string، يثبت صعبة. فشل التعليمة البرمجية التالية:

template enable_if_t
لمعالجة هذا الأمر، تقترح الإجابة استخدام سمة النوع void_t الخاصة بـ Walter Brown، والتي تسمح بإنشاء ما يلي:
template<typename T, typename = void>
struct has_to_string
: std::false_type { };

template<typename T>
struct has_to_string<T, 
    void_t<decltype(std::to_string(std::declval<T>()))>
    > 
: std::true_type { };
 تقوم سمة النوع هذه بتقييم ما إذا كانت to_string محددة لنوع معين، وبالتالي توفير معيار اختيار قالب بديل يتوافق بشكل أكثر دقة مع الهدف الأصلي.