Как вы проверяете функции и замыкания на равенство?

Ответ 1

Крис Лэттнер написал на форумах разработчиков:

Это функция, которую мы намеренно не хотим поддерживать. Есть множество вещей, которые вызовут равенство функций указателя (в системный смысл быстрого типа, который включает в себя несколько видов замыканий) сбой или изменение в зависимости от оптимизации. Если "===" были определены на функций, компилятору не будет разрешено объединять идентичный метод телами, обмениваться грошами и выполнять определенные оптимизации захвата в затворы. Кроме того, равенство такого рода было бы чрезвычайно удивительный в некоторых контекстах дженериков, где вы можете получить реабстрацию которые регулируют фактическую подпись функции до той, которая функция тип ожидает.

https://devforums.apple.com/message/1035180#1035180

Это означает, что вы даже не должны пытаться сравнивать замыкания для равенства, потому что оптимизация может повлиять на результат.

Ответ 2

Я тоже искал ответ. И я нашел его наконец.

• https://gist.github.com/dankogai/b03319ce427544beb5a4

Вам нужен фактический указатель на функцию и его контекст, скрытый в объекте функции.

func peekFunc<A,R>(f:A->R)->(fp:Int, ctx:Int) {
    typealias IntInt = (Int, Int)
    let (hi, lo) = unsafeBitCast(f, IntInt.self)
    let offset = sizeof(Int) == 8 ? 16 : 12
    let ptr  = UnsafePointer<Int>(lo+offset)
    return (ptr.memory, ptr.successor().memory)
}
@infix func === <A,R>(lhs:A->R,rhs:A->R)->Bool {
    let (tl, tr) = (peekFunc(lhs), peekFunc(rhs))
    return tl.0 == tr.0 && tl.1 == tr.1
}

И вот демо:

// simple functions
func genericId<T>(t:T)->T { return t }
func incr(i:Int)->Int { return i + 1 }
var f:Int->Int = genericId
var g = f;      println("(f === g) == \(f === g)")
f = genericId;  println("(f === g) == \(f === g)")
f = g;          println("(f === g) == \(f === g)")
// closures
func mkcounter()->()->Int {
    var count = 0;
    return { count++ }
}
var c0 = mkcounter()
var c1 = mkcounter()
var c2 = c0
println("peekFunc(c0) == \(peekFunc(c0))")
println("peekFunc(c1) == \(peekFunc(c1))")
println("peekFunc(c2) == \(peekFunc(c2))")
println("(c0() == c1()) == \(c0() == c1())") // true : both are called once
println("(c0() == c2()) == \(c0() == c2())") // false: because c0() means c2()
println("(c0 === c1) == \(c0 === c1)")
println("(c0 === c2) == \(c0 === c2)")

См. URL-адреса ниже, чтобы узнать, почему и как это работает:

• https://github.com/rodionovd/SWRoute/wiki/Function-hooking-in-Swift
• https://github.com/rodionovd/SWRoute/blob/master/SWRoute/rd_get_func_impl.c

Как вы видите, он способен проверять только идентификацию (второй тест дает false). Но это должно быть достаточно хорошо.

Ответ 3

Самый простой способ - обозначить тип блока как @objc_block, и теперь вы можете применить его к AnyObject, который сопоставим с ===. Пример:

    typealias Ftype = @objc_block (s:String) -> ()

    let f : Ftype = {
        ss in
        println(ss)
    }
    let ff : Ftype = {
        sss in
        println(sss)
    }
    let obj1 = unsafeBitCast(f, AnyObject.self)
    let obj2 = unsafeBitCast(ff, AnyObject.self)
    let obj3 = unsafeBitCast(f, AnyObject.self)

    println(obj1 === obj2) // false
    println(obj1 === obj3) // true

Ответ 4

Я много искал. Кажется, что нет никакого способа сравнения указателей функций. Лучшим решением, которое я получил, является инкапсуляция функции или закрытия в хешируемый объект. Как:

var handler:Handler = Handler(callback: { (message:String) in
            //handler body
}))

Ответ 5

Это отличный вопрос, и хотя Крис Лэттнер намеренно не хочет поддерживать эту функцию, я, как и многие разработчики, также не могу отпустить мои чувства, исходящие с других языков, где это тривиальная задача. Существует множество примеров unsafeBitCast, большинство из которых не показывают полную картину, здесь более подробный:

typealias SwfBlock = () -> ()
typealias ObjBlock = @convention(block) () -> ()

func testSwfBlock(a: SwfBlock, _ b: SwfBlock) -> String {
    let objA = unsafeBitCast(a as ObjBlock, AnyObject.self)
    let objB = unsafeBitCast(b as ObjBlock, AnyObject.self)
    return "a is ObjBlock: \(a is ObjBlock), b is ObjBlock: \(b is ObjBlock), objA === objB: \(objA === objB)"
}

func testObjBlock(a: ObjBlock, _ b: ObjBlock) -> String {
    let objA = unsafeBitCast(a, AnyObject.self)
    let objB = unsafeBitCast(b, AnyObject.self)
    return "a is ObjBlock: \(a is ObjBlock), b is ObjBlock: \(b is ObjBlock), objA === objB: \(objA === objB)"
}

func testAnyBlock(a: Any?, _ b: Any?) -> String {
    if !(a is ObjBlock) || !(b is ObjBlock) {
        return "a nor b are ObjBlock, they are not equal"
    }
    let objA = unsafeBitCast(a as! ObjBlock, AnyObject.self)
    let objB = unsafeBitCast(b as! ObjBlock, AnyObject.self)
    return "a is ObjBlock: \(a is ObjBlock), b is ObjBlock: \(b is ObjBlock), objA === objB: \(objA === objB)"
}

class Foo
{
    lazy var swfBlock: ObjBlock = self.swf
    func swf() { print("swf") }
    @objc func obj() { print("obj") }
}

let swfBlock: SwfBlock = { print("swf") }
let objBlock: ObjBlock = { print("obj") }
let foo: Foo = Foo()

print(testSwfBlock(swfBlock, swfBlock)) // a is ObjBlock: false, b is ObjBlock: false, objA === objB: false
print(testSwfBlock(objBlock, objBlock)) // a is ObjBlock: false, b is ObjBlock: false, objA === objB: false

print(testObjBlock(swfBlock, swfBlock)) // a is ObjBlock: true, b is ObjBlock: true, objA === objB: false
print(testObjBlock(objBlock, objBlock)) // a is ObjBlock: true, b is ObjBlock: true, objA === objB: true

print(testAnyBlock(swfBlock, swfBlock)) // a nor b are ObjBlock, they are not equal
print(testAnyBlock(objBlock, objBlock)) // a is ObjBlock: true, b is ObjBlock: true, objA === objB: true

print(testObjBlock(foo.swf, foo.swf)) // a is ObjBlock: true, b is ObjBlock: true, objA === objB: false
print(testSwfBlock(foo.obj, foo.obj)) // a is ObjBlock: false, b is ObjBlock: false, objA === objB: false
print(testAnyBlock(foo.swf, foo.swf)) // a nor b are ObjBlock, they are not equal
print(testAnyBlock(foo.swfBlock, foo.swfBlock)) // a is ObjBlock: true, b is ObjBlock: true, objA === objB: true

Интересная часть заключается в том, как быстро перемещать SwfBlock в ObjBlock, но на самом деле два литых блока SwfBlock всегда будут разных значений, а ObjBlocks - нет. Когда мы бросаем ObjBlock в SwfBlock, то же самое происходит с ними, они становятся двумя разными значениями. Поэтому, чтобы сохранить ссылку, этого рода литье следует избегать.

Я все еще разбираюсь в этом предмете, но одна вещь, о которой я мечтал, - это способность использовать @convention(block) для методов класса/структуры, поэтому я подал запрос функции, который нуждается в досрочном голосовании или объяснении, почему это плохая идея. Я также понимаю, что этот подход может быть плохим все вместе, если да, то может ли кто-нибудь объяснить, почему?

Ответ 6

Ну, это было 2 дня, и никто не подхватил решение, поэтому я поменяю свой комментарий на ответ:

Насколько я могу судить, вы не можете проверить равенство или идентичность функций (например, ваш пример) и метаклассов (например, MyClass.self):

Но - и это всего лишь идея - я не могу не заметить, что предложение where в общих файлах кажется для проверки равенства типов. Может быть, вы можете использовать это, по крайней мере, для проверки личности?

Ответ 7

Вот одно возможное решение (концептуально такое же, как ответ "tuncay" ). Дело в том, чтобы определить класс, который обертывает некоторые функции (например, Command):

Swift:

typealias Callback = (Any...)->Void
class Command {
    init(_ fn: @escaping Callback) {
        self.fn_ = fn
    }

    var exec : (_ args: Any...)->Void {
        get {
            return fn_
        }
    }
    var fn_ :Callback
}

let cmd1 = Command { _ in print("hello")}
let cmd2 = cmd1
let cmd3 = Command { (_ args: Any...) in
    print(args.count)
}

cmd1.exec()
cmd2.exec()
cmd3.exec(1, 2, "str")

cmd1 === cmd2 // true
cmd1 === cmd3 // false

Java:

interface Command {
    void exec(Object... args);
}
Command cmd1 = new Command() {
    public void exec(Object... args) [
       // do something
    }
}
Command cmd2 = cmd1;
Command cmd3 = new Command() {
   public void exec(Object... args) {
      // do something else
   }
}

cmd1 == cmd2 // true
cmd1 == cmd3 // false