References ב-PHP

[yossiz]

אגב, למי שעוד לא יודע. reference לא דומה כלל וכלל למצביע ב-C ושפות אחרות. זה יותר דומה ל-reference ב-++C.

[nigun]

@yossiz
מצאתי דיון בנושא דומה.
נראה שהמסקנה של מפתחי השפה היא "זה לא באג זה פיצ'ר".

[yossiz]

@nigun אוף! זה לא קשור כלל.

אבל דוקא כאשר:
@yossiz אמר בReferences ב-PHP:

(יש לי עוד המון דוגמאות).

התכוונתי גם לזה בתוכם.

פה מדובר ב"באג" מעצבן אחר ש-foreach לא יוצר scope חדש.
זה לא באמת באג אלא חוסר תכנון (דבר שמאפיין את כל השפה...)
זה לא קשור ישירות ל-references אבל כאשר אתה משתמש ב-reference זה נהיה ממש מסוכן, עם משתנים רגילים זה פשוט מלכלך את ה-scope אבל הוא לא מסוכן.

[nigun]

@yossiz אמר בReferences ב-PHP:

אם אני הגעתי לזה תוך 24 שעות, כל אחד היה אמור להגיע לזה תוך כמה שנים. לא?

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

[yossiz]

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

רואים ש-reference הוא סוג חדש של משתנה! זה לא מוזכר בתיעוד.

מתוך הספר phpintenals

While from a userland perspective references are not a separate type, internally references are represented as a wrapper around another zval, that can be shared by multiple places.

כנראה שהנסיון לבודד את ה-userland מפרטי מימוש לא בדיוק הצליח...

[yossiz]

עדכון:
https://www.phpinternalsbook.com/php7/zvals/references.html#reference-semantics:~:text=Intuitively this behavior is wrong

סוף סוף הסבר להתנהגות (והודאה שזה מרגיש לא נכון)

אגב, לא הבנתי את הטעם השני. (הראשון נראה לי שהבנתי אבל אני לא מסכים...)

[nigun]

@yossiz אמר בReferences ב-PHP:

@nigun אמר בReferences ב-PHP:

איך אתה מגיע לנישות האלו כשאתה מתחיל ללמוד שפה?

אם אני הגעתי לזה תוך 24 שעות, כל אחד היה אמור להגיע לזה תוך כמה שנים. לא?

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

[yossiz]

@nigun זה כלום, אין פה סיפור ארוך.
רציתי ללמוד את השפה.
נתקלתי במושג של reference.
הסתכלתי בתיעוד הרשמי.
אגב, בתיעוד של PHP תמיד תסתכל בהערות (רק 2/3 העליונים) של הקהילה. יש שם דברים יקרי ערך.
והנה בהערה הראשונה נתקלתי בזה.
התפלאתי מאוד.
המשך הסיפור כולו בפוסטים בנושא זה.

[yossiz]

טוב, הגעתי פחות או יותר לסוף הדרך...
שאלתי כאן: https://chat.stackoverflow.com/transcript/message/51562731#51562731
ונעניתי על ידי אחד מהמפתחים העקריים של PHP בזה"ל:

I see you have discovered the joy that is references

כנראה שזו באמת פינה אפילה בשפה שאף אחד לא אמור לנבור של יותר מדי...
(עיין בהמשך, יש יותר שיח מסביב לנושא)

[yossiz]

התשובה הזאת הבנתי. אפשר לסכם אותו כך: "אנחנו יודעים שזו התנהגות לא טובה אבל האופציות הם או ביצועים גרועים או התנהגות עוד יותר גרועה".

נו נו, פל קל אמרנו?

[nigun]

@yossiz
אז סתם יצא כאן לעז על משתמשי השפה
גם אחרי עשרות שנים מפתח PHP ממוצע לא אמור להיכנס לפינה הזאת.

[chagold]

@nigun אמר בReferences ב-PHP:

@yossiz
אז סתם יצא כאן לעז על משתמשי השפה
גם אחרי עשרות שנים מפתח PHP ממוצע לא אמור להיכנס לפינה הזאת.

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

בשבילי זה סיבה לנסות לא להיכנס לפינה ששמה הפניות.

[yossiz]

@nigun אמר בReferences ב-PHP:

אז סתם יצא כאן לעז על משתמשי השפה

לא דיברתי מטוב ועד רע על משתמשי השפה.
ולגבי השפה עצמה, שפה שיש בה פינות אפלות כאלו היא באמת שפה גרועה.

[yossiz]

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

[yossiz]

עוד כתבה על הנושא:
http://schlueters.de/blog/archives/125-Do-not-use-PHP-references.html

טוב, נראה לי שממש מיציתי את הנושא... מספיק כבר!

[yossiz]

אופסס... כנראה שלא מיציתי את הנושא מספיק...
מצאתי שיש קומפיילר וסביבת הרצה עבור PHP שממומש בדוטנט.
ויקרא שמו בישראל Peachpie.
(אגב, הם טוענים שהמימוש בדוטנט מביא שיפורים משמעותיים בביצועים. זה כבר בשל מספיק להריץ וורדפרס ועוד כמה אפליקציות גדולות - עם ביצועים יותר טובים ממנוע ה-PHP המקורי)
כמובן שדבר ראשון רצתי לבדוק את המימוש שלהם ל-references, והנה יש להם באג
נפתח issue בגיטהאב שלהם...

עריכה: פתחתי issue
https://github.com/peachpiecompiler/peachpie/issues/906

[שואף]

@yossiz אהבתי התשובה שענו לך https://chat.stackoverflow.com/transcript/message/51562731#51562731

@yossizahn It's a bit like the answer to "how do you avoid being eaten by a shark?" Step 1) don't go swimming where there are sharks.

[yossiz]

@שואף מתכנת PHP דגול כמותך, זה כל מה שיש לך להוסיף בנושא?
סתם... נראה שבאמת לא אמורים להשתמש ב-references בלי סיבה מספקת.

[שואף]

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

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

[חוקר]

אני לא הצלחתי הרבה להתעמק בנושא הזה.
אבל אציין דוגמא של משהו שאולי זה חלק מהכוונה של @yossiz
ואולי זה יפתח קצת את התאבון להבין טוב יותר את הנושא (גם אני לא יודע בזה הרבה)

        $rows = self::find()
            ->where(['ProjectID' => \common\models\GetProjectID::getProjectID()])
            ->andWhere(['id' => $selection])
            ->andWhere(['is', 'PaymentDetails', new \yii\db\Expression('null')])->asArray()->all();
        $rows2 = [];
        foreach ($rows as $row){
            if ($row['TotalToPaid'] > 0) {
                if (isset($Students[$row['StudentId']])) {
                    $row['Bank'] = $Students[$row['StudentId']]['BankNumber'];
                    $row['Branch'] = $Students[$row['StudentId']]['BranchNumber'];
                    $row['AccountNumber'] = $Students[$row['StudentId']]['AccountNumber'];
                    $row['TeudatZehut'] = $Students[$row['StudentId']]['Identity'];
                    $row['ClientName'] = $Students[$row['StudentId']]['Family'] . ' ' . $Students[$row['StudentId']]['Name'];
                }else{
                    $row['Bank'] = '';
                    $row['Branch'] = '';
                    $row['AccountNumber'] = '';
                    $row['TeudatZehut'] = '';
                    $row['ClientName'] = '';
                }
                $rows2[] = $row;
            }
        }
        return $rows2;

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

        $rows = self::find()
            ->where(['ProjectID' => \common\models\GetProjectID::getProjectID()])
            ->andWhere(['id' => $selection])
            ->andWhere(['is', 'PaymentDetails', new \yii\db\Expression('null')])->asArray()->all();
        foreach ($rows as $row){
            if ($row['TotalToPaid'] > 0) {
                if (isset($Students[$row['StudentId']])) {
                    $row['Bank'] = $Students[$row['StudentId']]['BankNumber'];
                    $row['Branch'] = $Students[$row['StudentId']]['BranchNumber'];
                    $row['AccountNumber'] = $Students[$row['StudentId']]['AccountNumber'];
                    $row['TeudatZehut'] = $Students[$row['StudentId']]['Identity'];
                    $row['ClientName'] = $Students[$row['StudentId']]['Family'] . ' ' . $Students[$row['StudentId']]['Name'];
                }else{
                    $row['Bank'] = '';
                    $row['Branch'] = '';
                    $row['AccountNumber'] = '';
                    $row['TeudatZehut'] = '';
                    $row['ClientName'] = '';
                }
            }
        }
        return $rows;

דהיינו כשעושים foreach, הוא לא מעביר לי את האיבר האמיתי המקורי, אלא איבר משוכפל, ששינוי בו אינו משנה כלום באיבר המקורי, ב JS לעומת זאת ניתן להעביר משתנים אפילו לפונקציות שהן משנות את האיבר המקורי.
דוגמא לזה, פונקציות שאני משתמש איתן המון

function setDescendantProp(obj, desc, value) {
  var arr = desc.split('.');
  while (arr.length > 1) {
    obj = obj[arr.shift()];
  }
  return obj[arr[0]] = value;
}

var obj = {a: {b: {c: 0}}};
var propPath = getPropPath();  // returns e.g. "a.b.c"
var result = setDescendantProp(obj, propPath, 1);  // obj.a.b.c will now be 1

מקור: https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/eval

אציין, שאני התחלתי עם PHP, וכשנתקלתי בפונקציה הנ"ל setDescendantProp לקח לי המון זמן לעבוד איך עובד הפלא ההוא.