Làm thế nào để sử dụng/tham khảo phủ định của một hàm boolean trong Scala?

Question

Tôi đang cố gắng sử dụng sự phủ định của một hàm boolean trong Scala, chẳng hạn như:

def someFunction(x: Set, p: Int => Boolean): Boolean = 
    someOtherFunction(x, !p) 

Nhưng tôi nhận được lỗi:

value unary_! is not a member of Int => Boolean 

Làm thế nào tôi có thể tham khảo sự phủ định của p?

Answer 1

Phủ định p là một hàm áp dụng p cho đối số của nó và phủ nhận kết quả.

x => !p(x) 

Nếu bạn muốn để có thể viết !p hoặc p && q bạn có thể sử dụng this library, mà chủ chứa chức năng mà trả về một bool với toán tử logic khác nhau.

Answer 2

Một cách khác để giải quyết nó mà không cần sử dụng hàm ẩn danh là xác định hàm cụ thể cho tác vụ này.

def even(x:Int):Boolean = x%2==0 
def not(f: Int => Boolean): Int => Boolean = !f(_) 
def odd = not(even) 
odd(1) // true 
odd(2) // false 

Bạn cũng có thể xác định! chính mình

def even: Int => Boolean = _%2==0 
implicit def bangy(f: Int => Boolean) = new { def unary_! : Int => Boolean = !f(_) } 
def odd = !even 
odd(1) // true 
odd(2) // false 

nhưng điều này dường như chỉ hoạt động đối với các chức năng kiểu Int => Boolean, chứ không phải (Int) => Boolean. Giải pháp không (thậm chí) hoạt động với cả hai.

Answer 3

phủ Shortest của p: p (_)

Khi bạn áp dụng các vị p như một đối số chức năng khác:

• p hay p (_) là chữ viết tắt của sự xuất hiện lambda: (x) => p (x)
• ! p (_) là từ viết tắt của lambda expresion: (x) =>! p (x) và chỉ với! p trình biên dịch bị mất.

Ví dụ, sử dụng một tập các số nguyên (thử nó trên một bảng Scala):

def someOtherFunction (x: Set[Int], p: Int => Boolean):Boolean = x.forall(p) 
    def someFunction(x: Set[Int], p: Int => Boolean): Boolean = 
    someOtherFunction(x, !p(_)) 

    val x = Set(1,2,3) 
    var p: Int => Boolean = (_ > 0) 
    //_ > 0 is an abbreviaton of (x) => x > 0 

    someFunction(x, p)  //false 
    someOtherFunction(x, p) //true 

    p = _ > 1 
    someFunction(x, p)  //false 
    someOtherFunction(x, p) //false 

    p = _ > 3 
    someFunction(x, p)  //true 
    someOtherFunction(x, p) //false 
    println