如何在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

type D1 = 0|1;
type D3 = D1|2|3;
type D5 = D3|4|5;
type D9 = D5|6|7|8|9;

type Hours = `${D9}` | `${D1}${D9}` | `2${D3}`;
type Minutes = `${D5}${D9}`;
type Time = `${Hours}:${Minutes}`;

紧凑的解决方案聚合了来自@bela53和@yoel halb的想法。

此解决方案有 2039 个 Time 类型的枚举成员。

TS游乐场

Answer 2

没有办法定义这样的类型.有一项关于GitHub 的建议支持这一点,但它目前似乎不是一个优先事项.投票,也许团队可能会在未来的版本中包含它.

Answer 3

在 regex 类型可用于该语言之前，您现在可以在 TS 4.1 中使用模板文字类型。

让我参考问题示例并说明，如何对string名为Time. 为简化起见，这里需要Time格式hh:mm（例如"23:59"）的字符串。

第 1 步：定义HH和MM类型

将以下代码粘贴到您的浏览器 Web 控制台中：

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 = ")

生成的结果，我们可以将其用作 TS 中的类型：

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

第 2 步：声明 Time

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

就那么简单。

第 3 步：一些测试

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

这是一个实时代码示例，可以使用Time.

Answer 4

基于@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