Monday, March 28, 2011

Is there a workaround for overloading the assignment operator in C#?

Unlike C++, in C# you can't overload the assignment operator.

I'm doing a custom Number class for arithmetic operations with very large numbers and I want it to have the look-and-feel of the built-in numerical types like int, decimal, etc. I've overloaded the arithmetic operators, but the assignment remains...

Is there a workaround for that issue?

From stackoverflow
  • I'm afraid you can't do this.

  • You won't be able to work around it having the C++ look, since a = b; has other semantics in C++ than in C#. In C#, a = b; makes a point to the same object like b. In C++, a = b changes the content of a. Both has their ups and downs. It's like you do

    MyType * a = new MyType();
    MyType * b = new MyType(); 
    a = b; /* only exchange pointers. will not change any content */
    

    In C++ (it will lose the reference to the first object, and create a memory leak. But let's ignore that here). You cannot overload the assign operator in C++ for that either.

    The workaround is easy:

    MyType a = new MyType();
    MyType b = new MyType();
    
    // instead of a = b
    a.Assign(b);
    

    Disclaimer: I'm not a C# developer

    You could create a write-only-property like this. then do a.Self = b; above.

    public MyType Self {
        set {
            /* copy content of value to this */
            this.Assign(value);
        }
    }
    

    Now, this is not good. Since it violates the principle-of-least-surprise (POLS). One wouldn't expect a to change if one does a.Self = b;

    Charlie : The description of why it doesn't work is spot-on. As you suggest, though, the Self property idea is not so good,
  • Instead of making a copy of the data when passing the reference you could make the class immutable. When the class is immutable having multiple references to it isn't a problem since it can't be changed.

    Operations that changes the data would of course return new instances.

  • It's still not at all clear to me that you really need this. Either:

    • Your Number type should be a struct (which is probable - numbers are the most common example of structs). Note that all the types you want your type to act like (int, decimal etc) are structs.

    or:

    • Your Number type should be immutable, making every mutation operation return a new instance, in which case you don't need the data to be copied on assignment anyway. (In fact, your type should be immutable whether or not it's a struct. Mutable structs are evil, and a number certainly shouldn't be a mutable reference type.)
  • you can use the 'implicit' keyword to create an overload for the assignment:

    Suppose you have a type like Foo, that you feel is implicitly convertable from a string. You would write the following static method in your Foo class:

    public static implicit operator Foo(string normalString) { //write your code here to go from string to Foo and return the new Foo. }

    Having done that, you can then use the following in your code:

    Foo x = "whatever";

    Sam Salisbury : Cool, this answers a question I was going ot ask ;)
    Drew Noakes : Doesn't that only work if you are trying to assign one type to another? It's an implicit cast, after all. I don't think that would help if you wanted to assign `Number` to `Number`.

0 comments:

Post a Comment