Virtual arithmetic operators

[Calum]

Hi,

I have a base class called Number that has subclasses Integer and
Float. I want to be able to provide a virtual operator- in the base
class so that I can subtract one Integer from another and subtract one
Float from another (I'm not too bothered about subtracting an Integer
or Float from each other). Has anyone any idea on how to do this? My
code is below - the actual code that I want to add the operator- to is
a lot more complex but I thought I would keep things simple.

class Number
{
public:
virtual ~Number() {}
};

class Integer : public Number
{
public:
Integer(int value) : m_value(value) {}

private:
int m_value;
};

class Float : public Number
{
public:
Float(float value) : m_value(value) {}

private:
float m_value;
};

Thanks.

[Bob Hairgrove]

On 10 Mar 2006 09:41:36 -0800, "Calum" <ca*************@gmail.com>
wrote:

Hi,

I have a base class called Number that has subclasses Integer and
Float. I want to be able to provide a virtual operator- in the base
class so that I can subtract one Integer from another and subtract one
Float from another (I'm not too bothered about subtracting an Integer
or Float from each other). Has anyone any idea on how to do this? My
code is below - the actual code that I want to add the operator- to is
a lot more complex but I thought I would keep things simple.

class Number
{
public:
virtual ~Number() {}
};

class Integer : public Number
{
public:
Integer(int value) : m_value(value) {}

private:
int m_value;
};

class Float : public Number
{
public:
Float(float value) : m_value(value) {}

private:
float m_value;
};

Thanks.

What type would the return value of such an operator have?

--
Bob Hairgrove
No**********@Home.com

[Victor Bazarov]

Calum wrote:

I have a base class called Number that has subclasses Integer and
Float. I want to be able to provide a virtual operator- in the base
class so that I can subtract one Integer from another and subtract one
Float from another (I'm not too bothered about subtracting an Integer
or Float from each other). Has anyone any idea on how to do this?
Yes. You already managed to declare the d-tor virtual, what's stopping
you from declaring operator- virtual?
My
code is below - the actual code that I want to add the operator- to is
a lot more complex but I thought I would keep things simple.

class Number
{
public:
virtual ~Number() {}
};

class Integer : public Number
{
public:
Integer(int value) : m_value(value) {}

private:
int m_value;
};

class Float : public Number
{
public:
Float(float value) : m_value(value) {}

private:
float m_value;
};

Why don't you make an attempt to add operator- yourself? Otherwise it
seems too much like a homework assignment.

V
--
Please remove capital As from my address when replying by mail

[Calum]

Bob Hairgrove wrote:

On 10 Mar 2006 09:41:36 -0800, "Calum" <ca*************@gmail.com>
wrote:

Hi,

I have a base class called Number that has subclasses Integer and
Float. I want to be able to provide a virtual operator- in the base
class so that I can subtract one Integer from another and subtract one
Float from another (I'm not too bothered about subtracting an Integer
or Float from each other). Has anyone any idea on how to do this? My
code is below - the actual code that I want to add the operator- to is
a lot more complex but I thought I would keep things simple.

class Number
{
public:
virtual ~Number() {}
};

class Integer : public Number
{
public:
Integer(int value) : m_value(value) {}

private:
int m_value;
};

class Float : public Number
{
public:
Float(float value) : m_value(value) {}

private:
float m_value;
};

Thanks.

What type would the return value of such an operator have?

--
Bob Hairgrove
No**********@Home.com

The type should be Number&. I would like to be able to do something
like the following:

Integer a(7);
Integer b(5);
Number& result = a - b;

Calum.

[Bob Hairgrove]

On 10 Mar 2006 10:00:43 -0800, "Calum" <ca*************@gmail.com>
wrote:

What type would the return value of such an operator have?

The type should be Number&. I would like to be able to do something
like the following:

Integer a(7);
Integer b(5);
Number& result = a - b;

Bad idea to return a reference ... you need an object, and you cannot
return a Number object, can you?

--
Bob Hairgrove
No**********@Home.com

[Calum]

Victor Bazarov wrote:

Calum wrote:

I have a base class called Number that has subclasses Integer and
Float. I want to be able to provide a virtual operator- in the base
class so that I can subtract one Integer from another and subtract one
Float from another (I'm not too bothered about subtracting an Integer
or Float from each other). Has anyone any idea on how to do this?

Yes. You already managed to declare the d-tor virtual, what's stopping
you from declaring operator- virtual?

> My
code is below - the actual code that I want to add the operator- to is
a lot more complex but I thought I would keep things simple.

class Number
{
public:
virtual ~Number() {}
};

class Integer : public Number
{
public:
Integer(int value) : m_value(value) {}

private:
int m_value;
};

class Float : public Number
{
public:
Float(float value) : m_value(value) {}

private:
float m_value;
};

Why don't you make an attempt to add operator- yourself? Otherwise it
seems too much like a homework assignment.

V
--
Please remove capital As from my address when replying by mail

Like a homework assignment? I left school around 20 years ago and left
uny 9 years ago so what has homework got to do with it?

All I really want to know is can I call the - operator on two Number
pointers that are both pointing to Integer and how would I go about
this? Really, if you don't have anything useful to contribute then
don't bother posting. There again, looking at all of your other
postings, you come out with the same old whinings about referring other
people to other newsgroups blah blah blah......ad nauseum.

[Kai-Uwe Bux]

Calum wrote:

Victor Bazarov wrote:

Calum wrote:

> I have a base class called Number that has subclasses Integer and
> Float. I want to be able to provide a virtual operator- in the base
> class so that I can subtract one Integer from another and subtract one
> Float from another (I'm not too bothered about subtracting an Integer
> or Float from each other). Has anyone any idea on how to do this?
Yes. You already managed to declare the d-tor virtual, what's stopping
you from declaring operator- virtual?

> My
> code is below - the actual code that I want to add the operator- to is
> a lot more complex but I thought I would keep things simple.
>
> class Number
> {
> public:
> virtual ~Number() {}
> };
>
> class Integer : public Number
> {
> public:
> Integer(int value) : m_value(value) {}
>
> private:
> int m_value;
> };
>
> class Float : public Number
> {
> public:
> Float(float value) : m_value(value) {}
>
> private:
> float m_value;
> };

[snip] All I really want to know is can I call the - operator on two Number
pointers that are both pointing to Integer and how would I go about
this?

Since arithmetic operators like + take two arguments, the first problem is
that you want to choose a virtual function based on the dynamic types of
*two* objects, not just one. Google for double dispatch to get info on that
one.

However, why do you want to use pointers to numbers and virtual functions
anyway? I would prefer to just declare two types Integer and Float that
happen to implement similar interfaces and then, I would define conversion
functions from Integer to Float and rounding routines the other way round.
What do you gain by using runtime polymorphism?
Best

Kai-Uwe Bux

[Calum]

Kai-Uwe Bux wrote:

Calum wrote:

Victor Bazarov wrote:

Calum wrote:
> I have a base class called Number that has subclasses Integer and
> Float. I want to be able to provide a virtual operator- in the base
> class so that I can subtract one Integer from another and subtract one
> Float from another (I'm not too bothered about subtracting an Integer
> or Float from each other). Has anyone any idea on how to do this?

Yes. You already managed to declare the d-tor virtual, what's stopping
you from declaring operator- virtual?

> My
> code is below - the actual code that I want to add the operator- to is
> a lot more complex but I thought I would keep things simple.
>
> class Number
> {
> public:
> virtual ~Number() {}
> };
>
> class Integer : public Number
> {
> public:
> Integer(int value) : m_value(value) {}
>
> private:
> int m_value;
> };
>
> class Float : public Number
> {
> public:
> Float(float value) : m_value(value) {}
>
> private:
> float m_value;
> };

[snip]

All I really want to know is can I call the - operator on two Number
pointers that are both pointing to Integer and how would I go about
this?

Since arithmetic operators like + take two arguments, the first problem is
that you want to choose a virtual function based on the dynamic types of
*two* objects, not just one. Google for double dispatch to get info on that
one.

However, why do you want to use pointers to numbers and virtual functions
anyway? I would prefer to just declare two types Integer and Float that
happen to implement similar interfaces and then, I would define conversion
functions from Integer to Float and rounding routines the other way round.
What do you gain by using runtime polymorphism?
Best

Kai-Uwe Bux

Thanks Kai-Uwe,

Yes, I've already started looking into using double dispatch and it
looks promising.

The problem I have doesn't actually involve Integer and Float, but
something a bit more complex - I thought I would just post a simpler,
analogous problem... Anyway, I found an interesting approach by someone
who posted around ten years ago, though their solution had a few bits
of code missing! Message ID: 31***********@natinst.com if you are
interested...

Regards,
Calum.