Typescript: Der Schnittpunkt zweier generischer Parameter zu einem dritten wird nicht als äquivalent erkannt

Ich glaube, der Fehler ist hier richtig. Ja, R1 & R2 dem Standardwert von R zugewiesen werden, aber R kann mit einem _mehr_ spezifischen Typ instanziiert werden. Betrachten Sie die folgende Instanziierung.

connect<{ x: number; }, { y: number; }, { x: number, y: number, z: number }>( ... );

Dies ist eine gültige Instanziierung von R1 , R2 und R , aber R1 & R2 _nicht R zugewiesen werden, da das fehlt z Parameter.

In Ihrem Beispiel ist der Parameter R nicht erforderlich (obwohl Ihr tatsächlicher Anwendungsfall möglicherweise komplizierter ist). Das funktioniert:

let connect = <R1,R2>(mapState2Props: (state) => R1, mapDispatch2Props: (dispatch: any) => R2): R1 & R2 => {
  let state = {};
  let dispatch = () => { };
  return { ...mapState2Props(state), ...mapDispatch2Props(dispatch)}
}

hmm ya das ist ein guter Punkt. Das Ziel hier war es, irgendwann dahin zu gelangen, wo Sie einfach den Rückgabetyp R angeben und die Typensicherheit erhalten konnten, dass mapState2Props & mapDispatch2Props zusammen zu einem gültigen R Objekt.

Z.B:

interface IComponentProps{
  foo: string;
  doFoo: ()=>void
}
let props: IComponentProps = connect<IComponentProps>(
  (state) => { foo: state.foo },
  (dispatch) => {doFoo: () => dispatch('FOO')}
)

Allerdings ... ich bin mir nicht sicher, ob das überhaupt möglich ist ... Anscheinend müssten Sie stattdessen R1 & R2 als eine Teilmenge von R , aber sie sind voneinander abhängig ...

Beachten Sie, dass R auch ein völlig unabhängiger Typ sein kann. Standardtypargumente in Generika sind keine Einschränkungen.

connect<{ a: string }, { b: number }, { c: boolean[] }>(() => ({ a: "a" }), () => ({ b: 3 }))