Sorry about the harsh language, but I have to vent my anger to somebody who
actually understands what I am talking about. Complaining to my girlfriend
is not going to produce any meaningful results other than straining our
relationship...
I just downloaded Visual C# Express Edition to mess with .NET 2.0 generics.
Being a numerically inclined developer, the first thing I wanted to write
was a generic complex number class. I also have some quite large vector and
matrix libraries that I would love to convert to use generics.
Imagine my surprise when I found out that what I want is basically
impossible. I want a complex number class that can work with any basic data
type like so: complex<float>, complex<double>, complex<decimal> and so on.
This is something that is done very often in C++ and one of the main
applications of generics there.
This was my first try (this is only an excerpt):
struct complex<T>
{
public T re,im;
complex<T>(T re,T im)
{
this.re=re;this.im=im;
}
complex<T> Sum(complex<T> a,complex<T> b)
{
return new complex<T>(a.re+b.re,a.im+b.im);
}
}
Something like this would work in C++, since it does not have constraints on
type parameters. But in .NET, when you specify a type parameter without
constraints it is assumed to be a System.Object, which of course does not
have a + operator.
So I thought, probably there is a way to specify a method constraint for T
such that T must have a certain (static) method or a certain operator
method. But the only thing like this is the new() constraint to specify
that a class must have a default constructor.
My second thought was that there might be some interface like IArithmetic.
This is of course complicated by the fact that interfaces can not contain
static methods. But something like
interface IArithmetic<T> {
void Add(T a);
void Subtract(T a);
void Multiply(T a);
void Divide(T a);
}
should do the trick. This would not be very elegant, but quite sufficient.
Given that there is an interface called IComparable<T> this should not be
too much to ask. Maybe there should even be something more granular like
interface IAddable<T> {
void Add(T a);
}
....
interface
IArithmetic<T>:IAddable<T>,ISubtractable<T>,IMulti pliable<T>,IDivisible<T>
{
}
or something. This solution would be similar to the approach taken with
IComparable and IComparable<T>.
But no such interface exists in the System namespace. So I would have to
wrap all the basic data types into structs that actually implement this
interface, like so:
struct ArithmeticInt : IArithmetic<int> {
private int value;
...
}
struct ArithmeticDouble : IArithmetic<double> {
private double value;
...
}
But this would be a lot of work and, even worse, would lead to absymal
performance since in my experience the .NET JIT compiler is too dumb to get
rid of the wrapper code.
There are of course some workarounds like having a separate type parameter
for the operations, like this:
struct Complex<T,Ops> where Ops:IArithmeticOps<T>
{
...
}
But this yields inacceptable performance.
What is really required is a way to specify *method* *constraints* instead
of just interface constraints and the new() constraint.
Another option would be to allow static methods in interfaces and to provide
an IArithmethic interface in the System namespace, but I would prefer the
first option.
Without something like this, generics are only good for typed collections.
Adding so much new syntax and complexity just to make collections faster
and more type safe seems like a waste of time! 10 2577
Just to back up my assertion that the .NET JIT is not capable of removing
wrapper code, here is a small benchmark. YMMV, but on my machine the second
loop always takes about twice as long as the first loop. So using wrapper
classes is not an option for performance-critical code.
----------------------------------------------------------------------
#region Using directives
using System;
using System.Collections.Generic;
using System.Text;
#endregion
namespace ConsoleApplication1
{
interface IAddable<T>
{
void Add(T a);
}
struct AddableInt : IAddable<int>
{
int value;
public void Add(int a)
{
value += a;
}
}
class Program
{
static void Main(string[] args)
{
//This is for the JIT
Test();
//This one is for real
Test();
Console.ReadLine();
}
static void Test() {
int x0 = 0;
AddableInt x1 = new AddableInt();
DateTime time0 = DateTime.Now;
for (int i = 0; i < 1000000000; i++)
{
x0 += i;
}
TimeSpan delta0 = DateTime.Now - time0;
DateTime time1 = DateTime.Now;
for (int i = 0; i < 1000000000; i++)
{
x1.Add(i);
}
TimeSpan delta1 = DateTime.Now - time1;
Console.WriteLine(delta0);
Console.WriteLine(delta1);
}
}
}
"Ruediger Klaehn" <kl****@gamemakers.de> wrote:
[...rant deleted...] Without something like this, generics are only good for typed collections. Adding so much new syntax and complexity just to make collections faster and more type safe seems like a waste of time!
Ah well, I think making collections typesafe and faster is worth all the new
syntax and complicity.
Oh, and my girlfriend would probably agree with me, too, she'd love to have
more typesafety! :)
Sam
--
But no constraints is tough, yes! And I got the naggin feeling I read
somewhere it should know constraints. Memory is a strange beast.
On Tue, 27 Jul 2004 14:47:18 +0200, Ruediger Klaehn
<kl****@gamemakers.de> wrote:
<snip> Imagine my surprise when I found out that what I want is basically impossible. I want a complex number class that can work with any basic data type like so: complex<float>, complex<double>, complex<decimal> and so on. This is something that is done very often in C++ and one of the main applications of generics there.
<snip>
Yes, it is unfortunately impossible. I don't think there is a chance
of this changing for 2.0, but you should take this discussion to the
beta newsgroups and try to influence the future direction, because I
know this very subject is being given some thought: http://communities.microsoft.com/new...idbey&slcid=us Without something like this, generics are only good for typed collections. Adding so much new syntax and complexity just to make collections faster and more type safe seems like a waste of time!
It's subjective, but I would have to disagree. Collections are
pervasive in many of the applications I work with, and generics will
make them not only type safe and performant, but also make the code
more elegant.
--
Scott http://www.OdeToCode.com
Scott Allen <bitmask@[nospam].fred.net> wrote: Without something like this, generics are only good for typed collections. Adding so much new syntax and complexity just to make collections faster and more type safe seems like a waste of time!
It's subjective, but I would have to disagree. Collections are pervasive in many of the applications I work with, and generics will make them not only type safe and performant, but also make the code more elegant.
In particular, the ability to have efficient lists of value types
without boxing will be very nice - a list of bytes will no doubt be
useful in many places where currently we use MemoryStream, etc.
I'm with you - type-safe and efficient collections are very
important...
--
Jon Skeet - <sk***@pobox.com> http://www.pobox.com/~skeet
If replying to the group, please do not mail me too
Scott Allen wrote:
[snip] Without something like this, generics are only good for typed collections. Adding so much new syntax and complexity just to make collections faster and more type safe seems like a waste of time!
It's subjective, but I would have to disagree. Collections are pervasive in many of the applications I work with, and generics will make them not only type safe and performant, but also make the code more elegant.
I guess I overreacted a bit. Of course C# generics are still much faster
than java "generics" and not as complex as C++ templates, and they will be
very useful in many situations.
But the fact that it is not even possible to write a fast generic complex
class is a big disappointment. Especially since it would be extremely
simple to add something IArithmetic<T> to all base data types. After all
they added the generic interface Comparable<T>.
I still don't get why such a simple thing has been overlooked!
"Beeeeeeeeeeeeves" <Be**************@discussions.microsoft.com> wrote in
news:76**********************************@microsof t.com... The reason Generics in .NET 2.0 SUCK ? Likely because they are a complete crib off templates in C++, which ALSO
SUCK!!!
Ever implemented a type-safe list in C#?
You do know what type-safety is, don't you?
And... you do know what a list is?
They are the most POOR idea for a way of programming I have ever seen.
Apparently you're new to programming...
Niki
Ruediger Klaehn wrote: Imagine my surprise when I found out that what I want is basically impossible. I want a complex number class that can work with any basic data type like so: complex<float>, complex<double>, complex<decimal> and so on. This is something that is done very often in C++ and one of the main applications of generics there.
Welcome to the club :-(
< http://groups.google.com/groups?dq=&...dm=OVjxavQbEHA.
1048%40tk2msftngp13.phx.gbl&prev=/groups%3Fdq%3D%26num%3D25%26hl%3Den%26lr%3
D%26ie%3DUTF-8%26group%3Dmicrosoft.public.dotnet.languages.csha rp%26start%3D
525>
Regards,
Andreas
So, let me get this straight... boxing and unboxing are acceptable practices
in your code? Remind me never to run one of your apps. ;-)
As for a "complete crib off templates in C++"... erm, what do you think most
of the C# language is derived from? C++ style languages (Java, C++, C,
etc..).
--
Kyril
"Beeeeeeeeeeeeves" <Be**************@discussions.microsoft.com> wrote in
message news:76**********************************@microsof t.com...
| The reason Generics in .NET 2.0 SUCK ?
| Likely because they are a complete crib off templates in C++, which ALSO
SUCK!!!
| They are the most POOR idea for a way of programming I have ever seen.
|
<snip>
"Niki Estner" <ni*********@cube.net> wrote in message
news:ue**************@TK2MSFTNGP09.phx.gbl... "Beeeeeeeeeeeeves" <Be**************@discussions.microsoft.com> wrote in news:76**********************************@microsof t.com... The reason Generics in .NET 2.0 SUCK ? Likely because they are a complete crib off templates in C++, which ALSO SUCK!!!
Ever implemented a type-safe list in C#? You do know what type-safety is, don't you? And... you do know what a list is?
They are the most POOR idea for a way of programming I have ever seen.
Apparently you're new to programming...
No, he's just here to complain. I consider him a troll at this point.
> Something like this would work in C++, since it does not have constraints on type parameters. But in .NET, when you specify a type parameter without constraints it is assumed to be a System.Object, which of course does not have a + operator.
So I thought, probably there is a way to specify a method constraint for T such that T must have a certain (static) method or a certain operator method. But the only thing like this is the new() constraint to specify that a class must have a default constructor.
There are some issues with this. The basic types like int, double, etc also
do not have + operators, the + is syntax provided by the compiler, those
types are added using the add instruction. Thus an operator+ constraint
would not do what you wanted.
In the thread Andreas posted I provided a code sample to generate a delegate
for a given type to perform addition, if it was possible. It would have a
performance hit as well, unfortunatly.
To really achieve what you want here, the JIT would have to understand
mathematic operations and generate the proper code for a given generic type.
Its just not so easy as an operator constraint I'm afraid. This thread has been closed and replies have been disabled. Please start a new discussion. Similar topics
by: Bernardo Heynemann |
last post by:
How can I use Generics?
How can I use C# 2.0?
I already have VS.NET 2003 Enterprise Edition and still can´t use
generics...
I´m trying to make a generic collection myCollection<vartype> and...
|
by: Mr.Tickle |
last post by:
So whats the deal here regarding Generics in the 2004 release and templates
currently in C++?
|
by: Luc Vaillant |
last post by:
I need to initialise a typed parameter depending of its type in a generic
class.
I have tried to use the C++ template form as follow, but it doesn't work.
It seems to be a limitation of generics...
|
by: Michael S |
last post by:
Why do people spend so much time writing complex generic types?
for fun?
to learn?
for use?
I think of generics like I do about operator overloading.
Great to have as a language-feature, as...
|
by: anders.forsgren |
last post by:
This is a common problem with generics, but I hope someone has found
the best way of solving it.
I have these classes: "Fruit" which is a baseclass, and "Apple" which
is derived. Further I have...
|
by: sloan |
last post by:
I'm not the sharpest knife in the drawer, but not a dummy either.
I'm looking for a good book which goes over Generics in great detail.
and to have as a reference book on my shelf.
Personal...
|
by: Vladimir Shiryaev |
last post by:
Hello!
Exception handling in generics seems to be a bit inconsistent to me.
Imagine, I have "MyOwnException" class derived from "ApplicationException".
I also have two classes...
|
by: SpotNet |
last post by:
Hello NewsGroup,
Reading up on Generics in the .NET Framework 2.0 using C# 2005 (SP1), I have
a question on the application of Generics. Knowingly, Generic classes are
contained in the...
|
by: rkausch |
last post by:
Hello everyone,
I'm writing because I'm frustrated with the implementation of C#'s
generics, and need a workaround. I come from a Java background, and
am currently writing a portion of an...
|
by: emmanuelkatto |
last post by:
Hi All, I am Emmanuel katto from Uganda. I want to ask what challenges you've faced while migrating a website to cloud.
Please let me know.
Thanks!
Emmanuel
|
by: BarryA |
last post by:
What are the essential steps and strategies outlined in the Data Structures and Algorithms (DSA) roadmap for aspiring data scientists? How can individuals effectively utilize this roadmap to progress...
|
by: marktang |
last post by:
ONU (Optical Network Unit) is one of the key components for providing high-speed Internet services. Its primary function is to act as an endpoint device located at the user's premises. However,...
|
by: Hystou |
last post by:
Most computers default to English, but sometimes we require a different language, especially when relocating. Forgot to request a specific language before your computer shipped? No problem! You can...
|
by: Oralloy |
last post by:
Hello folks,
I am unable to find appropriate documentation on the type promotion of bit-fields when using the generalised comparison operator "<=>".
The problem is that using the GNU compilers,...
|
by: tracyyun |
last post by:
Dear forum friends,
With the development of smart home technology, a variety of wireless communication protocols have appeared on the market, such as Zigbee, Z-Wave, Wi-Fi, Bluetooth, etc. Each...
|
by: agi2029 |
last post by:
Let's talk about the concept of autonomous AI software engineers and no-code agents. These AIs are designed to manage the entire lifecycle of a software development project—planning, coding, testing,...
|
by: isladogs |
last post by:
The next Access Europe User Group meeting will be on Wednesday 1 May 2024 starting at 18:00 UK time (6PM UTC+1) and finishing by 19:30 (7.30PM).
In this session, we are pleased to welcome a new...
|
by: conductexam |
last post by:
I have .net C# application in which I am extracting data from word file and save it in database particularly. To store word all data as it is I am converting the whole word file firstly in HTML and...
| |