Welcome!

Microsoft Cloud Authors: Janakiram MSV, Yeshim Deniz, David H Deans, Andreas Grabner, Stackify Blog

Related Topics: Microsoft Cloud

Microsoft Cloud: Article

Dealing With The C# 2.0 Genericity

Leverage generics for flexible code, the forthcoming .NET 2.0 Framework will introduce new important features

Genericity and Polymorphism
Arrays and stacks, which have been defined in the previous sections, are kinds of polymorphic data structures. Into a container object of type Stack<T> we can push objects whose type is not just T, but any subtype of T.

Does this mean that if B is a subtype of A, then SomeGenericType<B> is a subtype of SomeGenericType<A>? This is true for arrays: if a type Employee is a subtype of a type Person, then Employee[] is a subtype of Person[]. Thus, the following code is valid:

Person[] persons = new Person[10];
Employee[] employees = new Employee[5];
...
persons = employees;

The variable persons has static type Person[], so every item persons[j] has static type Person. However at run time, after executing the assignment persons = employees, the variable persons will dynamically have an object of type Employee[]. Now, if F is a virtual method, then the call persons[j].F() will invoke the F that was redefined in Employee.

CLR dynamically controls the fact that the variable persons holds an object of type Employee[]; then, although persons has been statically declared as Person[], any attempt to assign an object of type other than Employee, or a type derived from Employee, to an item of persons will produce an exception, i.e., the CLR knows that the entire array object holding in persons has the type Employee[].

The policy above can be applied for arrays because these are embedded in the framework and then the CLR has all the knowledge to check it. Unfortunately however, the same rule cannot be applied in C#2.0 to our custom generic types. If Employee is a subtype of Person, then Stack<Employee> is not a subtype of Stack<Person>. The following code produces a compiling error:

Stack<Person> sp = new Stack<Person>;
Stack<Employee> se = new Stack<Employee>;
...
sp = se;

This is a pessimistic, but safe, strong type checking. The CLR cannot guess the semantics of our custom generic definition. Suppose Student is also another subtype of Person. If the compiler would allow the assignment above, then if you do sp.Push(new Student());, you will be calling the Push method expecting an Employee, but passing a Student!

Constrained Genericity
Inheritance and genericity both support the task of defining types based on other types. With inheritance we can define a vertical hierarchy of types, and with genericity we can define a kind of "horizontal" family of types. This section illustrates how to combine inheritance with genericity by means of specifying whether a type is acceptable or not as the actual type to instantiate a certain generic class. Such capability, known as constrained genericity, was introduced in Eiffel language (see the second entry in the References section) and it is also included in C# 2.0.

In the Stack<T> example, it is possible to use any type as the actual type parameter for T because the implementation only does assignments and returns operations with objects of type T. Such operations can be done on objects of any type (value types or reference types). The compiler assumes those operations we can do with an object of type T to be general operations and the operations of the root System.Object type.

However, there are situations in which we can expect more specialized functionality from the type parameters. For example, suppose you have a Sort method in a generic class List<T> as shown in Listing 4. It is probable that in the implementation of Sort we need to do some comparison of objects of type T.

In this case the compiler needs to be sure that the actual type we use to instantiate the generic parameter T has the method CompareTo. Then Listing 4 will display a compilation error because the compiler cannot guarantee that a method CompareTo exists in any type T.

Nevertheless, in C# 2.0, an optional list of constraints can be supplied for each type parameter declared in a generic class. A constraint indicates a requirement that a type must fulfill in order to construct a generic type. Therefore, considering that the following interface exists:

interface IComparable
{
    int CompareTo(IComparable x);
}

we can write the generic class:

class List<T> where T:IComparable
{
    ...
}

Such generic definition tells the compiler that the actual type parameter used to instantiate List<T> must implement (or be a subtype of) IComparable. If the Person type implements IComparable, then the instantiation List<Person> myfamily; is correct.

Because there is no multiple inheritance in .NET, for a given type parameter you can specify any number of interfaces as constraints, but no more than one class.

Construction and Generic Parameters
There are situations in which objects of the same type might be created as the actual type used to instantiate the generic type. This could be done if it is expressed as a constraint that forces the parameter to have a constructor. The following generic definition compiles well:

class G<T> where T: new()
{
   ...
   public T SomeMethod()
{
    ...
    return new T();
}
}

The constraint where T: new() indicates that the actual type used to instantiate the generic class must have a default constructor. Then the statement return new T() and the following code excerpt:

class Person
{
   public Person(){...}
   ...
}
G<Person> gp;

will compile without errors, but

class Date
{
   public Date(int d, int m, int y){...}
   //No other constructors
   ...
}
G<Date> gd;

will display a compiling error because the type Date has no default constructor.

Unfortunately it is possible only to express construction constraints related to default constructors, i.e., constructors without parameters. It would be nice to express a constraint that requests a constructor signature. This would be a good reason to include constructor specifications in an interface. We hope this matter will be considered in the future.

The New Generic Types in the .NET 2.0 Library
.NET 2.0 is backward compatible, so it keeps all classes of the previous framework. Nevertheless, several types are now simplified and introducing their generic version.

More Stories By Miguel Katrib

Miguel Katrib is a PhD and a professor in the Computer Science Department at the University of Havana. He is also the head of the WEBOO group dedicated to Web and object-oriented technologies. Miguel is also a scientific advisor in .NET for the software enterprise CARE Technologies, Denia, Spain.

More Stories By Mario del Valle

Mario del Valle is working toward his MS at the Computer Science Department at the University of Havana, and is a software developer at the WEBOO group dedicated to Web and object-oriented technologies.

Comments (1) View Comments

Share your thoughts on this story.

Add your comment
You must be signed in to add a comment. Sign-in | Register

In accordance with our Comment Policy, we encourage comments that are on topic, relevant and to-the-point. We will remove comments that include profanity, personal attacks, racial slurs, threats of violence, or other inappropriate material that violates our Terms and Conditions, and will block users who make repeated violations. We ask all readers to expect diversity of opinion and to treat one another with dignity and respect.


Most Recent Comments
.NET News Desk 12/06/05 06:45:57 PM EST

The forthcoming .NET 2.0 Framework will introduce new important features. One of those features is genericity. Genericity is not really a new concept. It has been included in some previous languages as ADA, C++, Eiffel, and in the mathematical model of abstract data types (ADT). However, the C# 2.0 notation for genericity (see the first entry in the References section), the integration of genericity in the .NET type system, the efficient implementation of genericity in the CLR-JIT process, and the new generic features included in the reflection mechanism will strengthen .NET programmers' output.

@ThingsExpo Stories
Smart cities have the potential to change our lives at so many levels for citizens: less pollution, reduced parking obstacles, better health, education and more energy savings. Real-time data streaming and the Internet of Things (IoT) possess the power to turn this vision into a reality. However, most organizations today are building their data infrastructure to focus solely on addressing immediate business needs vs. a platform capable of quickly adapting emerging technologies to address future ...
SYS-CON Events announced today that mruby Forum will exhibit at the Japan External Trade Organization (JETRO) Pavilion at SYS-CON's 21st International Cloud Expo®, which will take place on Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA. mruby is the lightweight implementation of the Ruby language. We introduce mruby and the mruby IoT framework that enhances development productivity. For more information, visit http://forum.mruby.org/.
Digital transformation is changing the face of business. The IDC predicts that enterprises will commit to a massive new scale of digital transformation, to stake out leadership positions in the "digital transformation economy." Accordingly, attendees at the upcoming Cloud Expo | @ThingsExpo at the Santa Clara Convention Center in Santa Clara, CA, Oct 31-Nov 2, will find fresh new content in a new track called Enterprise Cloud & Digital Transformation.
Most technology leaders, contemporary and from the hardware era, are reshaping their businesses to do software. They hope to capture value from emerging technologies such as IoT, SDN, and AI. Ultimately, irrespective of the vertical, it is about deriving value from independent software applications participating in an ecosystem as one comprehensive solution. In his session at @ThingsExpo, Kausik Sridhar, founder and CTO of Pulzze Systems, will discuss how given the magnitude of today's applicati...
SYS-CON Events announced today that NetApp has been named “Bronze Sponsor” of SYS-CON's 21st International Cloud Expo®, which will take place on Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA. NetApp is the data authority for hybrid cloud. NetApp provides a full range of hybrid cloud data services that simplify management of applications and data across cloud and on-premises environments to accelerate digital transformation. Together with their partners, NetApp emp...
In a recent survey, Sumo Logic surveyed 1,500 customers who employ cloud services such as Amazon Web Services (AWS), Microsoft Azure, and Google Cloud Platform (GCP). According to the survey, a quarter of the respondents have already deployed Docker containers and nearly as many (23 percent) are employing the AWS Lambda serverless computing framework. It’s clear: serverless is here to stay. The adoption does come with some needed changes, within both application development and operations. Tha...
SYS-CON Events announced today that Avere Systems, a leading provider of enterprise storage for the hybrid cloud, will exhibit at SYS-CON's 21st International Cloud Expo®, which will take place on Oct 31 - Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA. Avere delivers a more modern architectural approach to storage that doesn't require the overprovisioning of storage capacity to achieve performance, overspending on expensive storage media for inactive data or the overbui...
SYS-CON Events announced today that Avere Systems, a leading provider of hybrid cloud enablement solutions, will exhibit at SYS-CON's 21st International Cloud Expo®, which will take place on Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA. Avere Systems was created by file systems experts determined to reinvent storage by changing the way enterprises thought about and bought storage resources. With decades of experience behind the company’s founders, Avere got its ...
Amazon is pursuing new markets and disrupting industries at an incredible pace. Almost every industry seems to be in its crosshairs. Companies and industries that once thought they were safe are now worried about being “Amazoned.”. The new watch word should be “Be afraid. Be very afraid.” In his session 21st Cloud Expo, Chris Kocher, a co-founder of Grey Heron, will address questions such as: What new areas is Amazon disrupting? How are they doing this? Where are they likely to go? What are th...
As hybrid cloud becomes the de-facto standard mode of operation for most enterprises, new challenges arise on how to efficiently and economically share data across environments. In his session at 21st Cloud Expo, Dr. Allon Cohen, VP of Product at Elastifile, will explore new techniques and best practices that help enterprise IT benefit from the advantages of hybrid cloud environments by enabling data availability for both legacy enterprise and cloud-native mission critical applications. By rev...
Recently, REAN Cloud built a digital concierge for a North Carolina hospital that had observed that most patient call button questions were repetitive. In addition, the paper-based process used to measure patient health metrics was laborious, not in real-time and sometimes error-prone. In their session at 21st Cloud Expo, Sean Finnerty, Executive Director, Practice Lead, Health Care & Life Science at REAN Cloud, and Dr. S.P.T. Krishnan, Principal Architect at REAN Cloud, will discuss how they b...
SYS-CON Events announced today that SkyScale will exhibit at SYS-CON's 21st International Cloud Expo®, which will take place on Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA. SkyScale is a world-class provider of cloud-based, ultra-fast multi-GPU hardware platforms for lease to customers desiring the fastest performance available as a service anywhere in the world. SkyScale builds, configures, and manages dedicated systems strategically located in maximum-security...
High-velocity engineering teams are applying not only continuous delivery processes, but also lessons in experimentation from established leaders like Amazon, Netflix, and Facebook. These companies have made experimentation a foundation for their release processes, allowing them to try out major feature releases and redesigns within smaller groups before making them broadly available. In his session at 21st Cloud Expo, Brian Lucas, Senior Staff Engineer at Optimizely, will discuss how by using...
In this strange new world where more and more power is drawn from business technology, companies are effectively straddling two paths on the road to innovation and transformation into digital enterprises. The first path is the heritage trail – with “legacy” technology forming the background. Here, extant technologies are transformed by core IT teams to provide more API-driven approaches. Legacy systems can restrict companies that are transitioning into digital enterprises. To truly become a lead...
SYS-CON Events announced today that Daiya Industry will exhibit at the Japanese Pavilion at SYS-CON's 21st International Cloud Expo®, which will take place on Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA. Ruby Development Inc. builds new services in short period of time and provides a continuous support of those services based on Ruby on Rails. For more information, please visit https://github.com/RubyDevInc.
As businesses evolve, they need technology that is simple to help them succeed today and flexible enough to help them build for tomorrow. Chrome is fit for the workplace of the future — providing a secure, consistent user experience across a range of devices that can be used anywhere. In her session at 21st Cloud Expo, Vidya Nagarajan, a Senior Product Manager at Google, will take a look at various options as to how ChromeOS can be leveraged to interact with people on the devices, and formats th...
SYS-CON Events announced today that Yuasa System will exhibit at the Japan External Trade Organization (JETRO) Pavilion at SYS-CON's 21st International Cloud Expo®, which will take place on Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA. Yuasa System is introducing a multi-purpose endurance testing system for flexible displays, OLED devices, flexible substrates, flat cables, and films in smartphones, wearables, automobiles, and healthcare.
Organizations do not need a Big Data strategy; they need a business strategy that incorporates Big Data. Most organizations lack a road map for using Big Data to optimize key business processes, deliver a differentiated customer experience, or uncover new business opportunities. They do not understand what’s possible with respect to integrating Big Data into the business model.
Enterprises have taken advantage of IoT to achieve important revenue and cost advantages. What is less apparent is how incumbent enterprises operating at scale have, following success with IoT, built analytic, operations management and software development capabilities – ranging from autonomous vehicles to manageable robotics installations. They have embraced these capabilities as if they were Silicon Valley startups. As a result, many firms employ new business models that place enormous impor...
SYS-CON Events announced today that Taica will exhibit at the Japan External Trade Organization (JETRO) Pavilion at SYS-CON's 21st International Cloud Expo®, which will take place on Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA. Taica manufacturers Alpha-GEL brand silicone components and materials, which maintain outstanding performance over a wide temperature range -40C to +200C. For more information, visit http://www.taica.co.jp/english/.