создать экземпляр универсального типа в java?

<p>можно ли создать экземпляр универсального типа в java? я думаю, основываясь на увиденном, что ответ <code>no</code> (<em> из-за стирания типа </em>), но мне было бы интересно, если кто-нибудь сможет посмотри, что мне не хватает:</p><pre><code>class somecontainer<e> { e createcontents() { return what??? } } </code></pre><p>правка: оказывается, что <a href="http://www.artima.com/weblogs/viewpost.jsp?thread=208860">super type tokens</a> можно использовать для решения моей проблемы, но это требует много кода на основе отражения, как указано в некоторых ответах ниже.</p><p>я оставлю это открытым на некоторое время, чтобы посмотреть, не придет ли кто-нибудь что-то кардинально отличное от иана робертсона <a href="http://www.artima.com/weblogs/viewpost.jsp?thread=208860">статья artima</a> .</p>

<p>ты прав. вы не можете сделать <code>new e()</code>. но вы можете изменить его на</p><pre><code>private static class somecontainer<e> { e createcontents(class<e> clazz) { return clazz.newinstance(); } } </code></pre><p>это боль. но это работает. заворачивание в фабричный шаблон делает его немного более терпимым.</p>

<p>не знаю, поможет ли это, но когда вы создаете подкласс (в том числе анонимно) универсального типа, информация о типе доступна через рефлексию. например.,</p><pre><code>public abstract class foo<e> { public e instance; public foo() throws exception { instance = ((class)((parameterizedtype)this.getclass(). getgenericsuperclass()).getactualtypearguments()[0]).newinstance(); ... } } </code></pre><p>итак, когда вы подкласс foo, вы получаете экземпляр bar, например,</p><pre><code>// notice that this in anonymous subclass of foo assert( new foo<bar>() {}.instance instanceof bar ); </code></pre><p>но это много работы, и работает только для подклассов. может быть удобно, хотя.</p>

<p>вам понадобится какая-то абстрактная фабрика того или иного рода, чтобы переложить ответственность на:</p><pre><code>interface factory<e> { e create(); } class somecontainer<e> { private final factory<e> factory; somecontainer(factory<e> factory) { this.factory = factory; } e createcontents() { return factory.create(); } } </code></pre>

<p>в java 8 вы можете использовать функциональный интерфейс <a href="https://docs.oracle.com/javase/8/docs/api/java/util/function/supplier.html"><code>supplier</code></a> , чтобы достичь этого довольно легко:</p><pre><code>class somecontainer<e> { private supplier<e> supplier; somecontainer(supplier<e> supplier) { this.supplier = supplier; } e createcontents() { return supplier.get(); } } </code></pre><p>вы бы построили этот класс так:</p><pre><code>somecontainer<string> stringcontainer = new somecontainer<>(string::new); </code></pre><p>синтаксис <code>string::new</code> в этой строке - <a href="https://docs.oracle.com/javase/tutorial/java/javaoo/methodreferences.html">ссылка на конструктор</a> .</p><p>если ваш конструктор принимает аргументы, вы можете вместо этого использовать лямбда-выражение:</p><pre><code>somecontainer<biginteger> bigintegercontainer = new somecontainer<>(() -> new biginteger(1)); </code></pre>

<pre><code>package org.foo.com; import java.lang.reflect.parameterizedtype; import java.lang.reflect.type; /** * basically the same answer as noah's. */ public class home<e> { @suppresswarnings ("unchecked") public class<e> gettypeparameterclass() { type type = getclass().getgenericsuperclass(); parameterizedtype paramtype = (parameterizedtype) type; return (class<e>) paramtype.getactualtypearguments()[0]; } private static class stringhome extends home<string> { } private static class stringbuilderhome extends home<stringbuilder> { } private static class stringbufferhome extends home<stringbuffer> { } /** * this prints "string", "stringbuilder" and "stringbuffer" */ public static void main(string[] args) throws instantiationexception, illegalaccessexception { object object0 = new stringhome().gettypeparameterclass().newinstance(); object object1 = new stringbuilderhome().gettypeparameterclass().newinstance(); object object2 = new stringbufferhome().gettypeparameterclass().newinstance(); system.out.println(object0.getclass().getsimplename()); system.out.println(object1.getclass().getsimplename()); system.out.println(object2.getclass().getsimplename()); } } </code></pre>

<p>если вам нужен новый экземпляр аргумента типа внутри обобщенного класса, тогда заставьте ваших конструкторов требовать его класса ...</p><pre><code>public final class foo<t> { private class<t> typeargumentclass; public foo(class<t> typeargumentclass) { this.typeargumentclass = typeargumentclass; } public void dosomethingthatrequiresnewt() throws exception { t mynewt = typeargumentclass.newinstance(); ... } } </code></pre><p>использование:</p><pre><code>foo<bar> barfoo = new foo<bar>(bar.class); foo<etc> etcfoo = new foo<etc>(etc.class); </code></pre><p>плюсы:</p><ul> <li>намного проще (и менее проблематично), чем подход super type token (stt) робертсона.</li> <li>гораздо эффективнее, чем подход stt (который съест ваш мобильный телефон на завтрак).</li> </ul><p>минусы:</p><ul> <li>невозможно передать класс конструктору по умолчанию (именно поэтому foo является финальным). если вам действительно нужен конструктор по умолчанию, вы всегда можете добавить метод установки, но тогда вы должны помнить, чтобы позвонить ей позже.</li> <li>возражение робертсона ... больше баров, чем негодяев (хотя указание класса аргумента типа еще раз точно не убьет вас). и вопреки утверждениям робертсона это не нарушает принцип dry в любом случае, потому что компилятор обеспечит корректность типа.</li> <li>не совсем <code>foo<l></code>proof. для начала ... <code>newinstance()</code> сгенерирует воблер, если класс аргумента типа не имеет конструктора по умолчанию. это в любом случае относится ко всем известным решениям.</li> <li>отсутствует полная инкапсуляция подхода stt. хотя это не имеет большого значения (учитывая огромные потери производительности stt).</li> </ul>

<p>вы можете сделать это сейчас, и это не требует кучу кода отражения.</p><pre><code>import com.google.common.reflect.typetoken; public class q26289147 { public static void main(final string[] args) throws illegalaccessexception, instantiationexception { final strawmanparameterizedclass<string> smpc = new strawmanparameterizedclass<string>() {}; final string string = (string) smpc.type.getrawtype().newinstance(); system.out.format("string = \"%s\"",string); } static abstract class strawmanparameterizedclass<t> { final typetoken<t> type = new typetoken<t>(getclass()) {}; } } </code></pre><p>конечно, если вам нужно вызвать конструктор, который потребует некоторого отражения, но это очень хорошо задокументировано, этот трюк не так!</p><p>вот <a href="https://google.github.io/guava/releases/19.0/api/docs/com/google/common/reflect/typetoken.html">javadoc для typetoken</a> .</p>

<p>подумайте о более функциональном подходе: вместо создания некоторого e из ничего (что явно является запахом кода), передайте функцию, которая знает, как ее создать, т.е.</p><pre><code>e createcontents(callable<e> makeone) { return makeone.call(); // most simple case clearly not that useful } </code></pre>

<p>из <a href="http://docs.oracle.com/javase/tutorial/java/generics/restrictions.html">учебное пособие по java - ограничения по обобщению</a> :</p><p><strong> <a href="http://docs.oracle.com/javase/tutorial/java/generics/restrictions.html#createobjects">невозможно создать экземпляры параметров типа</a> </strong></p><p>вы не можете создать экземпляр параметра типа. например, следующий код вызывает ошибку во время компиляции:</p><pre><code>public static <e> void append(list<e> list) { e elem = new e(); // compile-time error list.add(elem); } </code></pre><p>в качестве обходного пути вы можете создать объект параметра типа с помощью отражения:</p><pre><code>public static <e> void append(list<e> list, class<e> cls) throws exception { e elem = cls.newinstance(); // ok list.add(elem); } </code></pre><p>вы можете вызвать метод добавления следующим образом:</p><pre><code>list<string> ls = new arraylist<>(); append(ls, string.class); </code></pre>

<p>вот вариант, который я придумал, он может помочь:</p><pre><code>public static class container<e> { private class<e> clazz; public container(class<e> clazz) { this.clazz = clazz; } public e createcontents() throws exception { return clazz.newinstance(); } } </code></pre><p>правка: в качестве альтернативы вы можете использовать этот конструктор (но это требует экземпляра e):</p><pre><code>@suppresswarnings("unchecked") public container(e instance) { this.clazz = (class<e>) instance.getclass(); } </code></pre>

<p>если вы не хотите вводить имя класса дважды во время создания экземпляра, как в:</p><pre><code>new somecontainer<sometype>(sometype.class); </code></pre><p>вы можете использовать фабричный метод:</p><pre><code><e> somecontainer<e> createcontainer(class<e> class); </code></pre><p>как в:</p><pre><code>public class container<e> { public static <e> container<e> create(class<e> c) { return new container<e>(c); } class<e> c; public container(class<e> c) { super(); this.c = c; } public e createinstance() throws instantiationexception, illegalaccessexception { return c.newinstance(); } } </code></pre>

<p>к сожалению, java не позволяет вам делать то, что вы хотите. смотрите <a href="http://docs.oracle.com/javase/tutorial/java/generics/restrictions.html#createobjects">официальный обходной путь</a> :</p><blockquote> <p>вы не можете создать экземпляр параметра типа. например, следующий код вызывает ошибку во время компиляции:</p> </blockquote><pre><code>public static <e> void append(list<e> list) { e elem = new e(); // compile-time error list.add(elem); } </code></pre><blockquote> <p>в качестве обходного пути вы можете создать объект параметра типа с помощью отражения:</p> </blockquote><pre><code>public static <e> void append(list<e> list, class<e> cls) throws exception { e elem = cls.newinstance(); // ok list.add(elem); } </code></pre><blockquote> <p>вы можете вызвать метод добавления следующим образом:</p> </blockquote><pre><code>list<string> ls = new arraylist<>(); append(ls, string.class); </code></pre>

<p>когда вы работаете с e во время компиляции, вы на самом деле не заботитесь о фактическом универсальном типе «e» (либо используете отражение, либо работаете с базовым классом универсального типа), поэтому позвольте подклассу предоставить экземпляр e. </p><pre><code>abstract class somecontainer<e> { abstract protected e createcontents(); public dowork(){ e obj = createcontents(); // do the work with e } } **blackcontainer extends** somecontainer<black>{ black createcontents() { return new black(); } } </code></pre>

<p>ты можешь использовать:</p><pre><code>class.forname(string).getconstructor(arguments types).newinstance(arguments) </code></pre><p>но вам нужно указать точное имя класса, включая пакеты, например. <code>java.io.fileinputstream</code>. я использовал это для создания парсера математических выражений.</p>

<p>улучшение ответа @ ноа. </p><p><strong> причина изменения </strong></p><p><strong> a] </strong>безопаснее, если используется более 1 универсального типа, если вы изменили порядок.</p><p><strong> b] </strong>время от времени меняется сигнатура универсального типа класса, поэтому вы не будете удивлены необъяснимыми исключениями во время выполнения.</p><p><strong> надежный код </strong></p><pre><code>public abstract class clazz<p extends params, m extends model> { protected m model; protected void createmodel() { type[] typearguments = ((parameterizedtype) this.getclass().getgenericsuperclass()).getactualtypearguments(); for (type type : typearguments) { if ((type instanceof class) && (model.class.isassignablefrom((class) type))) { try { model = ((class<m>) type).newinstance(); } catch (instantiationexception | illegalaccessexception e) { throw new runtimeexception(e); } } } } </code></pre><p>или используйте один лайнер</p><p><strong> однострочный код </strong></p><pre><code>model = ((class<m>) ((parameterizedtype) this.getclass().getgenericsuperclass()).getactualtypearguments()[1]).newinstance(); </code></pre>

<p>я думал, что смогу сделать это, но довольно разочарован: это не работает, но я думаю, что этим стоит поделиться. </p><p>может быть, кто-то может исправить:</p><pre><code>import java.lang.reflect.invocationhandler; import java.lang.reflect.method; import java.lang.reflect.proxy; interface somecontainer<e> { e createcontents(); } public class main { @suppresswarnings("unchecked") public static <e> somecontainer<e> createsomecontainer() { return (somecontainer<e>) proxy.newproxyinstance(main.class.getclassloader(), new class[]{ somecontainer.class }, new invocationhandler() { @override public object invoke(object proxy, method method, object[] args) throws throwable { class<?> returntype = method.getreturntype(); return returntype.newinstance(); } }); } public static void main(string[] args) { somecontainer<string> container = createsomecontainer(); [*] system.out.println("string created: [" +container.createcontents()+"]"); } } </code></pre><p>это производит:</p><pre><code>exception in thread "main" java.lang.classcastexception: java.lang.object cannot be cast to java.lang.string at main.main(main.java:26) at sun.reflect.nativemethodaccessorimpl.invoke0(native method) at sun.reflect.nativemethodaccessorimpl.invoke(nativemethodaccessorimpl.java:57) at sun.reflect.delegatingmethodaccessorimpl.invoke(delegatingmethodaccessorimpl.java:43) at java.lang.reflect.method.invoke(method.java:601) at com.intellij.rt.execution.application.appmain.main(appmain.java:120) </code></pre><p>строка 26 - это строка с <code>[*]</code>.</p><p>единственное жизнеспособное решение - это решение @justinrudd</p>

<p>существуют различные библиотеки, которые могут разрешать <code>e</code> для вас, используя методы, аналогичные тем, которые обсуждались в статье робертсона. вот реализация <code>createcontents</code>, которая использует <a href="https://github.com/jhalterman/typetools">typetools</a> для разрешения необработанного класса, представленного e:</p><pre><code>e createcontents() throws exception { return typetools.resolverawargument(somecontainer.class, getclass()).newinstance(); } </code></pre><p>это предполагает, что getclass () преобразуется в подкласс somecontainer и в противном случае завершится ошибкой, поскольку фактическое параметризованное значение e будет удалено во время выполнения, если оно не будет записано в подкласс.</p>

<p>если вы имеете в виду <code>new e()</code> тогда это невозможно. и я хотел бы добавить, что это не всегда правильно - как вы узнаете, если e имеет открытый конструктор no-args? но вы всегда можете делегировать создание другому классу, который знает, как создать экземпляр - это может быть <code>class<e></code> или ваш пользовательский код, как это</p><pre><code>interface factory<e>{ e create(); } class integerfactory implements factory<integer>{ private static int i = 0; integer create() { return i++; } } </code></pre>

<pre><code>return (e)((class)((parameterizedtype)this.getclass().getgenericsuperclass()).getactualtypearguments()[0]).newinstance(); </code></pre>

<p>вы можете добиться этого с помощью следующего фрагмента:</p><pre><code>import java.lang.reflect.parameterizedtype; public class somecontainer<e> { e createcontents() throws instantiationexception, illegalaccessexception { parameterizedtype genericsuperclass = (parameterizedtype) getclass().getgenericsuperclass(); @suppresswarnings("unchecked") class<e> clazz = (class<e>) genericsuperclass.getactualtypearguments()[0]; return clazz.newinstance(); } public static void main( string[] args ) throws throwable { somecontainer< long > scl = new somecontainer<>(); long l = scl.createcontents(); system.out.println( l ); } } </code></pre>

<p>вот реализация <code>createcontents</code>, которая использует <a href="https://github.com/jhalterman/typetools">typetools</a> для разрешения необработанного класса, представленного <code>e</code>:</p><pre><code>e createcontents() throws exception { return typetools.resolverawargument(somecontainer.class, getclass()).newinstance(); } </code></pre><p>этот подход работает только в том случае, если <code>somecontainer</code> находится в подклассах, поэтому фактическое значение <code>e</code> фиксируется в определении типа:</p><pre><code>class somestringcontainer extends somecontainer<string> </code></pre><p>в противном случае значение e стирается во время выполнения и не подлежит восстановлению.</p>

<p>как вы сказали, вы не можете сделать это из-за стирания типа. вы можете сделать это, используя отражение, но это требует много кода и много обработки ошибок.</p>

<p>надеюсь, что еще не поздно помочь!</p><p>java - это безопасность типов, только object может создать экземпляр.</p><p>в моем случае я не могу передать параметры методу <code>createcontents</code>. мое решение заключается в использовании расширений вместо всех приведенных ниже ответов.</p><pre><code>private static class somecontainer<e extends object> { e e; e createcontents() throws exception{ return (e) e.getclass().getdeclaredconstructor().newinstance(); } } </code></pre><p>это мой пример, в котором я не могу передать параметры.</p><pre><code>public class somecontainer<e extends object> { e object; void resetobject throws exception{ object = (e) object.getclass().getdeclaredconstructor().newinstance(); } } </code></pre><p>использование отражения создает ошибку времени выполнения, если вы расширяете свой универсальный класс ни одним типом объекта. для расширения вашего универсального типа на объект преобразуйте эту ошибку во время компиляции. </p>

<p>вот улучшенное решение, основанное на <code>parameterizedtype.getactualtypearguments</code>, уже упомянутое @noah, @lars bohl и некоторыми другими. </p><p>первое небольшое улучшение в реализации. фабрика должна возвращать не экземпляр, а тип. как только вы возвращаете экземпляр с помощью <code>class.newinstance()</code>, вы уменьшаете область использования. потому что только конструкторы без аргументов могут быть вызваны следующим образом. лучший способ - вернуть тип и позволить клиенту выбрать, какой конструктор он хочет вызвать:</p><pre><code>public class typereference<t> { public class<t> type(){ try { parameterizedtype pt = (parameterizedtype) this.getclass().getgenericsuperclass(); if (pt.getactualtypearguments() == null || pt.getactualtypearguments().length == 0){ throw new illegalstateexception("could not define type"); } if (pt.getactualtypearguments().length != 1){ throw new illegalstateexception("more than one type has been found"); } type type = pt.getactualtypearguments()[0]; string typeasstring = type.gettypename(); return (class<t>) class.forname(typeasstring); } catch (exception e){ throw new illegalstateexception("could not identify type", e); } } } </code></pre><p>вот примеры использования. @lars bohl показал только лучший способ получить обобщенный род посредством расширения. @noah только через создание экземпляра с <code>{}</code>. вот тесты, чтобы продемонстрировать оба случая:</p><pre><code>import java.lang.reflect.constructor; public class typereferencetest { private static final string name = "peter"; private static class person{ final string name; person(string name) { this.name = name; } } @test public void erased() { typereference<person> p = new typereference<>(); assert.assertnotnull(p); try { p.type(); assert.fail(); } catch (exception e){ assert.assertequals("could not identify type", e.getmessage()); } } @test public void reified() throws exception { typereference<person> p = new typereference<person>(){}; assert.assertnotnull(p); assert.assertequals(person.class.getname(), p.type().getname()); constructor ctor = p.type().getdeclaredconstructor(name.getclass()); assert.assertnotnull(ctor); person person = (person) ctor.newinstance(name); assert.assertequals(name, person.name); } static class typereferenceperson extends typereference<person>{} @test public void reifiedextenension() throws exception { typereference<person> p = new typereferenceperson(); assert.assertnotnull(p); assert.assertequals(person.class.getname(), p.type().getname()); constructor ctor = p.type().getdeclaredconstructor(name.getclass()); assert.assertnotnull(ctor); person person = (person) ctor.newinstance(name); assert.assertequals(name, person.name); } } </code></pre><p><strong> примечание: </strong>вы можете заставить клиентов <code>typereference</code> всегда использовать <code>{}</code> при создании экземпляра, сделав этот класс абстрактным: <code>public abstract class typereference<t></code>. я не сделал этого, только чтобы показать стертый тестовый пример. </p>