Блог

Функция изначально не позволяет изменять свойства только для чтения (например, name в ES6):

 let foo = function (n: number) {
    return n;
}

foo.name = 'not foo'; // Cannot assign to 'name' because it is a read-only property
  

Чтобы обойти это, Writable использовался тип утилиты из ссылки:

 type Writable<T> = {
  -readonly [K in keyof T]: T[K];
};
  

1. Только для чтения name не зависит от пересечения:

 let writableFoo: typeof foo amp; { name: string } = foo;
writableFoo.name = 'not foo'; // Cannot assign to 'name' because it is a read-only property
  

2. Writable не получает name из типа функции и не вызывается:

 let writableFoo: Writable<typeof foo> = foo;
writableFoo.name = 'not foo'; // Property 'name' does not exist on type 'Writable<(n: number) => number>'
writableFoo(1); // This expression is not callable
  

3. Writable получает name от Function , но по-прежнему не вызывается:

 let writableFoo: Writable<Function> = foo;
writableFoo.name = 'not foo';
writableFoo(1); // This expression is not callable
  

4. Omit использует подпись индекса и также не вызывается:

 let writableFoo: Omit<typeof foo, 'name'> amp; { name: string } = foo;
writableFoo.name = 'not foo';
writableFoo(1); // This expression is not callable
  

Цель здесь состоит в том, чтобы ввести, writableFoo чтобы сохранить writableFoo возможность вызова и разрешить name изменение, предпочтительно без изменения других свойств с помощью Writable . Он не пытается решить конкретную проблему кодирования, но исследует проблемы с указанным типом.

Почему 1 не влияет на readonly модификатор по типу пересечения?

Почему 2 не получает, name несмотря на то, что он распознается как typeof foo as foo.name ?

Как 2-4 могут получить подпись вызова при удалении readonly модификатора из name ?

С помощью этого вы можете как вызывать, так и записывать name

 interface Foo extends Function{
    name: string
}
const d: Foo = function(){}
d.name ='not foo'
d()
  

Спасибо. Технически это решает проблему, но функция игнорирует
подпись функции, d(‘должна вызывать ошибку TS’, ‘для непредвиденных
аргументы ‘) (это не упоминалось в вопросе, но, похоже, является
разумное требование). Также сам const способен устранить ошибку
потому что он обрабатывается иначе, чем let

 type  Incrementer = (x: number)=>string
interface Foo extends Incrementer{
    name: string
}
let d: Foo = (x)=>'a' x
d.name ='not foo'
d(1)
d('s') // string not expceted must be number
  

Если вам нужен общий ответ, вот ваш Writable

 interface Writable<T extends (...args: any) => any> {
    (...arg: Parameters<T>): ReturnType<T>;

    name: string
}

type  Incrementer = (x: number, y: boolean) => string

let d: Writable<Incrementer> = (x, y) => 'a'   x   y
d.name = 'not foo' // no error
d(1, true) // no error
d('d', true)  // 'd' is not assignable to number
d(2, 1) // 1 is not assignable to boolean