Ahmed1
السلام عليكم،
أهلا بعودتكم !
مثالكم على صواب؛ لأن المؤشرات و متغيرات المصفوفات (مؤشرات كذلك) لا تحمل أي معلومة لكونها ليس شيئا مهيكلا.
في اللغات الكائنية الطول مدمج داخل الشيء؛
مثلا النوع 'الخوارزم.أنموذج.صفيف' يماثل هذه الحالة و يشمل جميع الأنوات نظرا لاستعمال الأنموذجيات. ك 'الخورازم.أنموذج.قائمة' المستعمل في أمثلة_رسم.خ
لكن بالنسبة للصفوفات احادية البعد،
(عذرا لم يتسنى بعد الافراج عنه حاليا) :
النوع عنصر_مكون شيء {
قيمة !نوع
}؛
النوع صفيف ۢ شيء {
طولها صحيح طبيعي
حجمها صحيح طبيعي
مكون ۢ عنصر_مكون !<!نوع>!
}؛
عند الاستعمال : المتغير مصفوفة صفيف!<صحيح>!
إذا كنتم تريدون عدم استعمال الطول كمنطلق للدالة، فيمكن وضع قيمة توقف داخل الصفيف؛ أو تطويع نوعكم الخاص من المصفوفات كاللغات الكائنية.
الخوارزم ك معضم اللغات ثابتة-التنويع statically-typed، ان صحت الترجمة، إذ يعرف النوع عند الترجمة و ليس عند التنفيذ.
كما أن استعمال حجم(مصفوفة) \حجم(صحيح) لاستنباط الطول لا يعمل الا اذا كان حجم المصفوفة واضحا للمترجم في النطاق الحالي.
اذا كان ليكم أي تساؤل آخر أو إضافة على ضوء ما تيسر آنفا فيسعدنا المشاركة.
