Ruby/Topics

البنية العامة

بنية اللغة

تعد روبي مزيجًا من اللغات البرمجية التالية: Perl، و Smalltalk، و Eiffel، و Ada، و Lisp وغيرها. انبثق عن هذا المزيج لغة برمجية جديدة حققت التوازن بين البرمجة الوظيفية (functional programming) والبرمجة الأمرية (imperative programming). بنية لغة روبي مشابهة إلى حد كبير بنية لغة Perl و Python. الفاصل السطري مهم جدًا في روبي، إذ يُعدُّ نهايةً لأي تعبير برمجي عوضًا عن الفاصلة المنقوطة. مع ذلك، يمكن استعمال الفاصلة المنقوطة لأداء الغرض ذاته. بشكل مخالف لبايثون، المسافة البادئة (indentation) غير مهمة على الإطلاق.

puts "Hello World!"

لغة روبي هي لغة كائنية التوجه، إذ يعدُّ كل شيء فيها كائنًا؛ أي يمكن أن يُعطَى كل بت من المعلومات أو الشيفرة خاصيات وأحداث خاصة به. تدعى الخاصيات في اللغة كائنية التوجه "متغيرات النسخة" (instance variables) والأحداث "توابع" (methods). يظهر ذلك جليًّا في السطر البرمجي الآتي عبر تطبيق حدثٍ على عددٍ:

5.times { print "We *love* Ruby -- it's outrageous!" }

في أغلب لغات البرمجة، لا تعد الأعداد والأنواع الأساسية كائناتٍ. أمَّا في روبي، فإنَّها تمنح جميع الأنواع فيها توابع ومتغيرات نسخة، إذ تأثرت في ذلك من لغة البرمجة Smalltalk. الكتلة block في روبي هي من أكثر الأمور التي تعطي لهذه اللغة المرونة الكبيرة. يستطيع المبرمج أن يرفق كتلة برمجية مع أي تابع لتوجيهه إلى السلوك الذي يجب على هذا التابع أن يسلكه. أُخذَت هذه الميزة من اللغات الوظيفية تحديدًا لغة Lisp. إليك المثال البسيط التالي الذي يشرح كيفية استعمال الكتلة:

search_engines =
  %w[Google Yahoo MSN].map do |engine|
    "http://www." + engine.downcase + ".com"
  end

في هذا المثال، يطبِّق التابع الكتلة - المحدَّدة بين الكلمتين do ... end - على كل كلمة من الكلمات المعطاة.

رغم أنَّ روبي تستعمل علامات الترقيم والرموز بشكل محدود جدًا وتفضل استعمال الكلمات المفتاحة عوضًا عنها إلا أنَّ هنالك بعض العلامات الموجودة والمستعملة. يستعمل بعض هذه الرموز والعلامات لتحديد نطاق المتغيرات؛ تذكر أنَّك لا تحتاج في روبي إلى التصريح عن متغير بأسلوب محدَّد.

var: يمكن أن يكون متغيِّرًا محليًّا.
var@: هو متغير نسخة.
var$: هو متغير عام.

الإسناد

لكي نسند شيئًا في لغة روبي، نستخدم رمز المساواة =؛ ففي المثال التّالي، يُسنَد العدد 5 إلى المتغيّر v المحلّي:

v = 5

فالإسناد يُنشئ متغيّرًا محلّيًا جديدًا إذا لم يكن قد عُرِّفَ من قبل.

استدعاء التوابع

عندما تستدعي تابعًا في روبي، فإنّك تمرّر رسالة لكائن معيّن لأجل تنفيذ مهمّة معيّنة، ويتمّ ذلك في روبي كالتّالي:

my_method()

لاحظ أنّ استخدام الأقواس المنحنية هنا اختياريّ:

my_method

المعتمد في هذا التّوثيق أن تُستخدّم الأقواس عند وجود المعامِلات لإزالة الالتباس، إلا في حالة وجود فرق بين وجود الأقواس وحذفها.

هذا القسم يغطّي فقط كيفيّة استدعاء التوابع.

تعابير التحكم

لدى لغة روبي العديد من الطرق للتحكم في مسار تنفيذ البرنامج، وكل البنى المذكورة هنا تعيد قيمةً. بنى التحكم الموجودة في روبي هي:

الاستثناءات

يتمّ التعامل مع الاستثناءات بعد الكلمة rescue في الكتلة begin/end:

begin
 # الشيفرة التي قد تسبب ظهور استثناء برمجي
rescue
 # معالجة الاستثناء
end

إذا كنت ضمن تابع، فلست بحاجة لاستخدام begin و end إلا إذا كنت ترغب بحدّ النّطاق الخاص بالاستثناء الذي ترغب بمعالجته:

def my_method
 # ...
rescue
 # ...
end

نفس الأمر يطبّق في الأصناف (classes) والوحدات (modules).

التعابير البرمجية

تنشئ التعابير البرمجية في لغة روبي كائنات يمكنك استخدامها في برنامجك؛ هذه التعابير تتضمّن:

التوابع

تتضمّن التوابع في لغة روبي الوظائف التي يقوم بها برنامجك. إليك هذا المثال لتعريف تابع بسيط:

def one_plus_one
 1 + 1
end

تعريف التابع يتكوّن من الكلمة المحجوزة def يتبعها اسم التابع، ثمّ جسم التابع، فالقيمة المعادة وفي النهاية الكلمة المحجوزة end. فعند تنفيذ التابع في المثال السابق، ستُعاد القيمة 2. هذا القسم سيغطّي تعريف التّوابع.

الوحدات والأصناف

تخدم الوحدات (Modules) غايتين اثنتين في لغة روبي وهما: ميّزة نطاقات الأسماء (namespace)، والخلط الضمني (mix-in) التي سنوضّحها لاحقًا. أما الأصناف، فهي وحدات إلا أنّها لا يمكن استخدامها للخلط الضمنيّ (mix-in) ضمن وحدات أو أصناف أخرى. ويمكن استخدام الأصناف كالوحدات في حجز نطاق الأسماء، كما يمكن للصنف أن يرث التوابع والثوابت من الأصناف الأكبر.

التحسينات

إن ميّزة الأصناف المفتوحة في لغة روبي تسمح لك بإعادة تعريف أو إضافة وظائف إلى أصناف معرّفة مسبقًا. وهذا ما يسمى بمصطلح "ترقيع القرد" (monkey patch). المشكلة هنا أنَّ تعديلات من هذا النوع تكون مرئيّة على المستوى العام (global)، وبالتالي جميع مستخدمي الصنف المرقّع قادرون على رؤية هذه التغييرات، ممّا قد يسبّب تأثيرات جانبيّة غير محسوبة أو حتى عطب في البرامج.

تأتي التحسينات هنا لتقلّل أثر ترقيع القرد على مستخدمي الصنف الآخرين، إذ تقدّم طريقة لتوسيع الصنف محليًّا.

الأولويات

يوضح هذا القسم أولوية العمليات في روبي من الأعلى إلى الأدنى، إذ تُنفَّذ العمليات ذات الأولوية العليا قبل العمليات ذات الأولوية الأقل منها عند وجودها في نفس التعبير أو السطر البرمجي في الشيفرة.

صيغ متنوعة

يتطرَّق هذا القسم إلى شرح بقية الصيغ والبنى المستعملة في روبي والتي لم تُشمَل في الأقسام السابقة. ستجد فيه شرحًا حول الصيغة المستعملة في إنهاء التعبيرات البرمجية في روبي، وكيفية استعمال المسافات البادئة بالإضافة إلى شرح الكلمات المفتاحية alias، و undef، و ?defined، و BEGIN، و END.

الأصناف والوحدات

`ARGF`

الصنف ARGF هو مجرى (stream) صُمِّم ليُستخدَم في الملفات البرمجية (scritps) التي تُعالج الملفات المُمرَّرة إليها على شكل وسائط في سطر الأوامر (command-line arguments)، أو المُمرَّرة عبر مجرى الدخل القياسي (STDIN).

`ArgumentError`

يُطلق الاستثناء ArgumentError عندما تكون الوسائط (arguments) غير صالحة، ولا يكون هناك صنف Exception أكثر تحديدًا.

`Array`

المصفوفات هي مجموعات مُرتَّبة ومُفهرسة بالأعداد الصحيحة (integer-indexed) ومُكونة من أي نوع من الكائنات.

`BasicObject`

الصنف BasicObject هو الصنف الأب لجميع الأصناف في روبي، وهو صنف فارغ.

`Binding`

تُغلِّف كائنات الصنف Binding سياق التنفيذ (execution context) في مكان معين في الشيفرة البرمجية، وتحتفظ بذلك السياق لاستخدامه مستقبلًا. يُحتفَظ بالمتغيرات، والتوابع، وقيمةself، وربما كتلة المكرر (iterator block) وكل ما يمكن الوصول إليه في هذا السياق. يمكن إنشاء كائنات الصنف Binding باستخدام التابع Kernel.binding، واستدعاؤها بوساطة التابع Kernel.set_trace_func.

`Class`

تُعدُّ الأصناف كائناتٍ من الدرجة الأولى (first-class objects) في روبي، وتعدُّ جميعها نُسخٌ من الصنف Class.

`ClosedQueueError`

`Comparable`

يُستخدم المخلوط (mixin) ‏Comparable من قبل الأصناف التي يمكن ترتيب كائناتها. يجب أن يحدِّد الصنفُ المعاملَ <=> ، الذي يوازن الكائن المستقبِل (receiver) مع كائن آخر ، ويعيد ‎-1، أو 0، أو ‎+1 إن كان المُستقبِل أصغر من الكائن الآخر، أو يساويه، أو أكبر منه على التوالي.

`Complex`

يمكن تمثيل الأعداد العقدية (تُسمّى أيضًا أعدادًا مركبةً [complex number]) كزوج مكون من عدد حقيقي ووحدة تخلية (العدد i) وفق الشكل a+bi، إذ a هو الجزء الحقيقي، و b هو الجزء التخيلي و i هو الوحدة الخيالية.

`Complex::compatible`

`ConditionVariable`

توسع كائنات الصنف ConditionVariable عمل الصنف Mutex. فمن الممكن باستخدام المتغيرات الشرطية إيقاف مهمة حرجة (critical section) في أثناء تنفيذها إلى حين إتاحة مورد ما.

`Continuation`

تُولّد الكائنات Continuation بواسطة التابع Kernel.callcc بعد استيراد continuation عبر require. تحمل هذه الكائنات عنوان العودة (return address) وسياق التنفيذ (execution context)، مما يتيح العودة إلى نهاية الكتلة callcc من أي مكان في البرنامج.

`Data`

`Dir`

كائنات الصنف Dir هي مجاري مجلدات (directory streams) تمثِّل الجلدات في نظام الملفات الأساسي لنظام التشغيل. فهي توفر طرائق متعددة لعرض المجلدات ومحتوياتها. انظر أيضًا صفحة الصنف File لمزيد من المعلومات.

`ENV`

يشبه الصنف ENV الجداول Hash كثيرًا ويُستعمل للوصول إلى متغيرات البيئة.

`EOFError`

يٌطلَق الخطأ EOFError من طرف بعض عمليات الصنف IO عندما تصل إلى نهاية الملف.

`Encoding`

يمثل الصنف Encoding ترميز المحارف الذي يمكننا استخدامه في لغة روبي.

`Encoding::CompatibilityError`

يُرمى الاستثناء CompatibilityError من قبل توابع الصّنفين String و Encoding عندما لا يتوافق ترميز المصدر مع ترميز الهدف.

`Encoding::Converter`

يُستعمَل الصنف Encoding::Converter في عمليات تحويل الترميز في السلاسل النصية.

`Encoding::ConverterNotFoundError`

يُرمى الاستثناء ConverterNotFoundError من قبل توابع تبديل التّرميز (transcoding) عندما لا يتوافق ترميزٌ باسمٍ معيّنٍ مع محوّلٍ (converter) محدَّد.

`Encoding::InvalidByteSequenceError`

يُرمَى الاستنثناء InvalidByteSequenceError من قبل توابع الصّنفين String و Encoding عندما تحوي السّلسلة النّصية التي يجري تحويل ترميزها بايتًا غير صالح إما للتّرميز المصدر أو التّرميز الهدف المراد التحويل إليه.

`Encoding::UndefinedConversionError`

يُرمَى الاستثناء UndefinedConversionError من قبل توابع الصّنفين String و Encoding عندما تفشل عملية تبديل التّرميز (transcoding).

`EncodingError`

يُمثِّل الصنف EncodingError الصِّنفَ القاعديَّ (base class) لجميعِ أخطاء التّرميز (الصنف Encoding).

`Enumerable`

`Enumerator`

`Enumerator::Generator`

`Enumerator::Lazy`

`Enumerator::Yielder`

`Errno`

تُنشَأ الوحدة Errno ديناميكيًّا لتنظيم تفاصيل الأخطاء تُبلِّغ أنظمة عنها وإرسالها إلى أصناف روبي، مع توليد صنف فرعي من الصنف SystemCallError خاص بكل رقم خطأٍ.

`Exception`

تُستخدَم الكائنات السليلة من الصنف Exception للتواصل بين التّابع Kernel.raise وتصريحات rescue في الكتل (blocks) من الشكل begin...end. تَحمل كائنات الصنفException معلوماتٍ عن الاستثناء المَرمي مثل نوعه (اسم صنف الاستثناء)، وسلسلةً نصيّةً وصفيّةً اختياريّة، ومعلوماتِ تتبّعٍ اختيارية.

`FalseClass`

القيمة false العامة (global) هي النسخة الوحيدة من الصنف FalseClass وتمثِّل قيمة الخطأ (false) في التعابير المنطقية (boolean expressions). يوفر هذا الصنف معاملات تسمح للقيمة false بالمساهمة بشكل صحيح في التعابير المنطقية.

`Fiber`

الألياف (Fibers) هي حقولٌ أساسيّةٌ (primitives) تُستخدم في تنفيذ تعدّد المهام التشاركي (cooperative concurrency) للمهام الخفيفة (light weight) أي التي تستهلك جزءًا صغيرًا من الذاكرة.

`FiberError`

يُرمى الاستثناء FiberError عند محاولة إجراء عمليّةٌ غير صحيحةٍ في الصنف Fiber، تحديدًا عند محاولة استدعاء/استئناف ليف ميِّت، أو محاولة التّوليد من الليف الجذر (root fiber)، أو استدعاء ليفٍ عبر خيوطٍ (threads).

`File`

`File::Constants`

`File::Stat`

`FileTest`

`Float`

`FloatDomainError`

`FrozenError`

`GC`

`GC::Profiler`

`Hash`

`IO`

`IO::EAGAINWaitReadable`

`IO::EAGAINWaitWritable`

`IO::EINPROGRESSWaitReadable`

`IO::EINPROGRESSWaitWritable`

`IO::EWOULDBLOCKWaitReadable`

`IO::EWOULDBLOCKWaitWritable`

`IO::WaitReadable`

`IO::WaitWritable`

`IOError`

`IndexError`

`Integer`

يمثل الصنف Integer الأعداد الصحيحة.

`Interrupt`

يُطلق الاستثناء Interrupt عند استقبال إشارة المقاطعة (interrupt signal)، عادةً لأن المستخدم ضغط على Ctrl-C (على معظم منصات POSIX). وعلى هذا النحو، فهو صنف فرعي منSignalException.

`Kernel`

تُضمَّن الوحدة Kernel من طرف الصنف Object، لذلك فتوابعها متاحة في كل كائنات روبي. توابع نسخ الصنف Kernel مُوثّقة في صفحة الصنف Object، أما توابع الوحدة Kernel فهي مُوثقة في هذا القسم.

`KeyError`

يُطلق الاستثناء KeyError عندما لا يكون المفتاح (key) المُحدد موجودًا، وهو صنف فرعي من IndexError.

`LoadError`

يُطلق الاستثناء LoadError عند فشل تحميل الملف المطلوب (شيفرة روبي، مكتبة ملحقة، ...إلخ.).

`LocalJumpError`

يُطلق الاستثناء LocalJumpError عندما لا تتمكن روبي من الإعادة (yield) كما هو مطلوب.

`Marshal`

تحوّل المكتبة Marshal مجموعات من كائنات روبي إلى مجرى من البايتات (byte stream)، مما يسمح بتخزينها خارج البرنامج النصي النشط حاليًا. يمكن بعد ذلك قراءة تلك البيانات وإعادة إنشاء الكائنات الأصلية أنشئت منها.

`MatchData`

الصنف MatchData هو نوع المتغير الخاص ‎$~‎ ، كما أنه نوع الكائنات المُعادة من Regexp.match و Regexp.last_match. فهو يغلف ويستوعب جميع نتائج التطابق مع تعبير نمطي. يمكن الوصول إلى النتائج من خلال المتغيرات الخاصة ‎$&‎ و ‎$'‎ و $ و ‎$`‎ و ‎$1 و ‎$2 وهكذا دواليك.

`Math`

تحوي الوحدة Math الدوال المثلثية والمتسامية (transcendental functions، وتدعى أيضًا الدوال اللاجبرية) الأساسية. راجع صفحة الصنف Float للحصول على قائمة الثوابت التي تحدد دقة الأعداد العشرية (floating point) في روبي.

`Math::DomainError`

يُطلَق الخطأ DomainError عند محاولة تقييم دالة رياضية خارج مجال تعريفها.

`Method`

يتم إنشاء كائنات الصنف Method بواسطة التابع Object.method، وترتبط بكائن معين (وليس بالصنف وحسب). ويمكن استخدامها لاستدعاء التابع داخل الكائن، أو ككتلة (block) مرتبطة بمكرر (iterator). كما يمكن فك ارتباطها (unbound) من كائن محدد (سيؤدي ذلك إلى إنشاء الكائن UnboundMethod) ثم ربطها بآخر.

`Module`

الصنف Module هو مجموعة من التوابع والثوابت. التوابع الموجودة في الوحدات Module قد تكون إما توابع نسخة (instance methods)، أو توابع وحدة (module methods). توابع النسخة تظهر كتوابع في صنفٍ عند تضمين الوحدة، وذلك على خلاف توابع الوحدة. وعلى النقيض، يمكن استدعاء توابع الوحدة دون إنشاء كائن يُغلفها، بينما قد لا يمكن فعل ذلك مع توابع النسخة. انظر صفحة module_function.