תחומים - פורום חרדי מקצועי

@yossiz אמר בTS: הגדרת interface לאובייקט המכיל מופעים של קלאס גנרי:

הראשון תקין. למה? איפה מתועד התנהגות זו?

נראה לי שהבנתי, יש שתי רמות של טייפים ב-TS, יש את ה-declared type וה-observed type. ה-declared type משפיע על ה-assignability וה-observed type משפיע על השימוש בפועל בערך.
השמה של ערך לתוך משתנה יכול להשפיע על ה-observed type על ידי מנגנון שנקרא type narrowing.
דוגמה:

// declared type let x: string | number // observed type becomes number (type narrowing by assignment) x = 1.0 // legal to use as number x.toFixed() // still fine to reassign to string x = "Hi" // observed type is now string (again type narrowing by assignment) x.charAt(1); // coerced to string | number x = x as string | number // illegal! // Property 'charAt' does not exist on type 'string | number'. // Property 'charAt' does not exist on type 'number'.(2339) x.charAt(1)

מקור:
https://www.typescriptlang.org/docs/handbook/2/narrowing.html#assignments

לכן בשורה זו:

const param1: A | B = { field1: 1 }

למרות שה-declared type הוא A | B אבל יש מיד type narrowing על ידי ההשמה.

המתודה Operate איננה מקבלת כל אינדיקציה על טיב הפעולה שהיא אמורה לבצע, ניתן להסיק את אחת משתי האפשרויות:

שהיא תבדוק בעצמה (Runtime type checking) לפי מספר הפרמטרים שסופקו טיב הפעולה אינו רלוונטי עבורה

כדי לשפר את הType-Safety עבור הקוד שיעשה שימוש במתודה, ניתן לעשות שימוש בFunction Overloading:

class Instructions { public static operate(callback: UnaryOperation, dst: number) public static operate(callback: BinaryOperation, dst: number, src: number) public static operate(callback: SignBinaryOperation, dst: number, src: number, powerEvaluation: number) public static operate(callback: Function, dst: number, src?: number, powerEvaluation?: number) { // Note: You'll have to do type checking manually // here if you want differing behavior based on the required operation type } }

שימוש:

operate((x) => { }, 1) // Works. Operation: Unary operate((x, y, z) => { }, 1, 2) // Fails (x, y, z) => void' is not assignable to parameter of type 'BinaryOperation operate((x, y, z) => { }, 1, 2, 3) // Works. Operation: SignBinary

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

@מוטי-אורן מסתבר שזו בעיה נפוצה, בגרסאות האחרונות. עיין כאן.
"פתרון" לא מושלם הוא לשנמך גרסא בחזרה ל-5.10.19 :

npm i mongoose@5.10.19 --save

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

@yossiz @dovid תודה רבה על העזרה!

@מוטי-אורן אמר בשיתוף מידע בין ראוטרים ב express js:

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

זהו שלא, המודול נטען על ידי נוד פעם אחת בלבד ומאז הוא מוכנס למטמון (קאש) ומשם הוא נטען בכל פעם כשמבקשים אותו (require)
וזה מה שכתבו כאן.
ועי' https://nodejs.org/api/modules.html#modules_caching