如何在静态编程语言中定义泛型函数接口？

Question

我正在学习静态编程语言，我在函数方面有一些问题。我试图创建一个带有通用参数的函数接口。Java我会创建这样的东西：

@FunctionalInterface
public interface Foo<T extends Bar> {
    String something(T arg);
}

然后我可以在其他地方像这样使用它（给定Person扩展Bar：

Foo<Person> f = p -> p.toString();

你是怎么和Kotlin写这篇文章的？

我尝试的第一件事是使用如下类型别名：

typealias Foo<T> = (T) -> String

但是，当我将绑定添加到type参数时，它停止了工作：

typealias Foo<T: Bar> = (T) -> String  // Error: Bounds are not allowed on type alias parameters

第二种方法是编写一个扩展函数类型的接口：

interface Foo<T: Bar> : (T) -> String

然而，现在我不知道如何用这个来实例化lambda函数。当我从中创建类时，它会这样工作：

class Something: Foo<Person> {
    override fun invoke(p: Person): String {
        return p.toString()
    }
}

val f = Something()

但这是一个很大的开销，我相信一定有更好的解决方案。

那么，我如何定义一个可以被许多支持kotlin中具有边界的泛型参数的函数重用的函数签名呢？

Answer 1

大多数时候（总是？）在接收lambda的函数的参数中定义lambda的类型就足够了。

例如：

open class Bar
class Person: Bar()

var f = { p: Person -> p.toString() }

fun <T : Bar> withFoo(block: (T) -> String) { }
fun <T : Bar> otherFoo(block: (T) -> String) { }   

fun main() {
    withFoo(f)
    otherFoo(f)
}

与Kotlin文档所述的方式相同：“由于Kotlin具有适当的函数类型，因此不需要将函数自动转换为Kotlin接口的实现，因此不受支持。”

看见https://kotlinlang.org/docs/reference/java-interop.html#sam-转换