توقيع النوع

في لغة C، يكون توقيع الطريقة هو اسم الطريقة وعدد ونوع معلماتها، ولكن من الممكن أن يكون هناك معلمات متغيرة ، ولكن هذه ليست آمنة من حيث النوع.

int printf ( const char * fmt , ...);

يمكن إجراء التلاعب بهذه المعلمات باستخدام الإجراءات الموجودة في رأس المكتبة القياسية <stdarg.h>.

في لغة C++، بالإضافة إلى نوع الإرجاع الخاص بالدوال على نمط لغة C والذي يظهر قبل قائمة المعاملات، يمكن أن يأتي نوع الإرجاع أيضًا بعد قائمة المعاملات، ويُشار إلى ذلك بنوع الإرجاع اللاحق . الفرق هو فرق نحوي فقط؛ ففي كلتا الحالتين، تكون الصيغة الناتجة متطابقة.

في حالة استخدام القوالب المتغيرة :

void doSomething ( auto && ... args );

ملاحظة تعادل .voiddoSomething(auto...args);template<typename...Ts>voiddoSomething(Ts...args);

على غرار بناء جملة لغة C، تتكون توقيعات الأساليب في لغة C# من اسم وعدد ونوع معلمات هذه الطريقة، حيث قد تكون المعلمة الأخيرة عبارة عن مصفوفة من القيم: ^{[ 5 ]}

void Add ( out int sum , params int [] value ); [...] Add ( out sum , 3 , 5 , 7 , 11 , - 1 ); // sum == 25

في لغة جافا ، يتكون توقيع الدالة من اسمها وعدد ونوع وترتيب معاملاتها. لا تُعتبر أنواع القيم المُعادة والاستثناءات المُثارة جزءًا من توقيع الدالة، ولا أسماء المعاملات؛ إذ يتجاهلها المُصرّف عند التحقق من تفرد الدالة.

تساعد توقيعات الدوال في التمييز بين الدوال المُحمّلة (الدوال التي تحمل نفس الاسم) في الصنف. لا تُعتبر أنواع الإرجاع جزءًا من التحميل الزائد. يجب استخدام توقيعات الدوال فقط للتمييز بين الدوال المُحمّلة. ^{[ 6 ]}

على سبيل المثال، الطريقتان التاليتان لهما توقيعات مختلفة:

void doSomething ( String [] x ); // doSomething(String[]) void doSomething ( String x ); // doSomething(String)

الطريقتان التاليتان لهما نفس التوقيع:

دالة `doSomething ( int x ); ` // دالة `doSomething(int)` دالة `doSomething ( int y )` تُطلق استثناءً // دالة `doSomething(int)`

تُمثَّل المعاملات المتغيرة في لغة جافا بعلامة الحذف (...) على المعامل الأخير. وتتصرف هذه المعاملات تمامًا مثل المصفوفة، ولكن في بايت كود JVM، يُشار إلى الدالة بعلامة "متغيرة".

void doSomething ( String ... x ); // مكافئ لـ doSomething(String[])

في لغة جوليا ، تأخذ توقيعات الدوال الشكل التالي:

العمولة ( بيع :: عدد صحيح ، معدل :: عدد عشري 64 بت ) :: عدد عشري 64 بت

تُستخدم أنواع الوسائط في عملية الإرسال المتعدد . يتم التحقق من صحة نوع القيمة المُعادة عند إرجاع الدالة قيمة، ويتم طرح استثناء وقت التشغيل إذا كان نوع القيمة لا يتطابق مع النوع المحدد.

يُسمح باستخدام الأنواع المجردة، بل ويُشجع عليها، لتطبيق سلوك عام مشترك بين جميع الأنواع الفرعية. لذا، يمكن إعادة كتابة الدالة المذكورة أعلاه على النحو التالي. في هذه الحالة، يمكن للدالة قبول أي نوع فرعي من نوعي Integer و Real.

العمولة ( البيع :: عدد صحيح ، المعدل :: عدد حقيقي ) :: عدد حقيقي

تُعدّ أنواع الوسائط في الدوال اختيارية تمامًا. وعند عدم تحديدها، يُعادل ذلك استخدام النوع Any، وهو النوع الأساسي لجميع الأنواع. ومن المتعارف عليه تحديد أنواع الوسائط دون تحديد نوع القيمة المُعادة.

في لغة البرمجة Objective-C ، يتم تعريف توقيعات الدوال للكائن في ملف رأس الواجهة . على سبيل المثال،

- ( id ) initWithInt: ( int ) value ;

يُعرّف هذا الأسلوب initWithIntدالة تُعيد كائنًا عامًا (كائنًا من نوع `<object>` id) وتأخذ وسيطًا واحدًا من نوع عدد صحيح. لا يتطلب Objective-C تحديد نوع الكائن صراحةً في التوقيع إلا إذا لم يكن من نوع `<object>` id؛ وهذا التوقيع مكافئ له:

- initWithInt: ( int ) value ;

في لغة Rust ، تأخذ توقيعات الدوال الشكل التالي:

fn commission ( sale : u32 , rate : f64 ) -> f64 ;