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

缩小值类型的语法是 prefix 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只是一个产生Boolean值的运算符表达式。它不会缩小其论点的类型。

Answer 2

这是第二种可能性：在 Ceylon 1.2 中，Iterable.narrow()可以使用新方法：

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

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

takeOnlyStrings(*ab.narrow<String>());

希望有帮助！