ceylon - 如何在 ceylon 以优雅的方式按类型过滤？

Question

我希望以下内容能够发挥作用:

void takeOnlyStrings(String* s) {
   print(s);
}

{String|Integer*} ab = {"Hi", 1};

takeOnlyStrings(for (item in ab) if (item is String) item);

甚至是这样:

Boolean isString(Object o) => (o is String);
takeOnlyStrings(ab.filter(isString));

但运气不佳。

Answer 1

缩小值类型的语法是前缀is Type val，例如:

void takeOnlyStrings(String* s) {
    print(s);
}

{String|Integer*} ab = {"Hi", 1};

takeOnlyStrings(for (item in ab) if (is String item) item);

语法item is String只是一个生成 bool 值的运算符表达式。它不会缩小其参数的类型。