java - Scala/Java语法，返回接口(interface)实现

Question

这行代码在最下面的代码中是什么意思？

return Promise.<SimpleResult>pure  //why is the dot

我是 Scala 和 Java 6 的新手，相关主题/术语是什么？

如果框架没有找到请求的操作方法，onHandlerNotFound操作将被调用:

import play.*;
import play.mvc.*;
import play.mvc.Http.*;
import play.libs.F.*;

import static play.mvc.Results.*;

public class Global extends GlobalSettings {

    public Promise<SimpleResult> onHandlerNotFound(RequestHeader request) {
        return Promise.<SimpleResult>pure(notFound(
            views.html.notFoundPage.render(request.uri())
        ));
    }

更新:

play.libs.F.Java文件

public static class Promise<A> {

    public static <A> Promise<A> pure(final A a) {
        return FPromiseHelper.pure(a);
    }
}

什么是 <A>和 Promise<A> ？

Answer 1

Promise.pure()是一个泛型方法，用某种类型 T 参数化。

Promise.<SimpleResult>pure()使用 SimpleResult 作为通用类型调用此方法。大多数时候，这样做是可选的，因为编译器从方法的参数或结果分配给的变量的类型推断泛型类型，如

List<String> s = Collections.emptyList();

这是一个快捷方式

List<String> s = Collections.<String>emptyList();

或

Set<String> Collections.singleton("hello");

这是一个快捷方式

Set<String> Collections.<String>singleton("hello");