我在研究Java 8源代码时，发现这部分代码非常令人惊讶:
// Defined in IntPipeline.java
@Override
public final OptionalInt reduce(IntBinaryOperator op) {
return evaluate(ReduceOps.makeInt(op));
}
@Override
public final OptionalInt max() {
return reduce(Math::max); // This is the gotcha line
}
// Defined in Math.java
public static int max(int a, int b) {
return (a >= b) ? a : b;
}
max是一个方法指针吗?一个正常的静态方法如何转换为IntBinaryOperator?
当前回答
由于这里的许多答案都很好地解释了::行为，另外，我想澄清::操作符不需要与引用函数接口具有完全相同的签名，如果它用于实例变量。让我们假设我们需要一个类型为TestObject的BinaryOperator。传统的实现方式是这样的:
BinaryOperator<TestObject> binary = new BinaryOperator<TestObject>() {
@Override
public TestObject apply(TestObject t, TestObject u) {
return t;
}
};
正如您在匿名实现中看到的，它需要两个TestObject参数并返回一个TestObject对象。为了通过使用::操作符来满足这个条件，我们可以从一个静态方法开始:
public class TestObject {
public static final TestObject testStatic(TestObject t, TestObject t2) {
return t;
}
}
然后调用:
BinaryOperator<TestObject> binary = TestObject::testStatic;
它编译得很好。如果我们需要实例方法呢?让我们用一个实例方法更新TestObject:
public class TestObject {
public final TestObject testInstance(TestObject t, TestObject t2) {
return t;
}
public static final TestObject testStatic(TestObject t, TestObject t2) {
return t;
}
}
现在我们可以像下面这样访问实例:
TestObject testObject = new TestObject();
BinaryOperator<TestObject> binary = testObject::testInstance;
这段代码编译得很好，但下面的代码不行:
BinaryOperator<TestObject> binary = TestObject::testInstance;
我的Eclipse告诉我“不能从类型TestObject中对非静态方法testInstance(TestObject, TestObject)进行静态引用…”
很好。它是一个实例方法，但如果我们重载testInstance，如下所示:
public class TestObject {
public final TestObject testInstance(TestObject t) {
return t;
}
public final TestObject testInstance(TestObject t, TestObject t2) {
return t;
}
public static final TestObject testStatic(TestObject t, TestObject t2) {
return t;
}
}
和电话:
BinaryOperator<TestObject> binary = TestObject::testInstance;
代码将正常编译。因为它将用一个参数而不是双参数调用testInstance。好的，那么两个参数发生了什么?让我们打印出来看看:
public class TestObject {
public TestObject() {
System.out.println(this.hashCode());
}
public final TestObject testInstance(TestObject t) {
System.out.println("Test instance called. this.hashCode:" +
this.hashCode());
System.out.println("Given parameter hashCode:" + t.hashCode());
return t;
}
public final TestObject testInstance(TestObject t, TestObject t2) {
return t;
}
public static final TestObject testStatic(TestObject t, TestObject t2) {
return t;
}
}
它将输出:
1418481495
303563356
Test instance called. this.hashCode:1418481495
Given parameter hashCode:303563356
好，JVM足够聪明，可以调用param1.testInstance(param2)。我们可以从其他资源中使用testInstance而不是TestObject吗?例如:
public class TestUtil {
public final TestObject testInstance(TestObject t) {
return t;
}
}
和电话:
BinaryOperator<TestObject> binary = TestUtil::testInstance;
它只是不编译，编译器会说:“类型TestUtil没有定义testInstance(TestObject, TestObject)”。
因此，如果静态引用不是同一类型，编译器将查找它。那么多态性呢?如果我们删除最后的修饰符，并添加SubTestObject类:
public class SubTestObject extends TestObject {
public final TestObject testInstance(TestObject t) {
return t;
}
}
和电话:
BinaryOperator<TestObject> binary = SubTestObject::testInstance;
它也不会编译。编译器仍然会查找静态引用。但是下面的代码可以很好地编译，因为它通过了is-a测试:
public class TestObject {
public SubTestObject testInstance(Object t) {
return (SubTestObject) t;
}
}
BinaryOperator<TestObject> binary = TestObject::testInstance;
其他回答
返回减少(数学:max);不等于返回reduce(max());。
但它的意思是这样的:
IntBinaryOperator myLambda = (a, b)->{(a >= b) ? a : b};//56 keystrokes I had to type -_-
return reduce(myLambda);
如果你这样写，你可以节省47个按键:
return reduce(Math::max); // Only 9 keystrokes ^_^
在旧的Java版本中，你可以使用:而不是"::"或lambd:
public interface Action {
void execute();
}
public class ActionImpl implements Action {
@Override
public void execute() {
System.out.println("execute with ActionImpl");
}
}
public static void main(String[] args) {
Action action = new Action() {
@Override
public void execute() {
System.out.println("execute with anonymous class");
}
};
action.execute();
//or
Action actionImpl = new ActionImpl();
actionImpl.execute();
}
或者传递给方法:
public static void doSomething(Action action) {
action.execute();
}
通常，我们会使用Math调用reduce方法。Max (int, int)如下:
reduce(new IntBinaryOperator() {
int applyAsInt(int left, int right) {
return Math.max(left, right);
}
});
这需要大量的语法来调用Math.max。这就是lambda表达式发挥作用的地方。因为Java 8允许它以更短的方式做同样的事情:
reduce((int left, int right) -> Math.max(left, right));
这是如何工作的呢?java编译器“检测”到你想要实现一个接受两个int型并返回一个int型的方法。这等价于接口IntBinaryOperator的唯一方法的形式参数(要调用的方法reduce的参数)。所以编译器会帮你完成剩下的工作——它只是假设你想要实现IntBinaryOperator。
但作为数学。max(int, int)本身满足IntBinaryOperator的形式要求，它可以直接使用。因为Java 7没有任何允许方法本身作为参数传递的语法(你只能传递方法结果，但不能传递方法引用)，所以Java 8引入了::语法来引用方法:
reduce(Math::max);
注意，这将由编译器解释，而不是由JVM在运行时解释!虽然它为所有三个代码段生成了不同的字节码，但它们在语义上是相等的，因此后两个可以被认为是上面IntBinaryOperator实现的简短(而且可能更有效)版本!
(参见Lambda表达式的翻译)
我发现这个来源非常有趣。
事实上，是lambda变成了双冒号。双冒号可读性更好。
我们遵循以下步骤:
步骤1
// We create a comparator of two persons
Comparator c = (Person p1, Person p2) -> p1.getAge().compareTo(p2.getAge());
步骤2
// We use the interference
Comparator c = (p1, p2) -> p1.getAge().compareTo(p2.getAge());
步骤3
// The magic using method reference
Comparator c = Comparator.comparing(Person::getAge);
在Java 8中，Streams Reducer作为一个函数，它接受两个值作为输入，并在经过一些计算后返回结果。这个结果被输入到下一个迭代中。
在Math:max函数的情况下，该方法会不断返回传递的两个值中的最大值，最终您将得到最大的数字。
