在Scala2.13中，为什么有时不能显式调用类型类？
在Scala 2.13中，有时不能显式调用类型类是因为Scala 2.13引入了新的隐式解析规则，即"strictly"隐式解析规则。根据这个规则，当编译器在解析隐式参数时，只有在当前作用域中存在唯一的隐式实例时，才会自动插入隐式参数。
这意味着，如果存在多个类型类实例满足隐式参数的要求，编译器将无法自动选择合适的实例，从而导致不能显式调用类型类。
为了解决这个问题，可以采取以下几种方法：
- 使用隐式参数列表：在方法或函数签名中显式声明一个隐式参数列表，并在调用时手动传入类型类实例。这样可以确保编译器能够正确地选择合适的实例。例如：
def myMethod[T](implicit tc: TypeClass[T]): Unit = {
// 方法体
}
implicit val typeClassInstance: TypeClass[MyType] = ???
myMethod[MyType] // 显式调用类型类- 使用implicitly方法：Scala提供了implicitly方法，可以在需要类型类实例的地方隐式地获取实例。例如：
def myMethod[T](implicit tc: TypeClass[T]): Unit = {
val instance = implicitly[TypeClass[T]] // 获取类型类实例
// 方法体
}
implicit val typeClassInstance: TypeClass[MyType] = ???
myMethod[MyType] // 隐式调用类型类- 使用context bound语法糖：context bound是一种简化隐式参数列表的语法糖，可以在方法或函数签名中使用。例如：
def myMethod[T: TypeClass]: Unit = {
val instance = implicitly[TypeClass[T]] // 获取类型类实例
// 方法体
}
implicit val typeClassInstance: TypeClass[MyType] = ???
myMethod[MyType] // 隐式调用类型类需要注意的是，以上方法都需要在当前作用域中存在合适的类型类实例，否则编译器将无法解析隐式参数。
关于Scala 2.13中的隐式解析规则和类型类的更多信息，可以参考腾讯云的Scala开发指南中的相关章节：Scala开发指南-隐式转换和隐式参数。
相关·内容
下面是shapeless 2.3.3中的一个简单示例： val book = ("title" ->>尽管v2在语法上与v1相同，但最后一行给出了以下错误： : could not find implicit value for parameter c: shapeless.ops.hlist.IsHCons_vs.Out]
one error found 进一步研究表明，symb
浏览 23提问于2021-01-08得票数 2
回答已采纳
HasValues(book).vs
val _vs2: Values.Aux[hv.TT, _vs.Out] = _vs 为什么第二次编译失败，而且，如何摆脱样板的鸭子类型声明？(当然，不修改类
浏览 31提问于2021-01-09得票数 1
回答已采纳
我在IntelliJ中得到了这个错误：
您能建议我应该添加哪个包吗?或者如果可以共享breakOut类的代码，那么定义它就可以了吗？
浏览 1提问于2021-05-21得票数 1
我正在使用Scala2.13，我正在开发我自己的Reader monad。monad的实现如下。Reader[StockRepository, Map[String, Double]] = }
我的问题是，为什么我要在最后一个函数定义(repo: StockRepository) => repo.findAll()中显式地指定(repo: StockRepository) => repo.fin
浏览 7提问于2020-02-07得票数 1
回答已采纳
我想知道为什么我们必须在PHP中显式调用父构造函数？假设我们忘记调用派生类中的父构造函数，会发生什么呢？我认为派生类不能访问其父类的成员属性或方法，但在我尝试不调用父类构造函数之后，似乎子类仍然可以访问它的父类public/protected成员。
那么我们必须显式地调用它的父构造函
浏览 0提问于2012-06-07得票数 7
回答已采纳
我正在迁移到Scala2.13。剧本中的args: (Symbol, String)*模板给了我以下警告：<form method="@action.method" @body
<
浏览 6提问于2019-09-23得票数 5
1回答
我有一些Scala2.13代码，基本上可以归结为 type V implicit def getV[T <: Base](a: T): T#V = a.v
}
在这里，我希望编译器使用隐式转换手动添加对getV的调用，将使代码编译。有人能帮我理解为什么转换到哪里才能在标准<em
浏览 3提问于2021-08-27得票数 2
1回答
我有一个带有成员模板函数的类：class Writer { ...void addField(const std::string& name, V v) // write something};// writer.cppvoid Writer::addField&
浏览 0提问于2015-05-29得票数 10
回答已采纳
根据类型是显式声明还是推断，下面的代码提供不同的输出。
为什么它会这样表现。如果声明类型，为什么不能在类中实现myFloat？如果我想显式声明类型，但也要覆盖扩展中的实现，以便调用testClass1.myFloat()返回2.7，我需要做什么？
浏览 3提问于2016-12-12得票数 0
回答已采纳
2回答
我理解在大多数情况下，我们不应该显式地调用析构函数。但是，我看到了C++11 Standard N3485第13.4.5节模板参数中的一个示例：
对具有类模板专门化类型的对象的显式析构函数调用可以显式指定模板参数。我们可以显式地调用析构函数，您能解释一下为什么吗？在这个例子中，那些析构函数是
浏览 5提问于2013-05-23得票数 48
回答已采纳
新样式类的特殊方法查找()：
元类(类型)：.def __getattributedef __getattribute__(*args)：.打印“被调用的类get属性”..。通过实例类getattribute返回object.__len__() #显式查找通过调用10
浏览 5提问于2016-07-27得票数 4
回答已采纳
当我们每次在Java中显式调用finalize()时，是否必须调用System.gc()方法？2.我知道当我们每次显式调用System.gc()时都不会调用()，但现在的问题是为什么有时调用而有时不调用？我想我的问题现在更有价值了。
浏览 0提问于2018-04-29得票数 2
回答已采纳
一段时间以来，我一直在尝试确定为什么Object类有一个公共的、无参数的构造函数，或者，实际上，为什么它没有被标记为abstract。我看不出有什么合理的情况需要(显式地)调用Object的公共构造函数；我们只对派生类型的构造函数感兴趣。我知道需要在Object中提供一个默认构造函数，为每个其他Type提供一个默认构造函数，它可以隐式或显式地调用它。当然，这个默认构造函数只需要标记
浏览 0提问于2012-11-01得票数 3
回答已采纳
*包中的类的各种实现，但是对于我真正想要了解的特定语法，我仍然会遇到特定的编译器错误(显式类型参数，如obj.<Type>foo(/*...*/)工作，但它们缺乏优雅)。简而言之，我希望能够在可能的情况下始终使用方法引用，而且出于某种原因，我不明白为什么编译器不能理解下面解释的引用。3)正如预期的那样，显式地声明类型工作正常，没有编译错误：
fb.<String
浏览 4提问于2015-03-07得票数 4
回答已采纳
4回答
考虑以下代码：在这里，obj是Object类型，这是合理的，因为对象是C#中每个类的基本类型。在这里，由于derObj的类型是在编译时定义的，所以这里需要显式地使用类型转换。编译器不能自己预测它将是DerivedClass的。我知道，转换类型不必与Derived类型相匹配，但出于实际目的，它只会与Derived<em
浏览 0提问于2011-10-27得票数 7
回答已采纳
(在本例中，ContentGridCell使用一个名为Content的属性content，传递给onPress的c也是同一个类)：{}但是，TypeScript不能推断这两个函数中的类型</e
浏览 2提问于2019-11-15得票数 0
1回答
在C++1y中，函数的返回类型可能涉及本地定义的类型： class C {};}auto x = foo(); // Type not given explicitly
decltype(foo()) y = foo(); // Providesno more inf
浏览 0提问于2014-03-13得票数 11
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
