Phương thức trả về Danh sách kích thước n trong Shapeless

Question

Có thể làm cho mã sau hoạt động không?

def zeroTo[N <: Nat]:Sized[List[Int], N] = { 
    new Sized[List[Int], N](List.iterate(0, toInt[N])(1+)) { 
    type A = Int 
    } 
} 

Tôi nhận được lỗi biên dịch nói "không thể tìm thấy giá trị tiềm ẩn cho tham số đếnIntN: shapeless.ToInt [N]".

Answer 1

Bạn chỉ có thể thêm một bối cảnh bị ràng buộc:

def zeroTo[N <: Nat: ToInt]: Sized[List[Int], N] = { 
    new Sized[List[Int], N](List.iterate(0, toInt[N])(1+)) { 
    type A = Int 
    } 
} 

nào cho chúng ta:

scala> zeroTo[_6] 
res0: shapeless.Sized[List[Int],shapeless.Nat._6] = List(0, 1, 2, 3, 4, 5) 

Lưu ý rằng bạn có thể viết này ít nhiều tương đương như sau sử dụng wrap:

def zeroTo[N <: Nat: ToInt]: Sized[List[Int], N] = 
    Sized.wrap(List.iterate(0, toInt[N])(1+)) 

Cập nhật: Phiên bản cho r Shapeless 2.2.0:

def zeroTo[N <: Nat: ToInt]: Sized[List[Int], N] = { 
    Sized.wrap[List[Int], N](List.iterate(0, toInt[N])(1+)) 
}