3.1 - שאלות על $SortedList$

3.1.1 - דרישות על הטיפוס $T$

הדרישות ההכרחיות היחידות שT צריך לקיים הם:

• קיום בנאי העקה. הסיבה לכך היא שיהיה ניתן לממש בנאי העתקה והשמה במחלקה $SortedList$. בלי בנאי העתקה, לא יהיה ניתן לקבל רשימה ולהעתיק את כל הערכים בה לרשימה אחרת.
• קיום אופרטור גדול מ-("$>$"). המחלקה $SortedList$ מבוססת על כך שיהיה ניתן להשוות בין ערכים על מנת שהיא תוכל לשמור על הסדר בין ערכיה.

3.1.2 - בעיות במימוש איטרטור לא $const$

היה עלול להיווצר מצב שבו המשתמש ישנה את הערך $T$ שבאיטרטור, ובכך יוכל לגרום לתקלה במיון של הרשימה. לדוגמא אם מדובר ברשימת המספרים $5,4,3,2,1$ המשתמש יוכל לשנות את הערך השלישי ל-$10$, ואז הרשימה תהיה $5,4,10,2,1$ ולאבד את הסדר של הרשימה.

3.1.3 - סינון רשימת מספרים שלמים

הפונקציה $filter$ מקבלת פרדיקט בתור $function\; object$ ומשתמשת בו על מנת ליצור רשימה חדשה המורכבת אך ורק מהערכים ברשימה המקורית עבורם הפרדיקט החזיר $true$.
הרשימה החדשה הזו מוחזרת למשתמש $by\; value$.

מכיוון שהשתמשנו ב-$function\; object$ נוכל לממש את המיון של המספרים השלמים בשתי דרכים:

1. ניצור מחלקה אשר לה יהיה אופרטור $()$ כך:

   class DividedBy {
    public:
    	DividedBy(int n) : n(n) { }
    	
    	bool operator()(int k) {
    		return (k % n == 0);
    	}
    private:
    	int n;
   };
   

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

   int x;
   SortedList<int> list;
   
   // ...
   
   list.filter([x](int n) { return (n % x == 0); });