Cho mã sau:

public static void main(String[] args) {
    record Foo(int[] ints){}

    var ints = new int[]{1, 2};
    var foo = new Foo(ints);
    System.out.println(foo); // Foo[ints=[I@6433a2]
    System.out.println(new Foo(new int[]{1,2}).equals(new Foo(new int[]{1,2}))); // false
    System.out.println(new Foo(ints).equals(new Foo(ints))); //true
    System.out.println(foo.equals(foo)); // true
}

Có vẻ như, rõ ràng, của mảng đó toString, equalscác phương pháp được sử dụng (thay vì phương pháp tĩnh, Arrays::equals, Arrays::deepEquals hoặc Array::toString).

Vì vậy, tôi đoán Bản ghi Java 14 ( JEP 359 ) không hoạt động tốt với các mảng, các phương thức tương ứng phải được tạo bằng IDE (ít nhất là trong IntelliJ, theo mặc định tạo ra các phương thức "hữu ích", tức là chúng sử dụng các phương thức tĩnh trong Arrays).

Hoặc có giải pháp nào khác không?

Các mảng Java đặt ra một số thách thức cho các bản ghi và chúng đã thêm một số ràng buộc cho thiết kế. Mảng là có thể thay đổi, và ngữ nghĩa bình đẳng của chúng (được kế thừa từ Object) là theo bản sắc, không phải nội dung.

Vấn đề cơ bản với ví dụ của bạn là bạn muốn rằng equals()trên mảng có nghĩa là bình đẳng nội dung, chứ không phải là đẳng thức tham chiếu. Các ngữ nghĩa (mặc định) cho equals()các bản ghi dựa trên sự bình đẳng của các thành phần; trong ví dụ của bạn, hai Foobản ghi chứa các mảng riêng biệt là khác nhau và bản ghi hoạt động chính xác. Vấn đề là bạn chỉ muốn so sánh bình đẳng là khác nhau.

Điều đó nói rằng, bạn có thể khai báo một bản ghi với ngữ nghĩa mà bạn muốn, nó chỉ cần nhiều công việc hơn và bạn có thể cảm thấy như là quá nhiều công việc. Đây là một bản ghi làm những gì bạn muốn:

record Foo(String[] ss) {
    Foo { ss = ss.clone(); }
    String[] ss() { return ss.clone(); }
    boolean equals(Object o) { 
        return o instanceof Foo 
            && Arrays.equals(((Foo) o).ss, ss);
    }
    int hashCode() { return Objects.hash(Arrays.hashCode(ss)); }
}

Những gì nó làm là một bản sao phòng thủ trên đường vào (trong hàm tạo) và trên đường ra (trong bộ truy cập), cũng như điều chỉnh ngữ nghĩa bình đẳng để sử dụng nội dung của mảng. Điều này hỗ trợ cho bất biến, được yêu cầu trong siêu lớp java.lang.Record, rằng "tách một bản ghi thành các thành phần của nó và tái cấu trúc các thành phần thành một bản ghi mới, mang lại một bản ghi bằng nhau."

Bạn cũng có thể nói "nhưng đó là quá nhiều công việc, tôi muốn sử dụng hồ sơ vì vậy tôi đã không phải gõ tất cả những thứ đó." Nhưng, các bản ghi không phải chủ yếu là một công cụ cú pháp (mặc dù chúng dễ chịu hơn về mặt cú pháp), chúng là một công cụ ngữ nghĩa: các bản ghi là bộ dữ danh nghĩa . Hầu hết thời gian, cú pháp nhỏ gọn cũng mang lại ngữ nghĩa mong muốn, nhưng nếu bạn muốn các ngữ nghĩa khác nhau, bạn phải làm thêm một số công việc.

List< Integer > cách giải quyết

Giải pháp thay thế: Sử dụng a Listof Integerobject ( List< Integer >) thay vì mảng primitive ( int[]).

Trong ví dụ này, tôi khởi tạo một danh sách không xác định được của lớp không xác định bằng cách sử dụng List.oftính năng được thêm vào Java 9. Bạn cũng có thể sử dụng ArrayList, cho một danh sách có thể sửa đổi được hỗ trợ bởi một mảng.

package work.basil.example;

import java.util.List;

public class RecordsDemo
{
    public static void main ( String[] args )
    {
        RecordsDemo app = new RecordsDemo();
        app.doIt();
    }

    private void doIt ( )
    {

        record Foo(List < Integer >integers)
        {
        }

        List< Integer > integers = List.of( 1 , 2 );
        var foo = new Foo( integers );

        System.out.println( foo ); // Foo[integers=[1, 2]]
        System.out.println( new Foo( List.of( 1 , 2 ) ).equals( new Foo( List.of( 1 , 2 ) ) ) ); // true
        System.out.println( new Foo( integers ).equals( new Foo( integers ) ) ); // true
        System.out.println( foo.equals( foo ) ); // true
    }
}

Giải pháp thay thế: Tạo mộtIntArraylớp và bọcint[].

record Foo(IntArray ints) {
    public Foo(int... ints) { this(new IntArray(ints)); }
    public int[] getInts() { return this.ints.get(); }
}

Không hoàn hảo, bởi vì bây giờ bạn phải gọi foo.getInts()thay vì foo.ints(), nhưng mọi thứ khác hoạt động theo cách bạn muốn.

public final class IntArray {
    private final int[] array;
    public IntArray(int[] array) {
        this.array = Objects.requireNonNull(array);
    }
    public int[] get() {
        return this.array;
    }
    @Override
    public int hashCode() {
        return Arrays.hashCode(this.array);
    }
    @Override
    public boolean equals(Object obj) {
        if (this == obj)
            return true;
        if (obj == null || getClass() != obj.getClass())
            return false;
        IntArray that = (IntArray) obj;
        return Arrays.equals(this.array, that.array);
    }
    @Override
    public String toString() {
        return Arrays.toString(this.array);
    }
}

Đầu ra

Foo[ints=[1, 2]]
true
true
true