CSC/ECE 517 Fall 2009/wiki2 5 jdf
Reflection APIs
Introduction
Reflection is a feature offered by many modern programming languages. Reflection provides programmers with the ability to write code that determines information about a set of code during run time. The information that is acquired through reflection can be used to develop very sophisticated program features. Programs can be written to adapt based on the characteristics of the code itself. The information that can be obtained via reflection includes elements such as:
- The class types of objects that are present in the running program
- The class hierarchy of an object or set of objects
- The attributes and methods of objects
- Details of the method calls supported by objects [1]
Reflection is present in many programming languages and its use is particularly prevalent in object oriented languages, such as Java and Ruby. The level of implementation and ease of use varies among languages. The objective of this article is to provide an overview of the different Application Programming Interfaces or APIs that exist in various Object Oriented Languages to provide reflection functionality. In general, reflection is much easier to use in languages where it is a native part of the language syntax, e.g. Ruby.
Languages that Provide a Reflection API
Among the languages that provide Reflection APIs we count the following:
Reflection in Ruby
Reflection is built into Ruby, it is a standard feature of the language. Objects in Ruby support reflection by default, hence it is not necessary to use any external or additional libraries. In essence, the programmer does not need to do anything special to star using reflection, it is a native part of the language [1, 2].
The following Ruby code will display the class type of a variable:
mystr = "Hello World!" mystr.class
The following code displays all the methods that are exposed by the class:
mystr.methods
Reflection in Java
Reflection in Java is achived by making method calls on a Class object [3]. Before using reflection on an object, first it is necessary to map it to an instance of Class. It is important to note that this method only works for types that are derived from Object, not all types in Java are an object, e.g. boolean.
The following code shows how to obtain the Class from a string object:
Class myclass = "Hello World!".getClass();
We can use the myclass object to retrieve the name of the class, in this case String:
myclass.getName();
To map a non-object Java type, such as the primitive type boolean to a Class, the following syntax must be used:
boolean recordExists; Class myclass = recordExists.class;
To retrieve the set of methods that are supported by a given class, the following syntax is used:
myclass.getMethods();
Reflection in C#
Using reflection in C# requires the use of the System.Reflection assembly which is specifically dedicated to such purpose [4, 5]. Assemblies in C# are akin to packages in Java. The use of reflection in C# is an advanced feature, intended mainly for expert developers. Additionally, the performance of C# code that relies on reflection is considerably slower than standard code.
The following code fragment illustrates how to obtain and display the type of a class using C#:
String myclass = "Hello World!"; System.Type classType = myclass.GetType(); System.Console.WriteLine(classType);
Reflection in VB.NET
VB.NET is a Microsoft programming language which is also based on the .NET Framework and hence its reflection features are similar to those of C#. The main difference between using reflection in VB.NET and using it in C# is the syntax of the language itself.
The following code illustrates the use of reflection in VB.NET:
Dim myclass As String = "Hello World!" Dim classType As System.Type = myclass.GetType() System.Console.WriteLine(classType)
Reflection in Smalltalk-80
Smalltalk-80 offers powerful reflection capabilities. In Smalltalk everything is an object, and objects support reflection natively. Features of the language also include the ability to explore the contents of the run-time stack and redefining methods at run-time[7].
Reflection in Smalltalk-80 is based on the fact that programs are compiled into byte code that is interpreted by a virtual machine. The virtual machine provides the necessary functionality for reflection in the message-passing mechanism.
Other Considerations
Reflection is a very powerful programming feature, usually reserved for more experienced programmers. Nevertheless, the use of reflection must be done keeping in mind that the advantages achieved from discovering details about the code during run time usually come at a price[3]. The following must be considered:
- Reflection incurs heavy overhead, i.e. code that uses reflection cannot be optimized by the compiler in the same way that standard code is. Code that relies on reflection should be expected to run slower.
- Reflection may not work in the deployed environment due to security constraints.
- Code that uses reflection may result in undesired or unexpected side effects, for instance changes to private variables that were never intended to be exposed.
Resources
References
[1] D. Thomas, C. Fowler and A. Hunt, Programming Ruby, The Pragmatic Programmer's Guide. 2nd Edition. The Pragmatic Bookshelf.
[2] Help and documentation for the Ruby programming language, RUBY-DOC.ORG
[3] Trail: The Reflection API, The Java Tutorials, Sun Microsystems, http://java.sun.com/docs/books/tutorial/reflect/
[4] Viewing Type Information, .NET Framework Developer's Guide, http://msdn.microsoft.com/en-us/library/t0cs7xez%28VS.80%29.aspx
[5] Reflection, C# Programming Guide, http://msdn.microsoft.com/en-us/library/ms173183%28VS.80%29.aspx
[6] Reflection (C# and Visual Basic), http://msdn.microsoft.com/en-us/library/ms173183%28VS.100%29.aspx
[7] Foote B. and Johnson R.E., Reflective Facilities in Smalltalk-80, University of Illinois at Urbana-Champaign, Dept. of Computer Science, 1989, http://www.laputan.org/ref89/ref89.html
CSC 517 Fall 2009
Wiki 2 Assignment
Author: Newwolf