สตรีม. min () และ .max () ของ Java 8: ทำไมคอมไพล์นี้

หมายเหตุ: คำถามนี้มาจากลิงก์ตายซึ่งเป็นคำถาม SO ก่อนหน้า แต่นี่จะไป ...

ดูรหัสนี้ ( หมายเหตุ: ฉันรู้ว่ารหัสนี้จะไม่ "ทำงาน" และInteger::compareควรใช้ - ฉันเพิ่งแยกมันออกจากคำถามที่เชื่อมโยง ):

final ArrayList <Integer> list 
    = IntStream.rangeClosed(1, 20).boxed().collect(Collectors.toList());

System.out.println(list.stream().max(Integer::max).get());
System.out.println(list.stream().min(Integer::min).get());

ตาม Javadoc ของ.min()และข้อโต้แย้งของทั้งสองควรจะเป็น.max() Comparatorแต่ที่นี่การอ้างอิงวิธีการเป็นวิธีการคงที่ของIntegerชั้นเรียน

ดังนั้นทำไมการรวบรวมนี้เลย

ให้ฉันอธิบายสิ่งที่เกิดขึ้นที่นี่เพราะมันไม่ชัดเจน!

ก่อนอื่นStream.max()ยอมรับอินสแตนซ์Comparatorเพื่อให้รายการในสตรีมสามารถนำมาเปรียบเทียบกันเพื่อค้นหาค่าต่ำสุดหรือสูงสุดในลำดับที่ดีที่สุดที่คุณไม่จำเป็นต้องกังวลมากเกินไป

ดังนั้นคำถามคือทำไมจึงเป็นที่Integer::maxยอมรับ หลังจากทั้งหมดมันไม่ใช่ตัวเปรียบเทียบ!

คำตอบคือวิธีการที่ฟังก์ชั่นแลมบ์ดาใหม่ทำงานใน Java 8 ขึ้นอยู่กับแนวคิดที่รู้จักกันอย่างไม่เป็นทางการในรูปแบบ "single abstract method" หรือ "SAM" อินเตอร์เฟส แนวคิดคืออินเทอร์เฟซใด ๆ ที่มีวิธีนามธรรมหนึ่งสามารถนำไปใช้โดยอัตโนมัติโดยแลมบ์ดาใด ๆ หรือการอ้างอิงวิธีการ - ซึ่งมีลายเซ็นวิธีการที่ตรงกับวิธีการหนึ่งในอินเตอร์เฟซ ดังนั้นตรวจสอบComparatorอินเทอร์เฟซ (เวอร์ชันง่าย):

public Comparator<T> {
    T compare(T o1, T o2);
}

หากวิธีการกำลังมองหาComparator<Integer>แล้วก็เป็นหลักมองหาลายเซ็นนี้:

int xxx(Integer o1, Integer o2);

ผมใช้ "xxx" เพราะชื่อวิธีที่ไม่ได้ใช้เพื่อวัตถุประสงค์ในการจับคู่

ดังนั้นทั้งสองInteger.min(int a, int b)และInteger.max(int a, int b)อยู่ใกล้พอที่ autoboxing จะทำให้สิ่งนี้ปรากฏComparator<Integer>ในบริบทของเมธอด

Comparatorเป็นอินเทอร์เฟซที่ใช้งานได้และInteger::maxเป็นไปตามอินเทอร์เฟซนั้น (หลังจากนำมาพิจารณาโดยอัตโนมัติ / ไม่ได้พิจารณา) มันต้องใช้intค่าสองค่าและส่งกลับค่าint- ตามที่คุณคาดหวัง a Comparator<Integer>ถึง (อีกครั้งการเหล่ที่จะละเว้นความแตกต่างของจำนวนเต็ม / int)

แต่ผมจะไม่ได้คาดหวังว่ามันจะทำสิ่งที่ถูกต้องให้ที่Integer.maxไม่สอดคล้องกับความหมายComparator.compareของ และโดยทั่วไปมันใช้งานไม่ได้จริง ๆ ตัวอย่างเช่นทำการเปลี่ยนแปลงเพียงเล็กน้อย:

for (int i = 1; i <= 20; i++)
    list.add(-i);

... และตอนนี้maxค่าคือ -20 และminค่าคือ -1

ทั้งสองสายควรใช้Integer::compare:

System.out.println(list.stream().max(Integer::compare).get());
System.out.println(list.stream().min(Integer::compare).get());

ใช้งานได้เนื่องจากInteger::minแก้ไขการใช้Comparator<Integer>อินเทอร์เฟซ

อ้างอิงวิธีการInteger::minแก้ไขที่จะInteger.min(int a, int b)มีมติIntBinaryOperatorและสันนิษฐาน Autoboxing BinaryOperator<Integer>เกิดขึ้นที่ใดที่หนึ่งทำให้มันเป็น

และmin()รับผิดชอบmax()วิธีการของการStream<Integer>ขอให้Comparator<Integer>อินเตอร์เฟซที่จะดำเนินการ ตอนนี้แก้ไขนี้ไปวิธีการเดียว
Integer compareTo(Integer o1, Integer o2)ชนิดBinaryOperator<Integer>ไหน

BinaryOperator<Integer>และทำให้ความมหัศจรรย์ได้เกิดขึ้นเป็นวิธีการทั้งสองเป็น

นอกเหนือจากข้อมูลที่ได้รับจากเดวิดเมตรลอยด์หนึ่งสามารถเพิ่มว่ากลไกที่ช่วยให้นี้เรียกว่าพิมพ์เป้าหมาย

แนวคิดคือประเภทที่คอมไพเลอร์กำหนดให้กับแลมบ์ดานิพจน์หรือการอ้างอิงวิธีการไม่ได้ขึ้นอยู่กับการแสดงออกเท่านั้น แต่ยังขึ้นอยู่กับที่มันถูกใช้

เป้าหมายของนิพจน์คือตัวแปรที่กำหนดผลลัพธ์หรือพารามิเตอร์ที่ส่งผลลัพธ์

นิพจน์แลมบ์ดาและการอ้างอิงเมธอดได้รับการกำหนดประเภทที่ตรงกับประเภทของเป้าหมายหากพบประเภทดังกล่าว

ดูที่ส่วนการอนุมานประเภทใน Java Tutorial สำหรับข้อมูลเพิ่มเติม

ฉันมีข้อผิดพลาดกับอาร์เรย์ที่รับค่าสูงสุดและค่าต่ำสุดดังนั้นวิธีแก้ไขของฉันคือ:

int max = Arrays.stream(arrayWithInts).max().getAsInt();
int min = Arrays.stream(arrayWithInts).min().getAsInt();