Typescript: 세 번째를 형성하기위한 두 개의 일반 매개 변수의 교차는 동등한 것으로 인식되지 않습니다.

여기서 오류가 정확하다고 생각합니다. 예 R1 & R2 은 기본값 R 할당 할 수 있지만 R 는 _more_ 특정 유형으로 인스턴스화 될 수 있습니다. 다음 인스턴스화를 고려하십시오.

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

R1 , R2 , R 의 유효한 인스턴스화이지만 R1 & R2 는 R 할당 할 수 _not_됩니다. z 매개 변수.

귀하의 예에서 R 매개 변수는 실제로 필요하지 않습니다 (실제 사용 사례가 더 복잡 할 수 있음). 이것은 작동합니다 :

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

흠 좋은 지적입니다. 여기서의 목표는 결국 반환 유형 R 하고 mapState2Props & mapDispatch2Props 조합이 유효한 R 가되는 유형 안전성을 얻을 수있는 위치에 도달하는 것입니다.

예 :

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

그러나 ... 그게 가능한지 확실하지 않습니다 ... 대신 R1 & R2를 R 의 일부 하위 집합으로 정의해야하는 것처럼 보이지만 서로 의존합니다 ...

R 는 완전히 관련이없는 유형일 수도 있습니다. 제네릭의 기본 형식 인수는 제약 조건이 아닙니다.

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