类型参数中*（星号）和_（下划线）之间的差异

Question

[Here有人说星标是scala 3的下划线，但是我在scala 2.13中看到了类似这样的代码：

def make[F[_]: ContextShift: MonadError[*[_], Throwable]: Effect: Logging](): ...

它具有相同的含义，只是在*中指定的类型与_中的类型不同吗？

Answer 1

[_表示（取决于上下文）] >>

• 类型构造函数-如果在类型参数定义/约束中使用

  def foo[F[_]]: Unit