преобразованный к типу в Java

Question

Я новичок в дженериков и смотрел на этот ответ:

https://stackoverflow.com/a/17165079/1632141

Он отлично работает, но я не мог понять, как работает эта часть кода.

public T calories(int val) { 
    calories = val; 
    return (T) this; 
} 

во внутреннем классе NutritionFacts.

Как работает литье? Я ожидал здесь java.lang.ClassCastException, так как мы бросаем чистый объект суперкласса в подкласс.

Answer 1

На самом деле есть проблема с этим ответом:

public static class Builder<T extends Builder> {... 

Тип T является сырье типа. Оно должно быть:

public static class Builder<T extends Builder<T>> {... 

, который называется себя ссылающийся типа, потому что это расширение себя.

Обычно используется так:

public class SubBuilder extends Builder<SubBuilder> {... 

в этом случае тип является типом самого подкласса.

Вы можете указать другой подкласс Builder как тип, но это не будет особенно полезно.

Answer 2

Вы не бросаете объект суперкласса в подкласс там. Для GMOFacts.Builder объекта, метод calories будет тип стертый к чему-то вроде этого:

public GMOFacts.Builder calories(int val) { 
     calories = val; 
     return (GMOFacts.Builder) this; 
    } 

И this опорные точки для GMOFacts.Builder объекта в любом случае, так что это допустимый тип броска.