Scala Macros: Kiểm tra chú thích nhất định

Question

Nhờ câu trả lời cho my previous question, tôi có thể tạo macro chức năng sao cho nó trả về một Map ánh xạ từng tên trường tới giá trị của một lớp, ví dụ:

... 

trait Model 

case class User (name: String, age: Int, posts: List[String]) extends Model { 
    val numPosts: Int = posts.length 

    ... 

    def foo = "bar" 

    ... 
} 

Vì vậy, lệnh này

val myUser = User("Foo", 25, List("Lorem", "Ipsum")) 

myUser.asMap 

lợi nhuận

Map("name" -> "Foo", "age" -> 25, "posts" -> List("Lorem", "Ipsum"), "numPosts" -> 2) 

Đây là nơi Tuple s cho Map được tạo ra (xem Travis Brown answer):

... 

val pairs = weakTypeOf[T].declarations.collect { 
    case m: MethodSymbol if m.isAccessor => 
    val name = c.literal(m.name.decoded) 
    val value = c.Expr(Select(model, m.name)) 
    reify(name.splice -> value.splice).tree 
} 

... 

Bây giờ tôi muốn bỏ qua các trường có chú thích @transient. Làm cách nào để kiểm tra xem phương thức có chú thích @transient không?

Tôi đang nghĩ đến việc thay đổi đoạn mã trên như

val pairs = weakTypeOf[T].declarations.collect { 
    case m: MethodSymbol if m.isAccessor && !m.annotations.exists(???) => 
     val name = c.literal(m.name.decoded) 
     val value = c.Expr(Select(model, m.name)) 
     reify(name.splice -> value.splice).tree 
} 

nhưng tôi không thể tìm thấy những gì tôi cần phải viết trong exists phần. Làm thế nào tôi có thể nhận được @transient làm Annotation để tôi có thể chuyển nó ở đó?

Cảm ơn trước!

Answer 1

Chú thích sẽ nằm trên chính trang val, không phải trên trình truy cập. Cách đơn giản nhất để truy cập val là thông qua việc accessed phương pháp trên MethodSymbol:

def isTransient(m: MethodSymbol) = m.accessed.annotations.exists(
    _.tpe =:= typeOf[scala.transient] 
) 

Bây giờ bạn chỉ có thể viết như sau trong bạn collect:

case m: MethodSymbol if m.isAccessor && !isTransient(m) => 

Lưu ý rằng phiên bản của isTransient tôi đã đưa ở đây phải được xác định trong macro của bạn, vì nó cần nhập từ c.universe, nhưng bạn có thể xác định nó bằng cách thêm đối số Universe nếu bạn đang thực hiện loại điều này trong một số macro.