1

コメントのエラー メッセージを参照してください。

interface Printable {}

class Book(val title: String) :Printable

fun bookPrint(b: Book?):String =  "Title: " + b?.title

class Author(val name: String) :Printable

fun authorPrint(a: Author?):String = "Name: " + a?.name

// Unsupported: [modifier on parameter in function type]
// -------------vv
fun printIt(f: (in Printable?) -> String, a:Printable):String {
    return "Unknown: " + f.invoke(null) +
            "Known: " + f.invoke(a)
}

fun main(args: Array<String>) {
    // Type Mismatch:
    // Required: (Printable?) -> String
    // Found: KFunction1<Book?,String>
    // -------vvvvvvvvv
    printIt(::bookPrint, Book("Storm Front"))
    // -------vvvvvvvvvvv
    printIt(::authorPrint, Author("Jim Butcher"))
}

キーポイント：

  • bookPrint()authorPrint()どちらもnullの本/著者を取る必要があります
  • printIt()これらの関数のいずれかを取る必要があります。

したがって、「プロデューサー拡張、コンシューマースーパー」と考えると、私の問題は、入力パラメーターが反変(「in」)になるようにハードコーディングされている場合に、入力パラメーターを共変にしたいことだと思います。

私はうまくいかなかったこの考えを持っていました:

// Unresolved reference: KFunction1
// --------------vvvvvvvvvv
fun htmlList2(f: KFunction1<Printable?,String>, a:Printable):String {
    return "Unknown: " + f.invoke(null) +
            "Known: " + f.invoke(a)
}
4

1 に答える 1

3

私はこれが正しいと思います：

interface Printable {}

class Book(val title: String) :Printable

fun bookPrint(b: Book?):String =  "Title: " + b?.title

class Author(val name: String) :Printable

fun authorPrint(a: Author?):String = "Name: " + a?.name

// Add type parameter T, upper-bounded by Printable.  This ties
// the type of the first argument to the type of the second and
// ensures they are both Printable.
fun <T:Printable> printIt(f: (T?) -> String, a:T):String {
    return "Unknown: " + f.invoke(null) +
            "Known: " + f.invoke(a)
}

fun main(args: Array<String>) {
    printIt(::bookPrint, Book("Storm Front"))
    printIt(::authorPrint, Author("Jim Butcher"))
}

Generic Constraints: Upper Boundsに関するドキュメントを実験して読んでくれてありがとう

もっと良い方法があればまだ興味があります...

于 2016-05-31T00:34:09.607 に答える