1

Имеется класс примерно представляющий абстрактный класс, класса одиночки:

/// <summary>
///     Представляет базовую реализацию абстрактного класса одиночки.
/// </summary>
/// <typeparam name="T">Тип объекта одиночки.</typeparam>
public abstract class SingleInstance<T> where T : class, new()
{
    private static T instance_;
    private static object syncRoot_ = new object();

    /// <summary>
    ///     Возвращает ссылку на объект одиночку.
    /// </summary>
    public static T Instance
    {
        get
        {
            lock (syncRoot_)
            {
                return instance_ ?? (instance_ = new T());
            }
        }
    }
}

Кхм, а теперь к делу, у класса одиночки должен быть закрытый конструктор, при этом Generic тип, не допускает использование опреатора new для закрытого конструктора.

Как быть в таких ситуациях? Неужели для каждого класса одиночки придется делать копипаст?

2
  • 2
    Современный подход – не создавать синглтоны явно, а отдавать создание и поддержание единственности экземпляра класса на откуп DI-контейнеру 29 сен 2018 в 18:54
  • вот тут есть интересный тред и ответы на подумать - полностью согласен с Андреем
    – tym32167
    1 окт 2018 в 21:20

1 ответ 1

5

Смотрите, вашему базовому классу нужно как-то создать экземпляр. Метод с открытым конструктором, разумеется, не подходит, т. к. у вас при этом нарушается основное свойство синглтона — гарантия существования единственного экземпляра.

Каким же способом можно создать экземпляр, если конструктор приватный? Например, при помощи рефлексии:

public abstract class Singleton<T> where T : class
{
    private static T instance_;
    private static object syncRoot_ = new object();

    public static T Instance
    {
        get
        {
            lock (syncRoot_)
            {
                return instance_ ?? (instance_ = Create());
            }
        }
    }

    static private T Create() => (T)Activator.CreateInstance(typeof(T), nonPublic: true);
}

Этот код, разумеется, упадёт, если у вашего T нету конструктора без аргументов. Впрочем, для синглтона аргументы конструктора обычно не имеют смысла.

Данный метод, кстати, довольно медленный, т. к. Activator.CreateInstance — не самая быстрая функция. Впрочем, new T() на текущий момент под капотом также пользуется Activator.CreateInstance, так что это не медленнее вашей текущей версии.

Другой метод, который мне приходит в голову — затребовать порождённый класс предоставить функцию для создания экземпляра самостоятельно. Но абстрактных статических функций в C# нет, а выставлять поле-делегат и ожидать от производного класса, что он его заполнит, не очень хорошо, т. к. подсказки от компилятора при нарушении не будет.

На всякий случай, вот код.

// не рекомендуется!
public abstract class Singleton<T> where T : class
{
    private static T instance_;
    private static object syncRoot_ = new object();
    protected static Func<T> Create;

    public static T Instance
    {
        get
        {
            lock (syncRoot_)
            {
                return instance_ ?? (instance_ = Create());
            }
        }
    }

    static Singleton()
    {
        // нужно, чтобы статический конструктор T отработал
        System.Runtime.CompilerServices.RuntimeHelpers.RunClassConstructor(
            typeof(T).TypeHandle);
    }
}

class X : Singleton<X>
{
    private X() { }
    static X() { Create = () => new X(); }
}

Заметьте, что канонический метод создания синглтонов гораздо более лаконичен:

class X
{
    private static readonly Lazy<X> lazy = new Lazy<X>(() => new X());
    public static X Instance => lazy.Value;
    private X() { }
}

Если вы захотите вынести этот код в абстрактный суперкласс, вы столкнётесь с теми же проблемами: код должен как-то создать экземпляр «чужого» класса с приватным конструктором. Например, решение с рефлексией будет выглядеть так:

public abstract class Singleton<T> where T : class
{
    protected static readonly Lazy<T> lazy =
        new Lazy<T>(() => (T)Activator.CreateInstance(typeof(T), nonPublic: true));
    public static T Instance { get { return lazy.Value; } }
}
4
  • Lazy потокобезопасен?
    – user206435
    29 сен 2018 в 18:47
  • @LLENN: Согласно документации, да, если не указывать специального флага в конструкторе.
    – VladD
    29 сен 2018 в 18:58
  • режим зануды - наверное стоит дополнить, что в классической блокировке с двойной проверкой проверки таки две, чтобы лишний раз не блочить поток (говорю про первые 2 примера - проверка на null до лока и после)
    – tym32167
    1 окт 2018 в 21:19
  • @tym32167: Я, честно говоря, так и не нашёл в спецификации языка, почему первый доступ (без блокировки) к разделяемой переменной вообще законен, поэтому я бы про него лучше умолчал :)
    – VladD
    1 окт 2018 в 23:19

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.