אמממ...שמעו אני רוצה לבנות רקורסיה(אני לא הפרט מה היא אמורה לעשות כי זה לא נחוץ)
אני רוצה שהרקורסיה תשנה את המערך שהיא מקבלת.
השאלה אם חייב מצביעים כי אני יודע שמערך הוא כתובת אבל אף פעם לא ניצלתי את זה
אני השמח אם תעזרו לי
תודה.

אז לא, אתה לא חייב להשתמש במצביעים.
מבחינת הפונקציה שמקבלת את המערך, כן, היא מקבלת את הכתובת של התא הראשון (ולכן כשאתה מקבל מערך כארגיומנט אתה לא יוצר בלוק זיכרון חדש, אלא מתעסק עם אותו מערך דהיינו אותה הכתובת).
כשאתה פונה אל a[i] המהדר מתייחס אל זה כ (*(a+i))
או, לשם העניין נניח במערך N מימדי,

קוד:

a[b_1][b_2]...[b_N] equivalents to (*(*(*(...*(Arr+b_1))+b_2)+...)+b_N)

נניח, לדוגמא, הפונקציה הזאת תקבל מערך חד מימדי ותאפס את כל האיברים במקומות הזוגיים, המעבר על המערך יהיה ריקורסיבי

קוד PHP:

 int ChangeArr(int arr[], int n){
if (n<0)
   return 0;
else if (n%2)
     arr[n]=0;
return ChangeArr(arr, n-1);
} 


אבל הפונקציה מחזירה 0, ותכלס תוכל פשוט להגדיר מערך גלובאלי במקום לקבל אותו כארגיומנט, אותו דבר.

לעומת זאת אם אתה רוצה שהפונקציה לא רק תשנה מערך אלא גם תחזיר את המערך השונה, או שאתה רוצה לעבוד עם מערך דינאמי של יותר ממימד אחד, תצטרך לקבל ולהחזיר מצביעים כנ"ל

Any sufficiently advanced bug is indistinguishable from a feature

שמע ראיתי גם בתוכנית בספר
בריקורסיות והוא לא משתמש במצביעים ומה שהתוכנית עושה היא מסדרת את המערך המספרי
לפי סדר גודל
מבין? והוא לא השתמש במצביעים וגם המורה למחשבים שלי אמרה לי את זה שלא חייב אבל לא הבנתי איך
ושיעור הבאה במחשבים יהיה עוד הרבה זמן

גם מבלי להשתמש במצביעים באופן הקלאסי, כאשר מדובר במערך סטטי אתה יכול לשלוח אותו כארגיומנט לפונקציה, ולהגדיר את הטיפוס כמערך באופן דומה להצהרה סטטית, הפונקציה לא תעתיק בלוק זהה בזיכרון אלא תפנה לכתובת התא הראשון באותו מערך. נתתי לך תכנית סתמית לדוגמא.

יכול להיות, בלי קשר, שאתה מדבר באופן ספציפי על merge sort - מיון רקורסיבי קלאסי, חיפוש בפורום יניב תוצאות.

Any sufficiently advanced bug is indistinguishable from a feature

כי לא שמתי לב איזה טעות דפוקה
אבל בכל זאת תודה... מבין גדול אתה