גָזִיר

סוג המייצג נגזרות של ערך שניתן להבדיל.

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

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

סגירה שמייצרת וקטור משיק אפס, לוכדת מידע הכרחי מינימלי self .

move(along: zeroTangentVectorInitializer()) לא אמור לשנות self .

במקרים מסוימים, וקטור המשיק אפס של self שווה ל- TangentVector.zero . במקרים אחרים, וקטור המשיק אפס תלוי במידע self , כגון צורה עבור סוג מערך n-ממדי. עבור תכנות שניתן להבדיל, יעיל יותר בזיכרון להגדיר מאפיין מותאם אישית zeroTangentVectorInitializer אשר מחזיר סגירה הלוכדת ומשתמשת רק במידע הדרוש ליצירת וקטור משיק אפס. לדוגמה:

struct Vector {
    var scalars: [Float]
    var count: Int { scalars.count }
    init(scalars: [Float]) { ... }
    init(repeating repeatedElement: Float, count: Int) { ... }
}

extension Vector: AdditiveArithmetic { ... }

extension Vector: Differentiable {
    typealias TangentVector = Vector

    @noDerivative
    var zeroTangentVectorInitializer: () -> TangentVector {
        let count = self.count
        return { TangentVector(repeating: 0, count: count) }
    }
}

וקטור משיק מאותחל באמצעות zeroTangentVectorInitializer . move(along: zeroTangentVector) לא אמור לשנות self .

מחיל את הסגירה הנתונה על הנגזרת של self .

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

מחזירה את הפלט שחושב על ידי החלת רצף של שכבות על הפלט של השכבה הקודמת, פרט לכך שהקלט של השכבה הראשונה הוא self .

מחזירה את הפלט שחושב על ידי החלת רצף של שכבות על הפלט של השכבה הקודמת, פרט לכך שהקלט של השכבה הראשונה הוא self .

מחזירה את הפלט שחושב על ידי החלת רצף של שכבות על הפלט של השכבה הקודמת, פרט לכך שהקלט של השכבה הראשונה הוא self .

מחזירה את הפלט שחושב על ידי החלת רצף של שכבות על הפלט של השכבה הקודמת, פרט לכך שהקלט של השכבה הראשונה הוא self .

מחזירה את הפלט שחושב על ידי החלת רצף של שכבות על הפלט של השכבה הקודמת, פרט לכך שהקלט של השכבה הראשונה הוא self .