مؤشر (لغات البرمجة)

عند القيام بإعداد تراكيب البيانات مثل القوائم والأشجار، فإنه من الضروري استخدام المؤشرات للمساعدة في الطريقة التي تتم بها معالجة البيانات والتحكم بها.

إن المؤشرات مدعومة مباشرة ودون قيود في لغات مثل سي، سي++، باسكال ومعظم لغات التجميع. وهي تستخدم أساساً في بناء المراجع والتي تتسع بدورها تقريباً لبناء كل تراكيب البيانات وأيضا في تمرير البيانات بين الأجزاء المختلفة من البرنامج.

في لغات البرمجة المعتمدة على الدوال والتي تستند بشكل كبير إلى القوائم؛ يتم التحكم بالمؤشرات والمراجع من اللغة باستخدام التركيبات الداخلية مثل cons.

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

تستخدم المؤشرات في تمرير المعاملات باستخدام مراجع لها، ويكون هذا مفيداً إذا أردنا أن يكون تعديل الدالة للمعامل مرئياً للجزء الذي قام باستدعائها. وهذا مفيد أيضا في إرجاع عدة قيم من دالة.

الصيغة الأساسية للإعلان عن مؤشر هي:

int *money;

حيث يقوم هذا بالإعلان عن money كمؤشر إلى عدد صحيح. وحيث أن محتويات الذاكرة لا يضمن ما هي القيمة التي من الممكن أن تحتويها في لغة السي، فيجب توخي الحذر للتأكد من أن العنوان الذي يشير إليه money هو عنوان صالح، ولهذا يرى البعض استهلال المؤشر بالقيمة NULL.

int *money = NULL;

عندما يتم تتبع مؤشر له القيمة NULL فحينها يحدث خطأ تشغيل ويتوقف التنفيذ عادة مع segmentation fault. وبعد الإعلان عن مؤشر فإن الخطوة المنطقية التالية هي جعله يشير إلى شيء ما.

int a = 5;
int *money = NULL;

money = &a;

ويقوم هذا بإسناد عنوان الذاكرة للمتغير الصحيح a إلى قيمة المؤشر money، على سبيل المثال إذا كان المتغير a مخزن في الذاكرة عند الموقع 0x8130 فستكون قيمة money هي 0x8130 بعد الإسناد. ولتتبع المؤشر يتم استخدام علامة النجمة * مرة أخرى:

*money = 8;

ويخبر هذا مترجم الكود بأن يأخذ محتويات المؤشر money والتي هي 0x8130، وينتقل إلى ذلك العنوان ويعين القيمة المخزنة به إلى 8. بعد ذلك إذا تم الدخول إلى a فسنجد قيمته 8.

ربما يكون هذا المثال أكثر وضوحا إذا تم فحص الذاكرة مباشرة. افترض أن a له عنوان الذاكرة 0x8130 وmoney له العنوان 0x8134، وافترض أيضا أن الحاسوب المستخدم هو حاسوب 32بت حيث سعة نوع البيانات int هي 32 بت. فإن الشكل التالي هو ما سيتكون في الذاكرة بعد تنفيذ الكود التالي:

int a = 5;
int *money = NULL;

Address	Contents
0x8130	0x00000005
0x8134	0x00000000

المؤشر ذو القيمة NULL المعروضة هنا هو 0x00000000. وبتعيين عنوان المتغير a للمؤشر money باستخدام مؤثر التعيين &

 money = &a;

وتكون الحصيلة في الذاكرة كما يلي:

Address	Contents
0x8130	0x00000005
0x8134	0x00008130

وعند تتبع المؤشر money مثل:

 *money = 8;

فإن الحاسوب سيأخذ محتويات المؤشر والتي هي 0x8130 وينتقل إلى ذلك العنوان ويعين القيمة 8 إلى ذلك الموقع وتكون حصيلة الذاكرة كما يلي:

Address	Contents
0x8130	0x00000008
0x8134	0x00008130

وكما هو واضح فإن استدعاء قيمة المتغير a سوف ينتج القيمة 8 لأن التعليمة السابقة قامت بتعديل محتويات المتغير a عن طريق المؤشر money.

الخطوة التالية في الحديث عن المؤشرات في لغة السي هي المصفوفات. في لغة سي تتم عملية فهرسة المصفوفات باستخدام حسابات المؤشرات ؛ حيث أن معايير اللغة تتطلب أن يكون

array[i]

مكافئ إلى

*(array + i)

وبهذا في لغة سي يمكن اعتبار المصفوفات كمؤشرات لمناطق متتابعة من الذاكرة (ليس بينها فجوات)، والصيغة المستخدمة في الوصول إلى المصفوفات مماثلة لتلك المستخدمة في تتبع المؤشرات، على سبيل المثال المصفوفة array يمكن الإعلان عنها واستخدامها كما يلي:

int array[5]; /* تعلن عن 5 أعداد صحيحة متتالية (Plauger Standard C 1992) integers */
int *ptr = array; /* يمكن استخدام المصفوفات كمؤشرات */
ptr[0] = 1; /* يمكن فهرسة المؤشرات بصيغة المصفوفات */
*(array + 1) = 2; /* يمكن تتبع المصفوفات بصيغة المؤشرات */

ويقوم هذا بحجز موقع في الذاكرة لخمسة أعداد صحيحة ويعلن عن array كمؤشر لهذا الموقع، ومن الاستخدامات الشائعة الأخرى للمؤشرات هي الإشارة للذاكرة المحجوزة ديناميكيا باستخدام دالة malloc والتي ترجع قطعة متصلة من الذاكرة بما لا يقل عن الحجم المطلوب الذي يمكن استخدامه كمصفوفة.

في حين أن معظم المؤثرات على المؤشرات والمصفوفات متكافئة إلا أنه من المهم أن نذكر أن دالة sizeof سوف تختلف. في هذا المثال sizeof(array) سوف تكون قيمتها 5*sizeof(int) أي أن حجم المصفوفة 5×حجم متغير العدد الصحيح، ولكن sizeof(ptr) تكون قيمته sizeof(int*) أي حجم المؤشر نفسه.

يمكن الإعلان عن القيم الافتراضية لمصفوفة مثل:

int array[5] = {2,4,3,1,5};

إذا فرضت أن array تقع في الذاكرة بدءً من العنوان 0x1000 على حاسوب 32 بت وترتيب البيانات به little-endian، إذاً سوف تحتوي الذاكرة ما يلي:

	0	1	2	3
1000	02	00	00	00
1004	04	00	00	00
1008	03	00	00	00
100C	01	00	00	00
1010	05	00	00	00

ويمثل الشكل 5 أعداد صحيحة 2 و4 و3 و1 و5. هذه الأعداد الصحيحة الخمسة تشغل 32 بت (4بايت)، وكل منها يخزن البايت الأقل أهمية أولاً، لأن بنية الحاسوب little-endian وتخزن بالتوالي بدءً من عنوان الموقع 0x1000.

الصيغة العامة في لغة سي مع المؤشرات هي:

• array تعني 0x1000
• array+1 تعني 0x1004، لاحظ أن +1 تعني حقيقة إضافة مرة واحدة عدد حجم متغير int أي 4 بايت وليس حرفياً +1.
• *array تعني تتبع محتويات array بما يعني اعتبار المحتويات كعنوان الذاكرة (0x1000) والذهاب والبحث عن القيمة في ذلك العنوان (0x1000).
• array[i] تعني القسم i من المصفوفة والذي يترجم إلى *(array + i).
• مثال :

array[3] مماثل إلى:

• (array+3)

يعني

• (0x1000 + 3*sizeof(int))

والذي يخبر المترجم بتتبع القيمة المخزنة في العنوان 0x100C والتي هي في هذه الحالة 0x0001.

فيما يلي مثال على تعريف القوائم المرتبطة في لغة سي:

/* القائمة المرتبطة الفارغة تمثل باستخدام NULL أو قيمة إشارة أخرى */
#define EMPTY_LIST NULL

struct link {
 /* بيانات هذا العنصر */
 void *data;
 /* العنصر التالي؛ EMPTY_LIST  إذا كان الأخير */
 struct link *next;
};

يمكن استخدام المؤشرات لتمرير المتغيرات باستخدام مراجع لها، بما يسمح لقيمتها بأن تتغير، مثال:

void not_alter(int n) {
 n = 360;
}

void alter(int *n) {
 *n = 120;
}

void func(void) {
 int x = 24;

 not_alter(x);

 /* x لازالت تساوي 24 */

 alter(&x);

 /* x تساوي الآن 120 */
}

في كومنز صور وملفات عن: مؤشر

• بوابة برمجة الحاسوب