AutoRefineV没有从映射中提取显式推理？

Question

我有一个精炼的类型定义，如下所示：

type D = String Refined Regex "(a|b)"

我可以在一行中使用精化来表示值，但是由于某些原因，即使类型是显式的，在Map的上下文中使用时，autoRefineV也不会提取它。例如：

import eu.timepit.refined.auto.autoRefineV
val test1: D = "a" // this is fine
val test2 = Map[D, String]("a" -> "test") // this fails
val test3: Map[D, String] = Map("a" -> "test") // this also fails
val test4 = Map(test1 -> "test") // this works!

我得到的错误是：

found : (String, String)
required : (D, String)

因此，出于某种原因，该值不会自动从字符串转换为D类型？我需要定义一个Map[D, String]类型的细化对象吗？我是否需要使用证人(我不知道如何使用)？

Answer 1

您有一个从String到D的隐式转换，但是test2/3的定义需要一个从(String, String)到(D, String)的转换，而这个转换并不存在。

val test5 = Map(("a": D) -> "test")

如果你只想把它写成一行，应该可以用。