有什么方法可以使用流来限制特定的字符串模式吗？

Question

我在 React 网络应用程序上使用 Flow，目前我正面临一个用例，我要求用户以 "HH:mm" 格式输入某些时间值。有什么方法可以描述字符串遵循的模式吗？

我一直在寻找解决方案，但我在某一点上同意的普遍共识似乎是你不需要使用 Flow 来处理这种事情，倾向于使用验证函数并依赖在 UI 代码上提供遵循正确模式的代码。不过，我想知道是否有任何方法可以实现这一点，以使代码尽可能具有描述性。

Answer 1

您想创建一个验证器函数，但使用不透明类型别名进行了增强：https://flow.org/en/docs/types/opaque-types/

或者，更具体地说，具有子类型约束的不透明类型别名：https://flow.org/en/docs/types/opaque-types/#toc-subtyping-constraints

您应该在定义不透明类型的同一文件中编写验证器函数。它将接受原始类型作为参数和 return 类型为具有子类型约束的不透明类型的值。

现在，在不同的文件中，您可以将一些变量键入为不透明类型，例如在函数参数中。 Flow 将强制您只传递通过验证器函数的值，但这些值可以像原始类型一样使用。

示例：

exports.js:

export opaque type ID: string = string;


function validateID(x: string): ID | void {
    if ( /* some validity check passes */ ) {
        return x;
    }

    return undefined;
}

import.js:

import type {ID} from './exports';

function formatID(x: ID): string {
    return "ID: " + x; // Ok! IDs are strings.
}

function toID(x: string): ID {
    return x; // Error: strings are not IDs.
}

有什么方法可以使用流来限制特定的字符串模式吗？

Is there any way to use flow to restrict specific string patterns?

reactjs

flowtype