Tại sao lại là
public <R, F extends Function<T, R>> Builder<T> withX(F getter, R returnValue) {...}nghiêm ngặt hơn rồi
public <R> Builder<T> with(Function<T, R> getter, R returnValue) {...}Đây là phần tiếp theo tại sao loại trả về lambda không được kiểm tra tại thời điểm biên dịch . Tôi tìm thấy bằng cách sử dụng phương pháp withX()như
.withX(MyInterface::getLength, "I am not a Long")tạo ra lỗi thời gian biên dịch mong muốn:
Loại getLpm () từ loại BuilderExample.MyInterface dài, loại này không tương thích với kiểu trả về của bộ mô tả: Chuỗi
Trong khi sử dụng phương pháp with()thì không.
ví dụ đầy đủ:
import java.util.function.Function;
public class SO58376589 {
public static class Builder<T> {
public <R, F extends Function<T, R>> Builder<T> withX(F getter, R returnValue) {
return this;
}
public <R> Builder<T> with(Function<T, R> getter, R returnValue) {
return this;
}
}
static interface MyInterface {
public Long getLength();
}
public static void main(String[] args) {
Builder<MyInterface> b = new Builder<MyInterface>();
Function<MyInterface, Long> getter = MyInterface::getLength;
b.with(getter, 2L);
b.with(MyInterface::getLength, 2L);
b.withX(getter, 2L);
b.withX(MyInterface::getLength, 2L);
b.with(getter, "No NUMBER"); // error
b.with(MyInterface::getLength, "No NUMBER"); // NO ERROR !!
b.withX(getter, "No NUMBER"); // error
b.withX(MyInterface::getLength, "No NUMBER"); // error !!!
}
}
javac SO58376589.java
SO58376589.java:32: error: method with in class Builder<T> cannot be applied to given types;
b.with(getter, "No NUMBER"); // error
^
required: Function<MyInterface,R>,R
found: Function<MyInterface,Long>,String
reason: inference variable R has incompatible bounds
equality constraints: Long
lower bounds: String
where R,T are type-variables:
R extends Object declared in method <R>with(Function<T,R>,R)
T extends Object declared in class Builder
SO58376589.java:34: error: method withX in class Builder<T> cannot be applied to given types;
b.withX(getter, "No NUMBER"); // error
^
required: F,R
found: Function<MyInterface,Long>,String
reason: inference variable R has incompatible bounds
equality constraints: Long
lower bounds: String
where F,R,T are type-variables:
F extends Function<MyInterface,R> declared in method <R,F>withX(F,R)
R extends Object declared in method <R,F>withX(F,R)
T extends Object declared in class Builder
SO58376589.java:35: error: incompatible types: cannot infer type-variable(s) R,F
b.withX(MyInterface::getLength, "No NUMBER"); // error
^
(argument mismatch; bad return type in method reference
Long cannot be converted to String)
where R,F,T are type-variables:
R extends Object declared in method <R,F>withX(F,R)
F extends Function<T,R> declared in method <R,F>withX(F,R)
T extends Object declared in class Builder
3 errors
Ví dụ mở rộng
Ví dụ sau đây cho thấy hành vi khác nhau của phương thức và tham số loại được đưa vào Nhà cung cấp. Ngoài ra, nó cho thấy sự khác biệt đối với hành vi của Người tiêu dùng đối với tham số loại. Và nó cho thấy nó không tạo ra sự khác biệt khi nó là Người tiêu dùng hoặc Nhà cung cấp cho một tham số phương thức.
import java.util.function.Consumer;
import java.util.function.Supplier;
interface TypeInference {
Number getNumber();
void setNumber(Number n);
@FunctionalInterface
interface Method<R> {
TypeInference be(R r);
}
//Supplier:
<R> R letBe(Supplier<R> supplier, R value);
<R, F extends Supplier<R>> R letBeX(F supplier, R value);
<R> Method<R> let(Supplier<R> supplier); // return (x) -> this;
//Consumer:
<R> R lettBe(Consumer<R> supplier, R value);
<R, F extends Consumer<R>> R lettBeX(F supplier, R value);
<R> Method<R> lett(Consumer<R> consumer);
public static void main(TypeInference t) {
t.letBe(t::getNumber, (Number) 2); // Compiles :-)
t.lettBe(t::setNumber, (Number) 2); // Compiles :-)
t.letBe(t::getNumber, 2); // Compiles :-)
t.lettBe(t::setNumber, 2); // Compiles :-)
t.letBe(t::getNumber, "NaN"); // !!!! Compiles :-(
t.lettBe(t::setNumber, "NaN"); // Does not compile :-)
t.letBeX(t::getNumber, (Number) 2); // Compiles :-)
t.lettBeX(t::setNumber, (Number) 2); // Compiles :-)
t.letBeX(t::getNumber, 2); // !!! Does not compile :-(
t.lettBeX(t::setNumber, 2); // Compiles :-)
t.letBeX(t::getNumber, "NaN"); // Does not compile :-)
t.lettBeX(t::setNumber, "NaN"); // Does not compile :-)
t.let(t::getNumber).be(2); // Compiles :-)
t.lett(t::setNumber).be(2); // Compiles :-)
t.let(t::getNumber).be("NaN"); // Does not compile :-)
t.lett(t::setNumber).be("NaN"); // Does not compile :-)
}
}
1
Vì suy luận với cái sau. Mặc dù cả hai đều dựa trên trường hợp sử dụng, người ta cần phải thực hiện. Đối với bạn, trước đây có thể nghiêm ngặt và tốt. Để linh hoạt, người khác có thể thích cái sau.
—
Naman
Bạn đang cố gắng biên dịch cái này trong Eclipse? Tìm kiếm các chuỗi lỗi của định dạng bạn đã dán cho thấy đây là một lỗi cụ thể của Eclipse (ecj). Bạn có gặp vấn đề tương tự khi biên dịch với
—
dùng31601
javaccông cụ thô hoặc công cụ xây dựng như Gradle hoặc Maven không?
@ user31601 tôi đã thêm một ví dụ đầy đủ với đầu ra javac. Các thông báo lỗi được tạo thành ít khác nhau nhưng vẫn nhật thực và javac giữ hành vi tương tự
—
jukzi