For example, you can use a helper function: Now Children can still be used anywhere you need an IChildrenObj, but it still remembers all of the specific key/value mappings, and thus emits errors when you do bad things: You can still use IChildrenObj if you need to: Thanks for contributing an answer to Stack Overflow! If you want class constructors to be values, then you don't want, Maybe this article will be helpfull for you, @A-S I think @captain-yossarian wrote that article, but credited me with some piece of code in it.

US to Canada by car with an enhanced driver's license, no passport? How to help my players track gold in multiple currencies? Difference between abstract class and interface in Python, Creating an abstract class in Objective-C. What is the difference between an interface and abstract class? How can I get another align to this equation?

Children stores class constructors while InstanceType, even if it worked for abstract classes (which, as you noted, it doesn't), would be talking about class instances. See microsoft/TypeScript#14446 for the open feature request. Do you want values to be instances of BaseClass or classes? How to convert a string to number in TypeScript? So currently IChildrenObj says it holds constructors that can each produce a BaseClass for every possible type T. Really what you'd like is for IChildrenObj to say it holds constructors that can each produce a BaseClass for some possible type T. That difference between "every" and "some" has to do with the difference between how the type parameter T is quantified; TypeScript (and most other languages with generics) only directly supports "every", or universal quantification. Unfortunately there is no direct support for "some", or existential quantification. Find centralized, trusted content and collaborate around the technologies you use most. Connect and share knowledge within a single location that is structured and easy to search. Was there a Russian safe haven city for politicians and scientists? By clicking Accept all cookies, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy. So, here's one way to define IChildrenObj: The type SubclassOfBaseClass is the intersection of: a concrete construct signature that produces BaseClass instances; and a mapped type which grabs all the static members from typeof BaseClass without also grabbing the offending abstract construct signature. Why is the US residential model untouchable and unquestionable? But the types typeof Child1 and typeof Child2 are not able to produce BaseClass for any T that the caller of new Child1() or the extender class Grandchild2 extends Child2 wants; Child1 can only construct a BaseClass and Child2 can only construct a BaseClass. (But I can elaborate if this is needed). Is there a difference between truing a bike wheel and balancing it? The caveat here is that, while IChildrenObj will work, it's too fuzzy of a type to keep track of things you might care about, such as the particular key/value pairs of Children, and especially the weird "anything goes" behavior of index signatures and the any in BaseClass: So my suggestion in cases like this is to only make sure that Children is assignable to IChildrenObj without actually annotating it as such. Asking for help, clarification, or responding to other answers. Where developers & technologists share private knowledge with coworkers, Reach developers & technologists worldwide. To subscribe to this RSS feed, copy and paste this URL into your RSS reader. Laymen's description of "modals" to clients, Time between connecting flights in Norway. In the US, how do we make tax withholding less if we lost our job for a few months? rev2022.7.21.42639. There are ways to accurately encode existential types in TypeScript, but these are probably a little too annoying to use unless you really care about type safety. Announcing the Stacks Editor Beta release! When adding a new disk to RAID 1, why does it sync unused space? Is a neuron's information processing more complex than a perceptron?

By clicking Post Your Answer, you agree to our terms of service, privacy policy and cookie policy. Why had climate change not been proven beyond doubt for so long? But that is also not what Children stores: The type typeof BaseClass has an abstract construct signature that looks something like new () => BaseClass; the callers (or more usefully, the subclasses that extend BaseClass) can choose anything they want for T, and BaseClass must be able to handle that. It would be closer to write. Now I want to have to define an object with the inheritors as its values: Lastly, I want to be able to use statics methods of the children, and also be able to create instances of them: is not appropriate to describe your Children object. Making statements based on opinion; back them up with references or personal experience. Anyway, does, Typescript: type of subclasses of an abstract generic class, Design patterns for asynchronous API communication. How can I change an element's class with JavaScript? How do you explicitly set a new property on `window` in TypeScript? Short story about the creation of a spell that creates a copy of a specific woman. To learn more, see our tips on writing great answers. Did Sauron suspect that the Ring would be destroyed? How can I see from Windows which Thunderbolt version (3 or 4) my Windows 10 laptop has? Can anyone Identify the make, model and year of this car? How do map designers subconsciously lead players? Instead, my suggestion here is probably to value productivity over full type safety and just use the intentionally loose any type to represent the T you don't care about. Can an abstract class have a constructor? Site design / logo 2022 Stack Exchange Inc; user contributions licensed under CC BY-SA.