File: ArrayFillIncompatibleType.md

package info (click to toggle)
error-prone-java 2.18.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, forky, sid, trixie
  • size: 23,204 kB
  • sloc: java: 222,992; xml: 1,319; sh: 25; makefile: 7
file content (31 lines) | stat: -rw-r--r-- 903 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
`Arrays.fill(Object[], Object)` is used to copy a reference into every slot of
an array.

For example:

```java
String[] foo = new String[42];
Arrays.fill(foo, "life");
// 42 references to the same String instance of "life" in the foo array
```

However, because of Array covariance (e.g.: `String[]` is assignable to
`Object[]`), and the signature of Arrays.fill is `Arrays.fill(Object[],
Object)`, this also allows you to do the following:

```java
String[] foo = new String[42];
Arrays.fill(foo, 42); // ArrayStoreException! Integer can't be put into a String[]
```

This check detects the above circumstances, and won't let you attempt to put
`Integer`s into a `String[]`.

## What about Lists?

`List<T>` doesn't have the same issue, since generic types are _not_ covariant.

```java
List<String> foo = new ArrayList<>();
foo.add(42); // Compile time error: Integer is not assignable to String
```