是否可以调用 Any 的 AsFunction() 变量？

Question

最近我遇到了创建函数数组的需求。不幸的是，Swift 语言没有为函数提供顶级类型，而是必须通过它们的特定签名 (...)->(...) 来声明它们。所以我尝试编写一个可以容纳任何函数的包装器，然后将其专门用于仅容纳具有Void 返回类型和任意数量的参数的闭包。

struct AnyFunction {
    let function: Any
    init?(_ object: Any){
        switch String(describing: object){
            case let function where function == "(Function)":
                self.function = object
            default:
                return nil
        }
    }
    func callAsFunction(){
        self.function()
    }
}

随着我的进步，我发现这并非微不足道，可能需要一些内省的技巧，但尽管我尝试了，但我未能找到解决方案。编译器消息：

error: cannot call value of non-function type 'Any'

那么你将如何制作这个技巧，即明确地说，定义一个可以容纳任何函数类型的对象？

澄清： 我更喜欢定义如下内容：

typealias SelfSufficientClosure = (...)->Void
var a, b, c = 0
let funcs = FunctionSequence
    .init(with: {print("Hi!")}, {a in a + 3}, {b in b + 3}, { a,b in c = a + b})
for f in funcs { f() }

print([a, b, c])
//outputs 
//"Hi"
//3, 3, 6

PS 这个问题和这个问题有关 (Any or a trouble with sequence of functions)

Answer 1

函数是从输入到输出的映射。在您的示例中，您的输入是无效的（没有输入），您的输出也是无效的（没有输出）。所以这种函数就是() -> Void。

我们可以根据您的称呼来判断这是正确的类型：

for f in funcs { f() }

您希望f 是一个不接受输入也不返回输出的函数，这正是() -> Void 的定义。通过使用该类型（并清除一些语法错误），我们可以准确地获得您期望的输入和输出：

var a = 0, b = 0, c = 0

let funcs: [() -> Void] = [{print("Hi!")}, {a = a + 3}, { b = b + 3}, { c = a + b}]
for f in funcs { f() }

print(a, b, c, separator: ",")
//outputs
//Hi!
//3, 3, 6

当您编写像 {a in a + 3} 这样的闭包时，这并不意味着“捕获 a”（我相信您会期待这一点）。这意味着“这是一个闭包，它接受一个名为a 的参数（与同名的全局变量完全无关）并返回该值加3。”如果这就是你的意思，那么当你调用f() 时，你需要传递一些东西并用返回值做一些事情。

Answer 2

您可以使用枚举将各种函数放入数组中，然后通过开关提取函数。

 enum MyFuncs {
        case Arity0 ( Void -> Void )
        case Arity2 ( (Int, String) -> Void)
    }

    func someFunc(n:Int, S:String) { }
    func boringFunc() {}
    var funcs = Array<MyFuncs>()
    funcs.append(MyFuncs.Arity0(boringFunc))
    funcs.append( MyFuncs.Arity2(someFunc))

    for f in funcs {
        switch f {
        case let .Arity0(f):
            f()  // call the function with no arguments
        case let .Arity2(f):
            f(2,"fred") // call the function with two args
        }
    }