什么是双变量参数？~打字稿

Question

TypeScript 的文档随附Compiler Options，其中--strictFunctionTypes定义了其描述。不幸的是，无法获得什么是bivariant parameter。我也试图了解https://github.com/Microsoft/TypeScript/wiki/FAQ#why-are-function-parameters-bivariant。

Answer 1

“双变”参数是一个既协变又逆变的参数。

该打字稿2.6发行说明描述了--strictFunctionTypes编译器选项好，因为这是支持它的第一个版本。

在 --strictFunctionTypes 下，函数类型参数位置被逆变而不是双变量检查。有关函数类型的方差意味着什么的一些背景知识，请查看协方差和逆变是什么？。

该引用中链接的这篇文章描述了协方差和逆变之间的区别：https : //www.stephanboyer.com/post/132/what-are-covariance-and-contravariance