Связывание это плохо

Это определение bind в lib.d.ts:

bind(thisArg: any, ...argArray: any[]): any;

Как видите, возвращается any! Это означает, что вызов bind для функции приведет к полной потере проверки типа исходной сигнатуры функции.

Например, следующий пример:

function twoParams(a: number, b: number) {
    return a + b;
}
let curryOne = twoParams.bind(null, 123);
curryOne(456); // Okay, но тип не проверен!
curryOne('456'); // Разрешено, потому что тип не проверен!

Лучше написать это с помощью простой стрелочной функции с явным описанием типа:

function twoParams(a: number, b: number) {
    return a + b;
}
let curryOne = (x: number) => twoParams(123, x);
curryOne(456); // Okay и тип проверен!
curryOne('456'); // Ошибка!

Но если вы ожидаете каррированную функцию для этого есть образец получше.

Члены класса

Другое распространенное использование - использование bind для обеспечения правильного значения this для функций класса. Не делай этого!

Следующее демонстрирует то, что вы теряете проверку типа параметра, если используете bind:

class Adder {
    constructor(public a: string) {}

    add(b: string): string {
        return this.a + b;
    }
}

function useAdd(add: (x: number) => number) {
    return add(456);
}

let adder = new Adder('у Мэри была маленькая 🐑');
useAdd(adder.add.bind(adder)); // Нет ошибки компиляции!
useAdd((x) => adder.add(x)); // Ошибка: число нельзя присвоить строке

Если у вас есть функция-член класса, которую вы ожидаете передать, используйте в первую очередь стрелочную функцию, например, можно было бы написать тот же класс Adder как:

class Adder {
    constructor(public a: string) {}

    // This function is now safe to pass around
    add = (b: string): string => {
        return this.a + b;
    };
}

Другой альтернативой является вручную указать тип связываемой переменной, например:

const add: typeof adder.add = adder.add.bind(adder);

Комментарии