שלום,
חלק חשוב מעקרונות ה-ADT הוא הסתרת המימוש מהמשתמש.
זה מתבצע ע"י כתיבה של קובץ header עם הגדרות הטיפוסים והפונק' והגשה של הקוד(מימוש הפונק') כקובץ אובייקט מקומפל.
כמובן, שהמשתמש החיצוני עדין צריך לעבוד איך שהוא עם הטיפוס ולכן ישנו טריק שבו שמים שורה מהסוג הזה בקובץ ה-header:

קוד:

typedef struct data_type_t* DataType;

זה יוצר הגדרת טיפוס DataType כפויינטר לטיפוס struct data_type_t, אלא שהטיפוס הזה מוגדר בשלמותו בקובץ האובייקט שמגיע מקומפל.

מסיבה שאני מנסה להבין - זה עובד.
מה שמבלבל אותי היא העובדה שקימפול פרוייקט C מתבצע בתהליך די מבני:
הקבצים עוברים שלב של Pre-Proccessing בהם מטופלות כל ההנחיות שמתחילות ב-#, בהן DEFINE, INCLUDE וכו'...
הפלט של ה-Pre-Proccessor מועבר לקומפיילר, שהופך כל קובץ לאובייקט, ואז בשילוב עם הספריות הסטנדרטיות כל האובייקטים עוברים ללינקר שיוצר לנו את ה-loading module (executable).
נשאלת השאלה, אם כן, באיזה שלב בדיוק מעובד ה-typedef.
השלב ההגיוני היחיד בתהליך הוא הלינקר, אלא שזה עדין יוצר מספר התנגשויות:

קוד:

typedef struct very_big_struct Person;

אם הטיפוס המוגדר הזה תופס לדוגמא 50 בתים, ומוגדר בקובץ Friends.h ואני משתמש בו ב-init.c בצורה חופשית (מגדיר משתנים מהסוג הנ"ל בפונק') צריך להקצות שטח מספיק על המחסנית, אבל אז עד שלב הלינקינג אי אפשר לדעת כמה מקום להקצות...

למישהו יש פתרון לפרדוקס?

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

דווקא הכי פחות הגיוני שזה קורה בשלב הלינקינג. כל מה שהtypedef עושה זה להחליף כל מילה שקוראים לה Person במילים struct very_big_struct. נשמע כמו עבודה לקדם-מעבד, או למעבד עצמו

typedef לא "מתקמפל" הוא מוחלף בשם שהגדרת אותו מבחינת הקומפיילר יש אותו פלט
אם לא השתמשת ב-typedef בדיוק כמו define הוא מוחלף בערך שהוא מכיל
זה למה קשה לעבוד איתו כשאתה עושה דיבאג אתה לא מקבל את השם של ה-define אלא את הערך שלו.

ציטוט:

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

תודה רבה לשניכם, באמת הגיוני יותר מה שאמרתם...

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

אז הוא ב - preproccessing או ב - compilling?(אני חושב ב preproccessing אבל חבר אומר בקומפיילינג)

typedef הוא מנגנון של הקומפיילר, לא של ה-preProccess.
אחרת אפשר היה להשתמש ב-define#.
רק הוראות שמתחילות ב-# הן פקודות PreProccessor.

עוד דוגמא לזה היא שימוש כזה של typedef:

קוד:

typedef enum {false, true} bool;

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

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