如何在Typescript中定义正则表达式匹配的字符串类型？

Question

是否可以定义一个包含字符串格式信息的接口？以以下为例：

interface timeMarkers{
    markerTime: string[]        
};

例如：

{
   markerTime: ["0:00","1:30", "1:48"]                   
}

我的问题：有没有一种方法来定义markerTime的类型，使得字符串值必须始终匹配此正则表达式，而不是将其声明为简单的string[]并从那里开始？

var reg=/[0-9]？[0-9]:[0-9][0-9]/;




Answer 1

根据@bela53的答案，但要简单得多，我们可以做一个非常简单的解决方案，类似于@Titian，但没有缺点：

type HourPrefix = '0'|'1'|'2';
type MinutePrefix = HourPrefix | '3'|'4'|'5';
type Digit = MinutePrefix |'6'|'7'|'8'|'9';

type Time = `${HourPrefix | ''}${Digit}:${MinutePrefix}${Digit}`

const validTimes: Time[] = ["00:00","01:30", "23:59", "16:30"]
const invalidTimes: Time[] = ["30:00", "23:60", "0:61"] // all emit error

Answer 2

在正则表达式类型对语言可用之前，现在可以在TS 4.1中使用模板文本类型。

让我参考这个问题示例，并说明如何建模一个时间受限的字符串类型，称为时间。这里进行简化。

Array.from({length:24},(v,i)=> i).reduce((acc,cur)=> `${acc}${cur === 0 ? "" : "|"}'${String(cur).padStart(2, 0)}'`, "type HH = ")
Array.from({length:60},(v,i)=> i).reduce((acc,cur)=> `${acc}${cur === 0 ? "" : "|"}'${String(cur).padStart(2, 0)}'`, "type MM = ")

type HH = '00'|'01'|'02'|'03'|'04'|'05'|'06'|'07'|...|'22'|'23'
type MM = '00'|'01'|'02'|'03'|'04'|'05'|'06'|'07'|...|'58'|'59'

type Time = `${HH}:${MM}`

就这么简单。

const validTimes: Time[] = ["00:00","01:30", "23:59", "16:30"]
const invalidTimes: Time[] = ["30:00", "23:60", "0:61"] // all emit error

下面是一个实时代码示例，您可以使用时间。

Answer 3

没有办法定义这样的类型。GitHub上有一个支持这一点的提议，但目前似乎不是优先事项。投票表决，也许团队会在未来的版本中包含它。

编辑

从4.1开始，您可以定义验证字符串的类型，而无需实际定义所有选项：

type MarkerTime =`${number| ''}${number}:${number}${number}`

let a: MarkerTime = "0-00" // error
let b: MarkerTime = "0:00" // ok
let c: MarkerTime = "09:00" // ok

游乐场链接