Что произойдёт при попытке создать экземпляр дженерик-типа через new T()

🟢 Junior Level

Нельзя создать экземпляр дженерик-типа через new T(). Это ошибка компиляции.

public class Box<T> {
    private T value;
    
    public Box() {
        value = new T();  // ❌ compilation error: "cannot instantiate T"
    }
}

Почему: Из-за type erasure компилятор не знает, какой тип скрывается за T в runtime. После компиляции T превращается в Object, а new Object() — не то, что вы хотите.

Решения:

// Решение 1: Передача Class<T>
public class Box<T> {
    private T value;
    
    public Box(Class<T> type) throws Exception {
        value = type.getDeclaredConstructor().newInstance();
    }
}

// Решение 2: Фабрика (Supplier)
public class Box<T> {
    private T value;
    
    public Box(Supplier<T> factory) {
        value = factory.get();
    }
}

// Использование
Box<String> box1 = new Box<>(String.class);
Box<String> box2 = new Box<>(() -> "default");

🟡 Middle Level

Почему нельзя?

Type erasure:

public class Box<T> {
    public Box() {
        value = new T();  // ❌ что это значит после erasure?
    }
}

// После компиляции:
public class Box {
    public Box() {
        value = new Object();  // T -> Object
        // Но это не то, что хотел разработчик!
    }
}

Проблема: Нет информации о конструкторе T. Может у T нет no-arg конструктора?

Рабочие решения

**1. Class подход:**

public class Factory<T> {
    private final Class<T> type;
    
    public Factory(Class<T> type) {
        this.type = type;
    }
    
    public T create() throws Exception {
        return type.getDeclaredConstructor().newInstance();
    }
}

Factory<String> stringFactory = new Factory<>(String.class);
String s = stringFactory.create();  // ""

2. Supplier подход:

public class Box<T> {
    private final Supplier<T> factory;
    
    public Box(Supplier<T> factory) {
        this.factory = factory;
    }
    
    public T create() {
        return factory.get();
    }
}

Box<User> userBox = new Box<>(User::new);
User user = userBox.create();

3. Abstract factory method:

public abstract class Creator<T> {
    protected abstract T createInstance();
    
    public T createAndProcess() {
        T instance = createInstance();
        // process
        return instance;
    }
}

public class UserCreator extends Creator<User> {
    @Override
    protected User createInstance() {
        return new User();
    }
}

Типичные ошибки

Попытка обойти через cast:

public class Box<T> {
 public T create() {
     return (T) new Object();  // ⚠️ unchecked cast
     // Работает только если T = Object
     // ClassCastException для других типов
 }
}

Reflection без проверки: ```java public T create(Class type) throws Exception { return type.newInstance(); // deprecated в Java 9+ }

// ✅ Лучше public T create(Class type) throws Exception { return type.getDeclaredConstructor().newInstance(); }

---

## 🔴 Senior Level

### Internal Implementation

**Почему компилятор запрещает:**

JLS 15.9:

new T() невозможно, т.к. T — type variable
Type variables не имеют constructor metadata в class file.
JVM буквально не может emit-ить new инструкцию для T.
После erasure T -> Object или bound ```

Reflection подход:

public T create(Class<T> type) {
    try {
        Constructor<T> ctor = type.getDeclaredConstructor();
        return ctor.newInstance();
    } catch (NoSuchMethodException e) {
        // У T нет no-arg конструктора
        throw new RuntimeException(e);
    }
}

Архитектурные Trade-offs

Подходы к созданию T:

Подход	Плюсы	Минусы
Class	Type-safe, просто	Нужен no-arg constructor
Supplier	Гибкий, любой конструктор	Нужно передать фабрику
Abstract method	OOP стиль	Нужен подкласс
Unchecked cast	Просто	Unsafe, ClassCastException risk

Edge Cases

1. Bounded type с no-arg constructor:

public class Box<T extends Runnable> {
    public T create(Class<T> type) throws Exception {
        // T должен иметь no-arg constructor
        return type.getDeclaredConstructor().newInstance();
    }
}

2. Constructor с параметрами:

public T create(Class<T> type, String name) throws Exception {
    return type.getConstructor(String.class)
        .newInstance(name);
}

3. Generic array creation:

// Тоже нельзя
public class Box<T> {
    private T[] items = new T[10];  // ❌ error
    
    // ✅ Решение
    private T[] items = (T[]) new Object[10];
}

Производительность

Способ создания T:
- new T(): N/A (нельзя)
- Class.newInstance(): ~50-100 ns (deprecated)
// Примерные значения. Зависят от JVM, optimization level, inlining.
- Constructor.newInstance(): ~100-200 ns
- Supplier.get(): ~1-5 ns (обычный вызов)
- Unchecked cast: ~1 ns (но unsafe)

Supplier — самый быстрый runtime approach

Production Experience

Spring Bean Factory:

@Component
public class EntityFactory {
    public <T> T create(Class<T> type) {
        return applicationContext.getBean(type);
    }
}

// Использование
User user = entityFactory.create(User.class);

Builder pattern:

public class Builder<T> {
    private final Supplier<T> factory;
    private final Map<String, Object> properties = new HashMap<>();
    
    public Builder(Supplier<T> factory) {
        this.factory = factory;
    }
    
    public Builder<T> with(String name, Object value) {
        properties.put(name, value);
        return this;
    }
    
    public T build() {
        T instance = factory.get();
        // inject properties
        return instance;
    }
}

User user = new Builder<>(User::new)
    .with("name", "John")
    .with("age", 25)
    .build();

Best Practices

// ✅ Supplier для гибкости
public class Box<T> {
    private final Supplier<T> factory;
    public Box(Supplier<T> factory) { this.factory = factory; }
    public T create() { return factory.get(); }
}

// ✅ Class<T> для простых случаев
public T create(Class<T> type) {
    return type.getDeclaredConstructor().newInstance();
}

// ✅ Abstract factory method
protected abstract T createInstance();

// ❌ new T()
// ❌ Unchecked cast без необходимости
// ❌ Class.newInstance() (deprecated)

🎯 Шпаргалка для интервью

Обязательно знать:

new T() — compilation error: “cannot instantiate T”
Причина: type erasure — после компиляции T -> Object, JVM не знает конструктор T
Решение 1: Class<T> — type.getDeclaredConstructor().newInstance()
Решение 2: Supplier<T> — factory.get() — самый гибкий и быстрый подход
Решение 3: Abstract factory method — подкласс реализует создание
Class.newInstance() deprecated в Java 9+, использовать getDeclaredConstructor().newInstance()

Частые уточняющие вопросы:

Почему нельзя new T()? — Type erasure: T заменяется на Object, нет информации о конструкторе
**Какой подход лучше — Class или Supplier?** — Supplier гибче и быстрее (~1-5 ns vs ~100-200 ns)
Можно ли создать T с параметрами через Class? — Да: type.getConstructor(String.class).newInstance(name)
Что такое TypeReference паттерн? — Jackson style: new TypeReference<User>() {} для получения generic type

Красные флаги (НЕ говорить):

❌ “new T() работает через unchecked cast” — Это compilation error, не warning
❌ “Class.newInstance() — лучший способ” — Deprecated в Java 9+, использовать getDeclaredConstructor
❌ “Supplier медленнее Class” — Supplier быстрее (~1-5 ns vs ~100-200 ns)
❌ “Можно создать T через reflection без Class” — Нужен Class или Supplier

Связанные темы:

[[11. Что такое дженерики (Generics) в Java]]
[[13. Что такое type erasure (стирание типов)]]
[[14. Можно ли создать массив дженерик-типа]]
[[15. Что такое bounded type parameters]]