برمجة القوالب الوصفية

uint32_t factorial ( uint32_t n ) { return n == 0 ? 1 : n * factorial ( n - 1 ); }// أمثلة على الاستخدام: // دالة المضروب (0) ستنتج 1؛ // دالة المضروب (4) ستنتج 24.

template < uint32_t N > struct Factorial { static constexpr uint32_t VALUE = N * Factorial < N - 1 >:: VALUE ; };template <> struct Factorial < 0 > { static constexpr uint32_t VALUE = 1 ; };// أمثلة على الاستخدام: // دالة Factorial<0>::value ستنتج 1؛ // دالة Factorial<4>::value ستنتج 24.

template < int Length > ColumnVector < Length >& ColumnVector < Length >:: operator += ( const Vector < Length >& rhs ) { for ( int i = 0 ; i < Length ; ++ i ) { value [ i ] += rhs . value [ i ]; } return * this ; }

template < > ColumnVector <2> & ColumnVector <2> :: operator + = ( const ColumnVector <2> & rhs ) { value [ 0 ] + = rhs.value [ 0 ] ; value [ 1 ] + = rhs.value [ 1 ] ; return * this ; }​

class Base { public : virtual void method () { std :: println ( "Base" ); }virtual ~ Base () {} };class Derived : public Base { public : virtual void method () { std :: println ( "Derived" ); } };int main () { Base * b = new Derived ; b -> method (); // يُخرج "Derived" delete b ; return 0 ; }

template < typename Child > struct Base { void myMethod () { // ... static_cast < Child *> ( this ) -> myImplementation (); // ... } };struct Derived : Base < Derived > { void myImplementation () { // ... } };

استيراد std ؛باستخدام std :: array ;constexpr int TABLE_SIZE = 10 ;/** * قالب متغير الوسائط لبنية مساعدة متكررة. */ template < int Index = 0 , int ... D > struct Helper : Helper < Index + 1 , D ..., Index * Index > { };/** * تخصيص القالب لإنهاء الاستدعاء الذاتي عندما يصل حجم الجدول إلى TABLE_SIZE. */ template < int ... D > struct Helper < TABLE_SIZE , D ... > { static constexpr array < int , TABLE_SIZE > TABLE = { D ... }; } ;constexpr array < int , TABLE_SIZE > TABLE = Helper <>:: TABLE ;enum class Numbers { FOUR = TABLE [ 2 ] // استخدام وقت الترجمة };int main () { for ( int i : TABLE ) { std :: println ( "{}" , i ); // استخدام وقت التشغيل } std :: println ( "FOUR: {}" , Numbers :: FOUR ); }

استيراد std ؛باستخدام std :: array ;template < int Index = 0 , int ... D > struct Helper : Helper < Index + 1 , D ..., Index * Index > {}; template <> struct Helper < 0 , <>> : Helper < 0 + 1 , 0 * 0 > {}; template <> struct Helper < 1 , < 0 >> : Helper < 1 + 1 , 0 , 1 * 1 > {}; template <> struct Helper < 2 , < 0 , 1 >> : Helper < 2 + 1 , 0 , 1 , 2 * 2 > {}; template <> struct Helper < 3 , < 0 , 1 , 4 >> : Helper < 3 + 1 , 0 , 1 , 4 , 3 * 3 > {}; template <> struct Helper < 4 , < 0 , 1 , 4 , 9 >> : Helper < 4 + 1 , 0 , 1 , 4 , 9 , 4 * 4 > {}; template <> struct Helper < 5 , < 0 , 1 , 4 , 9 , 16 >> : Helper < 5 + 1 , 0 , 1 ,4 ، 9, 16 , 5 * 5 > {}; template <> struct Helper < 6 , < 0 , 1 , 4 , 9 , 16 , 25 >> : Helper < 6 + 1 , 0 , 1 , 4 , 9 , 16 , 25 , 6 * 6 > {}; template <> struct Helper < 7 , < 0 , 1 , 4 , 9 , 16 , 25 , 36 >> : Helper < 7 + 1 , 0 , 1 , 4 , 9 , 16 , 25 , 36 , 7 * 7 > {}; قالب <> بنية Helper < 8 , < 0 , 1 , 4 , 9 , 16 , 25 , 36 , 49 >> : Helper < 8 + 1 , 0 , 1 , 4 , 9 , 16 , 25 , 36 , 49 , 8 * 8 > {}; قالب <> بنية Helper < 9 , < 0 , 1 , 4 , 9 , 16 , 25 , 36 , 49 , 64 >> : Helper < 9 + 1 , 0 , 1 , 4 , 9 , 16 , 25 , 36 , 49 , 64 , 9* 9 > {}; template <> struct Helper < 10 , < 0 , 1 , 4 , 9 , 16 , 25 , 36 , 49 , 64 , 81 >> { static constexpr array < int , TABLE_SIZE > TABLE = { 0 , 1 , 4 , 9 , 16 , 25 , 36 , 49 , 64 , 81 }; };

استيراد std ؛باستخدام std :: array ;constexpr int TABLE_SIZE = 10 ;constexpr array < int , TABLE_SIZE > TABLE = []() -> array < int , TABLE_SIZE > { array < int , TABLE_SIZE > a = {}; for ( size_t i = 0 ; i < TABLE_SIZE ; i ++ ) { a [ i ] = i * i ; } return a ; }();enum class Numbers { FOUR = TABLE [ 2 ] // استخدام وقت الترجمة };int main () { for ( int i : TABLE ) { std :: println ( "{}" , i ); // استخدام وقت التشغيل } std :: println ( "FOUR: {}" , Numbers :: FOUR ); }

استيراد std ؛باستخدام std :: array ;constexpr int TABLE_SIZE = 20 ; constexpr int OFFSET = 12 ;/** * قالب لحساب مدخل جدول واحد */ template < typename ValueType , ValueType Offset , ValueType Index > struct ValueHelper { static constexpr ValueType VALUE = Offset + Index * Index ; };/** * قالب متغير الوسائط لبنية مساعدة تكرارية. */ template < typename ValueType , ValueType Offset , int N = 0 , ValueType ... D > struct Helper : Helper < ValueType , Offset , N + 1 , D ..., ValueHelper < ValueType , Offset , N >:: VALUE > { };/** * تخصيص القالب لإنهاء التكرار عندما يصل حجم الجدول إلى TABLE_SIZE. */ template < typename ValueType , ValueType Offset , ValueType ... D > struct Helper < ValueType , Offset , TABLE_SIZE , D ... > { static constexpr array < ValueType , TABLE_SIZE > TABLE = { D ... }; };constexpr array < uint16_t , TABLE_SIZE > TABLE = Helper < uint16_t , OFFSET >:: TABLE ;int main () { for ( int i : TABLE ) { std :: println ( "{}" , i ); } }

استيراد std ؛باستخدام std :: array ;constexpr int TABLE_SIZE = 20 ; constexpr int OFFSET = 12 ;template < typename ValueType , int Offset > constexpr array < ValueType , TABLE_SIZE > TABLE = []() -> array < ValueType , TABLE_SIZE > { array < ValueType , TABLE_SIZE > A = {}; for ( size_t i = 0 ; i < TABLE_SIZE ; i ++ ) { a [ i ] = Offset + i * i ; } return A ; }();int main () { for ( int i : TABLE < uint16_t , OFFSET > ) { std :: pritnln ( "{}" , i ); } }

import std ; import boost.type_index ; // لعرض أنواع البيانات بشكل مُنسقباستخدام std :: tuple ؛ باستخدام boost :: typeindex :: type_id ؛/** * تمثيل نوعي للكلمات المراد طباعتها */ struct Fizz {}; struct Buzz {}; struct FizzBuzz {}; template < size_t M > struct Number { constexpr static size_t N = M ; };/** * المفاهيم المستخدمة لتحديد شروط التخصيص */ template < typename A > concept HasN = requires { requires A :: N - A :: N == 0 ; };template < typename A > concept FizzConc = HasN < A > && requires { requires A :: N % 3 == 0 ; };template < typename A > concept BuzzConc = HasN < A > && requires { requires A :: N % 5 == 0 ; };template < typename A > concept FizzBuzzC = FizzConc < A > && BuzzConc < A > ;/** * من خلال تخصيص بنية `res`، مع متطلبات المفاهيم، يتم تنفيذ الإنشاء الصحيح */ template < typename X > struct Res ;template < FizzBuzzConc X > struct Res < X > { using Result = FizzBuzz ; };template < FizzConc X > struct Res < X > { using Result = Fizz ; };template < BuzzConc X > struct Res < X > { using Result = Buzz ; };template < HasN X > struct Res < X > { using Result = X ; };/** * تعريف مسبق لدالة الربط */ template < size_t Concat , typename ... Args > struct Concatenator ;/** * طريقة تكرارية لدمج الأنواع التالية */ template < size_t Concat , typename ... Args > struct Concatenator < Concat , tuple < Args ... >> { using Type = typename Concatenator < Concat - 1 , tuple < typename Res < Number < Concat >>:: Result , Args ... >>:: Type ; };/** * الحالة الأساسية */ template < typename ... Args > struct Concatenator < 0 , tuple < Args ... >> { using Type = tuple < Args ... > ; };/** * دالة جلب النتيجة النهائية */ template < size_t Amount > using FizzBuzzFull = typename Concatenator < Amount - 1 , tuple < typename Res < Number < Amount >>:: Result >>:: Type ;int main ( int argc , char * argv []) { // طباعة النتيجة باستخدام boost.type_index، لتكون واضحة std :: println ( "{}" , type_id < fizz_buzz_full_template < 100 >> (). pretty_name ()); } /* النتيجة:  std::tuple<Number<1ul>, Number<2ul>, Fizz, Number<4ul>, Buzz, Fizz, Number<7ul>, Number<8ul>, Fizz, Buzz, Number<11ul>, Fizz, Number<13ul>, Number<14ul>, FizzBuzz, Number<16ul>, Number<17ul>, Fizz, Number<19ul>, Buzz, Fizz, Number<22ul>, Number<23ul>, Fizz, Buzz, Number<26ul>, Fizz, Number<28ul>, Number<29ul>, FizzBuzz, Number<31ul>, Number<32ul>, Fizz, Number<34ul>, Buzz, Fizz, Number<37ul>, Number<38ul>, Fizz, Buzz, Number<41ul>, Fizz, Number<43ul>, Number<44ul>, فيز باز، رقم 46، رقم 47، فيز، رقم 49، باز، فيز، رقم 52، رقم 53، فيز، باز، رقم 56، فيز، رقم 58، رقم 59، فيز باز، رقم 61، رقم 62، فيز، رقم 64، باز، فيز، رقم 67، رقم 68، فيز، باز، رقم 71، فيز، رقم 73، رقم 74، فيز باز، رقم 76، رقم 77، فيز، رقم 79، باز، فيز، رقم 82، رقم 83، فيز، باز، رقم 86، فيز، رقم 88، ​​رقم 89، فيز باز رقم<91ul>، رقم<92ul>، فيز، رقم<94ul>، باز، فيز، رقم<97ul>، رقم<98ul>، فيز، باز> */