全国领先网站制作,中国建设银行车主卡网站,WordPress开发微信支付,给我做网站的人老是给我留点尾巴Yahor最近提出的Stack Overflow问题引起了我的兴趣#xff1a; 如何在Java 8编译时确保方法签名“实现”功能接口 。 这是一个很好的问题。 让我们假设以下名义类型#xff1a; FunctionalInterface
interface LongHasher {int hash(long x);
}该类型强加了清晰的合同。 实现… Yahor最近提出的Stack Overflow问题引起了我的兴趣 如何在Java 8编译时确保方法签名“实现”功能接口 。 这是一个很好的问题。 让我们假设以下名义类型 FunctionalInterface
interface LongHasher {int hash(long x);
} 该类型强加了清晰的合同。 实现者必须提供一个带有long参数的名为hash()方法并返回一个int值。 当使用lambda或方法引用时则hash()方法名称不再相关结构类型long - int就足够了。 在他的问题中Yahor希望通过三种静态方法由我修改的示例强制实施上述类型 class LongHashes {// OKstatic int xorHash(long x) {return (int)(x ^ (x 32));}// OKstatic int continuingHash(long x) {return (int)(x (x 32));}// Yikesstatic int randomHash(NotLong x) {return xorHash(x * 0x5DEECE66DL 0xBL);}
} 而且他希望Java编译器在第三种情况下抱怨因为randomHash()不“符合” LongHasher 。 当然通过将static方法以其功能符号方法引用实际分配给LongHasher实例很容易产生编译错误 // OK
LongHasher good LongHashes::xorHash;
LongHasher alsoGood LongHashes::continuingHash;// Yikes
LongHasher ouch LongHashes::randomHash; 但这并没有/应该做到的那么简洁。 类型约束应直接施加在static方法上。 Java的实现方式是什么 当然有注释 我敢打赌JDK 10将显示以下模式 class LongHashes {// CompilesReferenceableAs(LongHasher.class)static int xorHash(long x) {return (int)(x ^ (x 32));}// CompilesReferenceableAs(LongHasher.class)static int continuingHash(long x) {return (int)(x (x 32));}// Doesnt compileReferenceableAs(LongHasher.class)static int randomHash(NotLong x) {return xorHash(x * 0x5DEECE66DL 0xBL);}
} 实际上您现在已经可以实现这样的注释并编写自己的注释处理器 或JSR-308检查器 来验证这些方法。 期待另一个伟大的注释 那么谁敢打赌我们将在JDK 10中使用此注释 翻译自: https://www.javacodegeeks.com/2015/06/were-taking-bets-this-annotation-will-soon-show-up-in-the-jdk.html
