الفرق بين المراجعتين لصفحة: «Kotlin/equality»
أنشأ الصفحة ب'<noinclude>{{DISPLAYTITLE:التساوي (Equality) في لغة Kotlin}}</noinclude> تحتوي لغة Kotlin على نوعين من التساوي: * '''التساوي...' |
طلا ملخص تعديل |
||
| سطر 7: | سطر 7: | ||
يعتمد التساوي البنيويّ على المعامل <code>==</code> ونفيه <code>=!</code> ، إذ يُترجَم التعبير <code>a == b</code> إلى الصيغة:<syntaxhighlight lang="kotlin"> | يعتمد التساوي البنيويّ على المعامل <code>==</code> ونفيه <code>=!</code> ، إذ يُترجَم التعبير <code>a == b</code> إلى الصيغة:<syntaxhighlight lang="kotlin"> | ||
a?.equals(b) ?: (b === null) | a?.equals(b) ?: (b === null) | ||
</syntaxhighlight>فإن لم يحتوِ المتحوّل <code>a</code> على القيمة الفارغة <code>null</code> | </syntaxhighlight>فإن لم يحتوِ المتحوّل <code>a</code> على القيمة الفارغة <code>null</code> فستُستدعَى الدالة<code>equals(Any?)</code> ، أما إن كانت قيمته <code>null</code> فيجري التحقُّق من أنّ <code>b</code> مساوٍ -مرجعيًّا- للقيمة <code>null</code>. | ||
ولا حاجة للمقارنة الصريحة (explicit) مع القيمة <code>null</code> في الشيفرة لأنّ التعبير <code>a == null</code> سيُترجَم تلقائيًا إلى الصيغة <code>a === null</code>. | ولا حاجة للمقارنة الصريحة الصارمة (explicit) مع القيمة <code>null</code> في الشيفرة لأنّ التعبير <code>a == null</code> سيُترجَم تلقائيًا إلى الصيغة <code>a === null</code>. | ||
== تساوي أعداد الفاصلة العائمة == | == تساوي أعداد الفاصلة العائمة == | ||
مراجعة 02:52، 19 مارس 2018
تحتوي لغة Kotlin على نوعين من التساوي:
- التساوي البنيويّ (structural equality): يكون التحقُّق فيه عبر الدالة
equals(). - التساوي المرجعيّ (referential equality): وهو التحقُّق من الإشارة إلى نفس الكائن (object).
التساوي البنيويّ (Structural Equality)
يعتمد التساوي البنيويّ على المعامل == ونفيه =! ، إذ يُترجَم التعبير a == b إلى الصيغة:
a?.equals(b) ?: (b === null)
فإن لم يحتوِ المتحوّل a على القيمة الفارغة null فستُستدعَى الدالةequals(Any?) ، أما إن كانت قيمته null فيجري التحقُّق من أنّ b مساوٍ -مرجعيًّا- للقيمة null.
ولا حاجة للمقارنة الصريحة الصارمة (explicit) مع القيمة null في الشيفرة لأنّ التعبير a == null سيُترجَم تلقائيًا إلى الصيغة a === null.
تساوي أعداد الفاصلة العائمة
تخضع عملية المقارنة للمعايير القياسيّة IEEE 754 للعمليات الحسابيّة على أعداد الفاصلة العائمة إن كان المتحولان (operands) على طرفيّ المساواة مُعرَّفان ستاتيكيًّا من النوع Float أو Double (سواءً أكانت القيمة null أم لا).
ويُستخدَم التساوي البنيويّ (structural equality) في الحالات الأخرى، والذي لا يوافق المعايير القياسيّة فلذلك تكون القيمة NaN مساويةً لنفسها وتختلف القيمتان 0.0- و 0.0 عن بعضهما.
راجع مقارنة أعداد الفاصلة العائمة.
التساوي المرجعيّ (Referential Equality)
يعتمد على المعامل === ونفيه ==! حيث ستنتُج القيمة true عن الشرط a === b فقط وفقط إذا كان كلا المتحولين a و b يشيران لنفس الكائن (object)، أمّا عندما تكون القيم مُمثَّلةً بأنواعٍ أساسيّةٍ (primitive types) أثناء التنفيذ (مثل النوع Int) فيكون المعامل === حينئذٍ مكافئًا للمعامل ==.