Generic-типы и помесь фабрики с виртуальным конструктором.

[Dimka]

Имеется пара классов A и B, так что B extends A.

У этих классов разные по числу параметров конструкторы A(int a) и B(int a, int b).

Экземпляры этих классов создаются в результате парсинга строчек, так что:

Код: (Java)

A create(String s) {
  // ...
  return new A(a);
}

B create(String s) {
  // ...
  return new B(a, b);
}

Для удобства доступа есть желание поместить эти методы в некий общий класс Factory, чтобы эту фабрику можно было бы хранить в переменной и передавать в разные места как одно целое. Естественно, поместить в класс два метода, различающиеся лишь типом результата нельзя, но теоретически и по смыслу задачи можно специализировать вызовы для каждого случая использования.

Если брать C++, получается такое решение:

Код: (C++)

#include <iostream>

using namespace std;

class A {
public:
        A(int a) {
                cout << "A" << endl;
        }
};

class B: public A {
public:
        B(int a, int b): A(a) {
                cout << "B" << endl;
        }
};

class Factory {
public:
        template<class T>
        T *create() {
                return new T();
        }

        template<>
        A *create() {
                return new A(0);
        }

        template<>
        B *create() {
                return new B(0, 1);
        }
};

int main() {
        Factory factory;
        delete factory.create<A>();
        delete factory.create<B>();
        return 0;
}

В данном случае используется механизм специализации шаблона. Для каждого вызова create из main по шаблонному параметру выбирается, какую из трёх реализаций выбирать: обобщённую (generic) для неизвестных типов, либо одну из специализированных, если параметром задан класс A или B. В специальных реализациях вызываются нужные конструктры (со своим количеством параметров для каждого случая).

В Java некоторые элементы специализации шаблонов имеются. В Java можно написать нечто вида X<T extends U> или для метода <T extends U>T f(). Но компилятор либо не использует информацию об ограничении типа параметра generic-типа или -функции, либо я чего-то не знаю. Можно ли такое сделать?

P.S. Варианты с использованием Reflections и RTTI (конструкции наподобие instanceof или if(x.class == ...) ) не предлагать. Хочется иметь "автоматический" выбор нужной реализации фабричного метода на этапе компиляции.

[Falsehood]

Dimka, если сам еще не нашел, то вот - http://download.oracle.com/javase/tutorial/java/generics/erasure.html. в java не такие шаблоны как в с++.

[npak]

Dimka,

если ещё актуально, то твоя задача решается в лоб созданием статической хэш-таблицы с фабриками. Идея такая:

Код: (Java)

public class Builder {
        public static interface Factory<T> {
                T create();
        }

        @SuppressWarnings("unchecked")
        private static HashMap<Class, Factory> factories = new HashMap<Class, Factory>();
        public static <T> void setFactory(Class<T> clazz, Factory<T> factory) {
                factories.put(clazz, factory);
        }
        @SuppressWarnings("unchecked")
        public static <T> T build(Class<T> clazz){
                Factory<T> f = factories.get(clazz);
                if (f == null) throw new RuntimeException("Factory for " + clazz.getName() + " is not set");
                return f.create();
        }
       
}

Перед тем, как пользоваться таким билдером, необходимо инициализировать фабрики

Код: (Java)

public class Main {
        static {
                Builder.setFactory(A.class, new Builder.Factory<A>() {
                        @Override
                        public A create() {return new A(0);}
                });
                Builder.setFactory(B.class, new Builder.Factory<B>() {
                        @Override
                        public B create() {return new B(0,1);}
                });
        }
        public static void main(String[] args) {
                A a = Builder.build(A.class);
                B b = Builder.build(B.class);
        }
}

[Dimka]

npak,

P.S. Варианты с использованием Reflections и RTTI (конструкции наподобие instanceof или if(x.class == ...) ) не предлагать. Хочется иметь "автоматический" выбор нужной реализации фабричного метода на этапе компиляции.

Моя цель была не "создать фабрику", а "специализировать шаблон". Фабрика - это лишь повод подобраться к шаблону. Твоё решение использует RTTI, а в этом случае generic-типы вообще необязательны.

[npak]

В Java нет специализации шаблонов. Но в случае твоей задачи можно сымитировать специализацию.

Код: (Java)

public class Builder2 {
        public static A build(Class<A> clazz) { return new A(0); }
        public static B build(Class<B> clazz) { return new B(0,1); }
        // И так далее, для всех типов, которым требуется специализация конструктора.
        public static <T> T build(Class<T> clazz) throws InstantiationException, IllegalAccessException { return clazz.newInstance(); }
}

Компилятор правильно определит метод по аргументу

Код: (Java)

        public static void main(String[] args) throws Exception {
                Builder2.build(A.class);
                Builder2.build(B.class);
        }