代码之家 › 专栏 › 技术社区 › holbech

什么是通过TypeTag获得的“<细化>”类型?

implicits reflection scala

holbech · 技术社区 · 8 年前

我有一个方法:

import scala.reflect.runtime.universe.{TypeTag,typeOf}

def print[T:TypeTag] = println(typeOf[T].typeSymbol.name.toString)

大多数时候, print[MyClass] 印刷品 MyClass 调用时,但有时会打印 <refinement> ?

我正在处理一个相当复杂的系统(多个相互连接的jar,10万行代码),我似乎无法确定是什么决定了这是一种行为还是另一种行为。但如果我知道 <精益求精> 是什么意思,或者是什么触发的,也许我可以?

1 回复 | 直到 8 年前

Evgeny 8 年前

优化可以解释为匿名类类型。E、 g。

import scala.reflect.runtime.universe.{TypeTag,typeOf}

def print[T:TypeTag] = println(typeOf[T].typeSymbol.name.toString)

class C
trait T

print[C with T]

type A = C with T

print[A]

输出将为 <refinement> 在这两种情况下。

推荐文章

JBryanB · 如何从基本抽象类访问类属性

2 年前

Gabe Tucker · 无法在golang中分配接口对象指针

3 年前

jkone27 · F#-在编译时从字符串生成简单的空类型

7 年前

John Bustos · C#通用工厂模式,不说明通用工厂模式的类型

7 年前

Randall Flagg · 访问propertyinfo中的属性

7 年前

Kacper · 在反映的全名和成员c后的“*”中,“+”是什么意思#

7 年前

tobeypeters · 反射铸造

7 年前

McGuireV10 · 通过反射表示Func<dynamic,object>类型

7 年前

myst02 · 如何在另一个方法之后调用该方法?

7 年前

OldSchool · 如何强制c#NewtonSoft反序列化程序使用已创建的对象进行反序列化

7 年前