logoProsperBao

ValidDate

2022-05-31 09

题目来源(type-challenges)

问题

一个简单的日期校验

type case1 = ValidDate<'0102'> // true 
type case2 = ValidDate<'0131'> // true 
type case3 = ValidDate<'1231'> // true 
type case4 = ValidDate<'0229'> // false 
type case5 = ValidDate<'0100'> // false 
type case6 = ValidDate<'0132'> // false 
type case7 = ValidDate<'1301'> // false

解答 

type BasicNumber = 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
type Month = `0${BasicNumber}` | `1${0 | 1 | 2}`;

type ValidDate<T extends string> = T extends (
  | `${Month}${`${1 | 0}${BasicNumber}` | `2${Exclude<BasicNumber, 9>}`}`
  | `${Exclude<Month, '02'>}${29 | 30}`
  | `${Exclude<Month, '02' | '04' | '06' | '09' | '11'>}31`
) ? true : false;

拆分

  • 根据日历将所有日期集合成一个联合类型
  • 再将判断传入的日期是否在新的联合类型里面
cd ..