<br><br><div class="gmail_quote">On Thu, Feb 3, 2011 at 10:07 PM, Jonathan M Davis <span dir="ltr"><<a href="mailto:jmdavisProg@gmx.com">jmdavisProg@gmx.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div><div></div><div class="h5">On Thursday 03 February 2011 19:29:15 Robert Jacques wrote:<br>
> On Thu, 03 Feb 2011 08:49:54 -0500, Jacob Carlborg <<a href="mailto:doob@me.com">doob@me.com</a>> wrote:<br>
> > On 2011-02-03 05:52, Robert Jacques wrote:<br>
> >> On Wed, 02 Feb 2011 12:55:37 -0500, %u <<a href="mailto:fghf@jhgjhb.com">fghf@jhgjhb.com</a>> wrote:<br>
> >>> I know is possible to create an object from its name. It's possible to<br>
> >>> call a method from that object if the name is only known at runtime?<br>
> >>><br>
> >>> Would something like the following be possible?<br>
> >>><br>
> >>> string classname, methodname;<br>
> >>> // Ask the user for class and method.<br>
> >>> auto obj = Object.factory(classname);<br>
> >>> invoke(methodname, obj, param1, param2);<br>
> >>><br>
> >>> Thanks<br>
> >><br>
> >> I've been working on an update to std.variant, which includes a<br>
> >> compile-time reflection to runtime-reflection system. (See<br>
> >> <a href="https://jshare.johnshopkins.edu/rjacque2/public_html/" target="_blank">https://jshare.johnshopkins.edu/rjacque2/public_html/</a>) From the docs:<br>
> >><br>
> >> Manually registers a class with Variant's runtime-reflection system.<br>
> >> Note that Variant automatically registers any types it is exposed. Note<br>
> >> how in the example below, only Student is manually registered; Grade is<br>
> >> automatically registered by Variant via compile-time reflection of<br>
> >> Student.<br>
> >><br>
> >> module example;<br>
> >> class Grade { real mark; }<br>
> >> class Student { Grade grade; }<br>
> >> void main(string[] args) {<br>
> >> Variant.__register!Student;<br>
> >> Variant grade = Object.factory("example.Grade");<br>
> >> grade.mark(96.6);<br>
> >> assert(grade.mark == 96.6);<br>
> >> }<br>
> >><br>
> >> And dynamic method/field calls are handled via the __reflect(string<br>
> >> name, Variant[] args...) method like so:<br>
> >><br>
> >> grade.__reflect("mark",Variant(96.6));<br>
> >> assert(grade.__reflect("mark") == 96.6);<br>
> ><br>
> > Why would you need to pass in Variants in __reflect? Why not just make<br>
> > it a variadic method and automatically convert to Variant?<br>
><br>
> Well, opDispatch does exactly that. __reflect, on the other hand, was<br>
> designed as a quasi-backend function primarily for a) internal use (hence<br>
> the double underscore), b) scripting language interfacing/implementing and<br>
> c) user-extension. So efficiency was of key importance. And the reflection<br>
> system is extensible, as Variant knows to call __reflect on user defined<br>
> types. This makes things like prototype style objects possible. (There's<br>
> even a beta implementation of a prototype object in the library) But this<br>
> requires that the use __reflect methods not be templated.<br>
><br>
> I'm not well versed in dynamic reflection and its use cases, so when I<br>
> considered the combination of a runtime method name and compile-time<br>
> argument type information, I classed it as 'rare in practice'. But if<br>
> that's not the case, I'd like to know and would greatly appreciate a use<br>
> case/unit test.<br>
<br>
</div></div>Most of the good examples of runtime reflection that I'm aware of require user-<br>
defined attributes. But there are libraries in Java (and presumably C#) that do<br>
stuff like allow you to mark your classes with certain attributes indicating what<br>
type of XML elements that they should be, and then another library which knows<br>
_nothing_ about your classes is able to serialize them to and from XML. Another<br>
example would be Hibernate, which does the same sort of stuff only it deals with<br>
talking to databases. Full-on runtime reflection combined with user-defined<br>
attributes can do some powerful stuff. However, I do think that runtime reflection<br>
without user-defined attributes doesn't tend to be anywhere near as useful. To<br>
really get that sort of stuff working, we'd need D to properly support both user-<br>
defined attributes and runtime reflection. Both are future possibilities but<br>
obviously aren't happening any time soon.</blockquote><div><br></div><div>I would argue that if user-defined attributes could be implemented and tied into the existing compile time reflection system, we could reap similar benefits. One popular pattern in the serialization libraries you describe is that, for performance reasons, runtime reflection can be abandoned in favor of runtime code generation, where the same reflection system is used once to dynamically write code that can be used repeatedly. D has the advantage that such code can be written at compile time.</div>
<div>True, runtime reflection would make this sort of thing more clean and decoupled, but even using compile time reflection, quite a bit is feasible if user-defined attributes are defined.</div></div><br>