גָזִיר

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

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

מהלכים 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 .