Проблема исходного кода: при конкурентном доступе несколько потоков могут одновременно зайти в `get()` при `instance==null` и создать несколько объектов — гонка (race condition). Дополнительно возможна проблема видимости/реинициализации из-за переупорядочивания — без `volatile` поток может увидеть частично сконструированный объект.
Корректные и распространённые реализации (плюсы/минусы):
1) Ленивое с синхронизацией (корректно, но дороже по производительности):
```java
public class Singleton {
private static Singleton instance;
private Singleton() {}
public static synchronized Singleton get() {
if (instance == null) instance = new Singleton();
return instance;
}
}
```
2) Double-checked locking (эффективно и лениво) — требует `volatile` (Java 5+):
```java
public class Singleton {
private static volatile Singleton instance;
private Singleton() {}
public static Singleton get() {
if (instance == null) {
synchronized (Singleton.class) {
if (instance == null) instance = new Singleton();
}
}
return instance;
}
}
```
Пояснение: `volatile` предотвращает переупорядочивание и гарантирует видимость.
3) Initialization-on-demand holder (рекомендуемый способ для ленивой и потокобезопасной инициализации):
```java
public class Singleton {
private Singleton() {}
private static class Holder {
static final Singleton INSTANCE = new Singleton();
}
public static Singleton get() { return Holder.INSTANCE; }
}
```
Пояснение: класс `Holder` инициализируется JVM при первом обращении к `Holder.INSTANCE`; потокобезопасно без `synchronized`.
4) Инициализация при загрузке класса (простая и быстрая, но не ленивое):
```java
public class Singleton {
private static final Singleton INSTANCE = new Singleton();
private Singleton() {}
public static Singleton get() { return INSTANCE; }
}
```
5) Enum-singleton (самый безопасный против сериализации и рефлексии — рекомендован Effective Java):
```java
public enum Singleton {
INSTANCE;
// методы
}
```
Дополнительные замечания:
- Для сериализуемого singleton реализуйте `readResolve()` или используйте enum, чтобы избежать создания нового экземпляра при десериализации.
- Reflection может взломать приватный конструктор; enum устойчивее к этому.
- Выбор: если нужна ленивость и простота — holder; если нужен максимум защиты от сериализации/рефлексии — enum; если простота и нет требований к ленивости — `static final` поле.