Microsoft Cloud Authors: Elizabeth White, Yeshim Deniz, Serafima Al, Janakiram MSV, John Katrick

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
"There's plenty of bandwidth out there but it's never in the right place. So what Cedexis does is uses data to work out the best pathways to get data from the origin to the person who wants to get it," explained Simon Jones, Evangelist and Head of Marketing at Cedexis, in this SYS-CON.tv interview at 21st Cloud Expo, held Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA.
Digital Transformation and Disruption, Amazon Style - What You Can Learn. Chris Kocher is a co-founder of Grey Heron, a management and strategic marketing consulting firm. He has 25+ years in both strategic and hands-on operating experience helping executives and investors build revenues and shareholder value. He has consulted with over 130 companies on innovating with new business models, product strategies and monetization. Chris has held management positions at HP and Symantec in addition to ...
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.
In their session at @ThingsExpo, Shyam Varan Nath, Principal Architect at GE, and Ibrahim Gokcen, who leads GE's advanced IoT analytics, focused on the Internet of Things / Industrial Internet and how to make it operational for business end-users. Learn about the challenges posed by machine and sensor data and how to marry it with enterprise data. They also discussed the tips and tricks to provide the Industrial Internet as an end-user consumable service using Big Data Analytics and Industrial C...
René Bostic is the Technical VP of the IBM Cloud Unit in North America. Enjoying her career with IBM during the modern millennial technological era, she is an expert in cloud computing, DevOps and emerging cloud technologies such as Blockchain. Her strengths and core competencies include a proven record of accomplishments in consensus building at all levels to assess, plan, and implement enterprise and cloud computing solutions. René is a member of the Society of Women Engineers (SWE) and a m...
When talking IoT we often focus on the devices, the sensors, the hardware itself. The new smart appliances, the new smart or self-driving cars (which are amalgamations of many ‘things'). When we are looking at the world of IoT, we should take a step back, look at the big picture. What value are these devices providing. IoT is not about the devices, its about the data consumed and generated. The devices are tools, mechanisms, conduits. This paper discusses the considerations when dealing with the...
DXWordEXPO New York 2018, colocated with CloudEXPO New York 2018 will be held November 11-13, 2018, in New York City. Digital Transformation (DX) is a major focus with the introduction of DXWorldEXPO within the program. Successful transformation requires a laser focus on being data-driven and on using all the tools available that enable transformation if they plan to survive over the long term.
To Really Work for Enterprises, MultiCloud Adoption Requires Far Better and Inclusive Cloud Monitoring and Cost Management … But How? Overwhelmingly, even as enterprises have adopted cloud computing and are expanding to multi-cloud computing, IT leaders remain concerned about how to monitor, manage and control costs across hybrid and multi-cloud deployments. It’s clear that traditional IT monitoring and management approaches, designed after all for on-premises data centers, are falling short in ...
With privacy often voiced as the primary concern when using cloud based services, SyncriBox was designed to ensure that the software remains completely under the customer's control. Having both the source and destination files remain under the user?s control, there are no privacy or security issues. Since files are synchronized using Syncrify Server, no third party ever sees these files.
Cloud-enabled transformation has evolved from cost saving measure to business innovation strategy -- one that combines the cloud with cognitive capabilities to drive market disruption. Learn how you can achieve the insight and agility you need to gain a competitive advantage. Industry-acclaimed CTO and cloud expert, Shankar Kalyana presents. Only the most exceptional IBMers are appointed with the rare distinction of IBM Fellow, the highest technical honor in the company. Shankar has also receive...
In his session at 21st Cloud Expo, Carl J. Levine, Senior Technical Evangelist for NS1, will objectively discuss how DNS is used to solve Digital Transformation challenges in large SaaS applications, CDNs, AdTech platforms, and other demanding use cases. Carl J. Levine is the Senior Technical Evangelist for NS1. A veteran of the Internet Infrastructure space, he has over a decade of experience with startups, networking protocols and Internet infrastructure, combined with the unique ability to it...
"Cloud Academy is an enterprise training platform for the cloud, specifically public clouds. We offer guided learning experiences on AWS, Azure, Google Cloud and all the surrounding methodologies and technologies that you need to know and your teams need to know in order to leverage the full benefits of the cloud," explained Alex Brower, VP of Marketing at Cloud Academy, in this SYS-CON.tv interview at 21st Cloud Expo, held Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clar...
Andrew Keys is Co-Founder of ConsenSys Enterprise. He comes to ConsenSys Enterprise with capital markets, technology and entrepreneurial experience. Previously, he worked for UBS investment bank in equities analysis. Later, he was responsible for the creation and distribution of life settlement products to hedge funds and investment banks. After, he co-founded a revenue cycle management company where he learned about Bitcoin and eventually Ethereal. Andrew's role at ConsenSys Enterprise is a mul...
Internet-of-Things discussions can end up either going down the consumer gadget rabbit hole or focused on the sort of data logging that industrial manufacturers have been doing forever. However, in fact, companies today are already using IoT data both to optimize their operational technology and to improve the experience of customer interactions in novel ways. In his session at @ThingsExpo, Gordon Haff, Red Hat Technology Evangelist, shared examples from a wide range of industries – including en...
"Space Monkey by Vivent Smart Home is a product that is a distributed cloud-based edge storage network. Vivent Smart Home, our parent company, is a smart home provider that places a lot of hard drives across homes in North America," explained JT Olds, Director of Engineering, and Brandon Crowfeather, Product Manager, at Vivint Smart Home, in this SYS-CON.tv interview at @ThingsExpo, held Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA.
Rodrigo Coutinho is part of OutSystems' founders' team and currently the Head of Product Design. He provides a cross-functional role where he supports Product Management in defining the positioning and direction of the Agile Platform, while at the same time promoting model-based development and new techniques to deliver applications in the cloud.
DevOpsSummit New York 2018, colocated with CloudEXPO | DXWorldEXPO New York 2018 will be held November 11-13, 2018, in New York City. Digital Transformation (DX) is a major focus with the introduction of DXWorldEXPO within the program. Successful transformation requires a laser focus on being data-driven and on using all the tools available that enable transformation if they plan to survive over the long term. A total of 88% of Fortune 500 companies from a generation ago are now out of bus...
delaPlex is a global technology and software development solutions and consulting provider, deeply committed to helping companies drive growth, revenue and marketplace value. Since 2008, delaPlex's objective has been to be a trusted advisor to its clients. By redefining the outsourcing industry's business model, the innovative delaPlex Agile Business Framework brings an unmatched alliance of industry experts, across industries and functional skillsets, to clients anywhere around the world.
Business professionals no longer wonder if they'll migrate to the cloud; it's now a matter of when. The cloud environment has proved to be a major force in transitioning to an agile business model that enables quick decisions and fast implementation that solidify customer relationships. And when the cloud is combined with the power of cognitive computing, it drives innovation and transformation that achieves astounding competitive advantage.
Headquartered in Plainsboro, NJ, Synametrics Technologies has provided IT professionals and computer systems developers since 1997. Based on the success of their initial product offerings (WinSQL and DeltaCopy), the company continues to create and hone innovative products that help its customers get more from their computer applications, databases and infrastructure. To date, over one million users around the world have chosen Synametrics solutions to help power their accelerated business or per...