Intellij IDEA在“专有”类型名称后加并加减号，为什么？

Question

这发生在我很多上，所以我的设置可能有问题或其他原因，但是也许还有另一种解释吗？问题是：什么是Gen[A_]类型？特别是A_是什么（请注意下划线）？

Answer 1

使用的forAll与定义的不同，如您所见，定义的类型为A，因此如果它们重用A，因为使用的forAll的类型参数可能导致模糊开发人员，他们添加了下划线以使其与众不同。