Какой принцип разработки обеспечивает безопасное и универсальное использование обобщённых типов (Generics)?

Принцип разработки, обеспечивающий безопасное и универсальное использование обобщённых типов (Generics), называется типобезопасностью (type safety) и параметризацией типов.

Обобщённые типы позволяют писать код, который работает с разными типами данных, при этом компилятор проверяет корректность типов во время компиляции, предотвращая ошибки времени выполнения.

В Swift, например, это достигается с помощью параметров типа и ограничений протоколами:

generic func swapValues<T>(_ a: inout T, _ b: inout T) {
    let temp = a
    a = b
    b = temp
}

Здесь T — универсальный тип, который будет подставлен при вызове функции, и компилятор гарантирует, что оба параметра одного типа, что обеспечивает безопасность и универсальность.