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
"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.
"Akvelon is a software development company and we also provide consultancy services to folks who are looking to scale or accelerate their engineering roadmaps," explained Jeremiah Mothersell, Marketing Manager at Akvelon, 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.
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...
Gemini is Yahoo’s native and search advertising platform. To ensure the quality of a complex distributed system that spans multiple products and components and across various desktop websites and mobile app and web experiences – both Yahoo owned and operated and third-party syndication (supply), with complex interaction with more than a billion users and numerous advertisers globally (demand) – it becomes imperative to automate a set of end-to-end tests 24x7 to detect bugs and regression. In th...
"IBM is really all in on blockchain. We take a look at sort of the history of blockchain ledger technologies. It started out with bitcoin, Ethereum, and IBM evaluated these particular blockchain technologies and found they were anonymous and permissionless and that many companies were looking for permissioned blockchain," stated René Bostic, Technical VP of the IBM Cloud Unit in North America, in this SYS-CON.tv interview at 21st Cloud Expo, held Oct 31 – Nov 2, 2017, at the Santa Clara Conventi...
Large industrial manufacturing organizations are adopting the agile principles of cloud software companies. The industrial manufacturing development process has not scaled over time. Now that design CAD teams are geographically distributed, centralizing their work is key. With large multi-gigabyte projects, outdated tools have stifled industrial team agility, time-to-market milestones, and impacted P&L stakeholders.
"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...
Widespread fragmentation is stalling the growth of the IIoT and making it difficult for partners to work together. The number of software platforms, apps, hardware and connectivity standards is creating paralysis among businesses that are afraid of being locked into a solution. EdgeX Foundry is unifying the community around a common IoT edge framework and an ecosystem of interoperable components.
"MobiDev is a software development company and we do complex, custom software development for everybody from entrepreneurs to large enterprises," explained Alan Winters, U.S. Head of Business Development at MobiDev, 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.
Coca-Cola’s Google powered digital signage system lays the groundwork for a more valuable connection between Coke and its customers. Digital signs pair software with high-resolution displays so that a message can be changed instantly based on what the operator wants to communicate or sell. In their Day 3 Keynote at 21st Cloud Expo, Greg Chambers, Global Group Director, Digital Innovation, Coca-Cola, and Vidya Nagarajan, a Senior Product Manager at Google, discussed how from store operations and ...
"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.
SYS-CON Events announced today that CrowdReviews.com has been named “Media Sponsor” of SYS-CON's 22nd International Cloud Expo, which will take place on June 5–7, 2018, at the Javits Center in New York City, NY. CrowdReviews.com is a transparent online platform for determining which products and services are the best based on the opinion of the crowd. The crowd consists of Internet users that have experienced products and services first-hand and have an interest in letting other potential buye...
SYS-CON Events announced today that Telecom Reseller has been named “Media Sponsor” of SYS-CON's 22nd International Cloud Expo, which will take place on June 5-7, 2018, at the Javits Center in New York, NY. Telecom Reseller reports on Unified Communications, UCaaS, BPaaS for enterprise and SMBs. They report extensively on both customer premises based solutions such as IP-PBX as well as cloud based and hosted platforms.
It is of utmost importance for the future success of WebRTC to ensure that interoperability is operational between web browsers and any WebRTC-compliant client. To be guaranteed as operational and effective, interoperability must be tested extensively by establishing WebRTC data and media connections between different web browsers running on different devices and operating systems. In his session at WebRTC Summit at @ThingsExpo, Dr. Alex Gouaillard, CEO and Founder of CoSMo Software, presented ...
WebRTC is great technology to build your own communication tools. It will be even more exciting experience it with advanced devices, such as a 360 Camera, 360 microphone, and a depth sensor camera. In his session at @ThingsExpo, Masashi Ganeko, a manager at INFOCOM Corporation, introduced two experimental projects from his team and what they learned from them. "Shotoku Tamago" uses the robot audition software HARK to track speakers in 360 video of a remote party. "Virtual Teleport" uses a multip...
A strange thing is happening along the way to the Internet of Things, namely far too many devices to work with and manage. It has become clear that we'll need much higher efficiency user experiences that can allow us to more easily and scalably work with the thousands of devices that will soon be in each of our lives. Enter the conversational interface revolution, combining bots we can literally talk with, gesture to, and even direct with our thoughts, with embedded artificial intelligence, whic...
SYS-CON Events announced today that Evatronix 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. Evatronix SA offers comprehensive solutions in the design and implementation of electronic systems, in CAD / CAM deployment, and also is a designer and manufacturer of advanced 3D scanners for professional applications.
Leading companies, from the Global Fortune 500 to the smallest companies, are adopting hybrid cloud as the path to business advantage. Hybrid cloud depends on cloud services and on-premises infrastructure working in unison. Successful implementations require new levels of data mobility, enabled by an automated and seamless flow across on-premises and cloud resources. In his general session at 21st Cloud Expo, Greg Tevis, an IBM Storage Software Technical Strategist and Customer Solution Architec...
To get the most out of their data, successful companies are not focusing on queries and data lakes, they are actively integrating analytics into their operations with a data-first application development approach. Real-time adjustments to improve revenues, reduce costs, or mitigate risk rely on applications that minimize latency on a variety of data sources. In his session at @BigDataExpo, Jack Norris, Senior Vice President, Data and Applications at MapR Technologies, reviewed best practices to ...
An increasing number of companies are creating products that combine data with analytical capabilities. Running interactive queries on Big Data requires complex architectures to store and query data effectively, typically involving data streams, an choosing efficient file format/database and multiple independent systems that are tied together through custom-engineered pipelines. In his session at @BigDataExpo at @ThingsExpo, Tomer Levi, a senior software engineer at Intel’s Advanced Analytics gr...