流类型中的（a：？string）和（a？：string）有什么区别？

Question

Flow中的？ a?: string和a: ?string a?: string什么区别？

function concat(a: ?string, b: ?string): string {
}

VS

function concat(a?: string, b?: string): string {
}

Answer 1

a: ?string是Maybe类型 - 实际上是string | null | void string | null | void 在这种情况下string | null | void 。

a?: string是可选属性 / paramerter - string | void string | void

它们之间的区别在于，类型也可以（除了类型本身） null或void ，并且可选参数only void 。

当使用可选或可能的参数function foo(a?: string)或function(a: ?string)调用函数时 - 在这两种情况下都可以省略参数。

另一个区别在于对象属性 - 只能省略可选属性：

type WithOptional = {
  foo?: string;
}
type WithMaybe = {
  foo: ?string;
}

const a: WithOptional = {}; // OK
const b: WithMaybe = {}; // Error

Answer 2

a?: string是可选参数 。 来自文档：

可选参数将接受缺失， undefined或匹配类型。 但他们不会接受null 。

a: ?string是一种类型 。 来自文档：

JavaScript代码引入“可选”值是很常见的，这样您就可以选择省略值或传递null。

...

也许类型接受提供的类型以及null或undefined 。 那么？number表示number ， null或undefined 。

因此，主要区别似乎是您可以对可能的类型使用null ，但不能为可选参数使用null 。