Имеет ли TypeScript расширения, такие как Kotlin?

Question

Kotlin имеет функцию, называемую Extensions, которая позволяет вам «расширять» любой тип (включая встроенные типы), фактически не расширяя его.

Например:

function Array<T>.swap(i1: number, i2: number) { 
    let tmp = this[i1] 
    this[i1] = this[i2] 
    this[i2] = tmp 
} 

let list = [1, 2, 3] 
list.swap(0, 2) 
console.log(list) // => 3, 2, 1 

Забавная часть является то, что, в отличие от нормального расширения типов базовых, этот подход не изменяет массив или его цепь прототипов.

Сформированный JS код будет что-то вроде:

function _array_extensions_swap(i1, i2) { 
    let tmp = this[i1] 
    this[i1] = this[i2] 
    this[i2] = tmp 
} 

let list = [1, 2, 3] 
_array_extensions_swap(list, 0, 2) 
console.log(list) // => 3, 2, 1 

Интересно, если это возможно, чтобы сделать то же самое в машинописи, или если есть планы поддержки, которые в будущем?

Answer 1

Нет такой вещи, и я сомневаюсь, что это произойдет в будущем, главная причина этого в том, что для этого нет оснований.
В скомпилированных языках, как Котлин вы не можете просто добавить новые свойства существующих экземпляров, но в JavaScript (и для этого с машинопись Aswell), вы можете просто сделать:

let list = [1, 2, 3] as number[] & { swap(i1: number, i2: number): void }; 
list.swap = function (i1: number, i2: number) { 
    let tmp = this[i1] 
    this[i1] = this[i2] 
    this[i2] = tmp; 
} 

list.swap(0, 2); 
console.log(list); // [3, 2, 1] 

Вы можете создать фабричную функцию, чтобы расширить существующие списки :

function extend<T>(list: T[]): T[] & { swap(i1: number, i2: number): void } { 
    (list as T[] & { swap(i1: number, i2: number): void }).swap = function (i1: number, i2: number) { 
     let tmp = this[i1] 
     this[i1] = this[i2] 
     this[i2] = tmp; 
    } 

    return list as T[] & { swap(i1: number, i2: number): void }; 
} 

let list = extend([1, 2, 3]); 
list.swap(0, 2); 
console.log(list); // [3, 2, 1] 

(code in playground)