키 및 관련 값 유형을 일반에 전달하여 인덱싱 된 유형을 좁 힙니다.

유사한 질문과의 차이점

불행히도 TypeScript 제네릭 에 대한 암시 적 키 및 값 유형 관계 전달 질문에 대한 훌륭한 답변 은 현재 질문의 문제를 다루지 않습니다. generateInputsAccessObject해당 질문의 대상 함수 인에서는 하위 유형 종속 속성을 사용하지 않습니다.

실제로 위의 질문은 암시 적 키와 값 유형 관계를 제목 인 TypeScript 제네릭에 전달하지 않고 해결되었지만 이제 더 이상 피할 수 없다고 생각합니다.

표적

다음 과 같은 EntitySpecification일반 유형 인을 작성하십시오 ProductSpecification.

1. properties의 유형은 색인화되지 않아야합니다 . 그것은 타이프 라이터 컴파일러는 무엇을 알고 있어야한다는 것을 의미 ID와 price존재하지 않는 - 존재하지만, 다른 키가.
2. properties반복 가능 Object.entires("ProductSpecification.properties")해야합니다 (작동해야 함).
3. ID그리고 price다른 유형을 가질 수 있지만, 우리가 호출 할 때 EntitySpecification.properties.ID나 EntitySpecification.properties.price, 타이프 라이터 컴파일러는 유형을 알고 있어야합니다.

export type Product = {
  ID: string;
  price: number;
};

const ProductSpecification: EntitySpecification<keyof Product> = {
  name: "Product",
  properties: {
    ID: {
      type: DataTypes.string,
      emptyStringIsAllowed: false
    },
    price: {
      type: DataTypes.number,
      numberSet: NumbersSets.nonNegativeInteger
    }
  }
};

여기:

export enum DataTypes {
  number = "NUMBER",
  string = "STRING"
}


export enum NumbersSets {
  naturalNumber = "NATURAL_NUMBER",
  nonNegativeInteger = "NON_NEGATIVE_INTEGER",
  negativeInteger = "NEGATIVE_INTEGER",
  negativeIntegerOrZero = "NEGATIVE_INTEGER_OR_ZERO",
  anyInteger = "ANY_INTEGER",
  positiveDecimalFraction = "POSITIVE_DECIMAL_FRACTION",
  negativeDecimalFraction = "NEGATIVE_DECIMAL_FRACTION",
  decimalFractionOfAnySign = "DECIMAL_FRACTION_OF_ANY_SIGN",
  anyRealNumber = "ANY_REAL_NUMBER"
}

export type StringSpecification = {
  readonly type: DataTypes.string;
  readonly emptyStringIsAllowed: boolean;
};

export type NumberSpecification = {
  readonly type: DataTypes.number;
  readonly numberSet: NumbersSets;
};

물론 EntitySpecification키를 미리 알지 못하지만 키 수는 임의적으로 클 수 있습니다 (현재의 경우 2가 아님 ProductSpecification).

지금은 내 최고

아래 솔루션은 처음 두 목표를 충족합니다.

export type EntitySpecification<Keys extends string> = {
  readonly name: string;
  readonly properties: { [key in Keys]: StringSpecification | NumberSpecification };
};

여기 갈등 상황, 세 번째 조건 위반의 결과 :

type StringValidationRules = {
  emptyStringIsAllowed: boolean;
};

const ID_ValidationRules: StringValidationRules = {
  emptyStringIsAllowed: ProductSpecification__EXPERIMENTAL.properties.ID.emptyStringIsAllowed;
}

TypeScript ID는 StringSpecification유형 이있는 것을 모르기 때문에 다음과 같은 오류가 있습니다.

TS2339: Property 'emptyStringIsAllowed' does not exist on type 'StringSpecification | NumberSpecification'.   Property 'emptyStringIsAllowed' does not exist on type 'NumberSpecification'.