Solved

const method not being used

Posted on 1997-06-25
8
249 Views
Last Modified: 2010-04-10
say I have:

template <class T>
class Foo
{
   public:
      T& operator * ();
      const T& operator * () const;
};

int main()
{
   Foo<int> fred;

   int &ri1 = *fred;
   const int &ri1 = *fred;
}

both lines call the non-const op *.  I thought I remeber const methods were suposed to be called if they could be.  
0
Comment
Question by:strobert
[X]
Welcome to Experts Exchange

Add your voice to the tech community where 5M+ people just like you are talking about what matters.

  • Help others & share knowledge
  • Earn cash & points
  • Learn & ask questions
  • 4
  • 4
8 Comments
 
LVL 5

Accepted Solution

by:
yonat earned 150 total points
ID: 1164131
The const method would have been called if fred was const:

const Foo<int> cfred;
Foo<int> fred;

const int &cr = *cfred; // const method called
int &r = *cfred; // error
int &r2 = *fred; // non-const method called

> const methods were suposed to be called if they could be.
Not exactly. If a methid is overloaded by constness, the const
method will be called for const objects, and the non-const
method otherwise.
In any case, the return value is never considered in overloading
resolution.

0
 
LVL 1

Author Comment

by:strobert
ID: 1164132
is the abiltiy to overload by const spec'd anywhere? (I couldn't find it in stroustrup)

also, reason why I wanted this...(if you want to try a solution to this add a comment and I'll up the points)

I have a vector class.  I am creating an external iterating class
I would like the same itr class to be used for iterating on const  vector's and non-const vector's.  I was going to keep a state variable as to what the itr was contructed with (a Vector& or a const vector&) and in the T& op * throw an exception if we were itring on a const vector&...
0
 
LVL 5

Expert Comment

by:yonat
ID: 1164133
> is the abiltiy to overload by const spec'd anywhere?

Check out the latest version of the ANSI C++ draft standard at
http://www.cygnus.com/misc/wp/dec96pub/over.html

Basically, it sais that a member function is like a regular
function with one extra argument: a pointer to the object (this)
[There are many differences, but this view help to understand
overloading]. This means that you can overload by the constness
of the this argument.

> I would like the same itr class to be used for iterating on
> const vector's and non-const vector's. I was going to keep a
> state variable as to what the itr was contructed with (a
> Vector& or a const vector&) and in the T& op * throw an
> exception if we were itring on a const vector&...

Your solution sounds OK, just keep in mind that the error will
only be discovered at runtime instead if at compile time.
Another solution is to have two classes: iter and const_iter.
Instead of constructing an iterator by
iter i(a_vector);
You can add a member function to vector that returns an iterator
to the beginning (or end) of the vector:

class vector
{
public:
    // ...
    iter begin();
    const_iter begin() const;
};

This way the user of vector will get the correct iterator class,
without having to worry about it.

> I have a vector class.

Why write your own vector instead of using STL?

You can get STL from
* http://www.ipmce.su/~fbp/stl/

And there are several short tutorials at:
* http://www.sgi.com/Technology/STL/stl_introduction.html
* http://www.objectplace.com/technology/articles/9508.shtml
* http://www.cs.brown.edu/people/jak/programming/stl-tutorial/
                          tutorial.html
* http://www.infosys.tuwien.ac.at/Research/Component/
                                  tutorial/prwmain.htm
0
Technology Partners: We Want Your Opinion!

We value your feedback.

Take our survey and automatically be enter to win anyone of the following:
Yeti Cooler, Amazon eGift Card, and Movie eGift Card!

 
LVL 1

Author Comment

by:strobert
ID: 1164134
Run-time was fine with me (basically it is an assert like case so runtime is fine just like out of bounds on a bracket)

good thought with the begin...
I will probably either go with that or the two class (Itr and ConstItr) method.

Why I don't use the STL:
1) I actually have some philisophical disagreements with the way it does things.
2) wether I like it or not, I can't use it.  My dev platform is VC++ under windows and the STL implementation Microsquish ships makes it almost unusable.  Plus given the way the STL tends to abuse templates I wouldn't trust it under VC++ since there are a lot of broken things in VC++ templates.
0
 
LVL 5

Expert Comment

by:yonat
ID: 1164135
> I actually have some philisophical disagreements with the way
> [STL] does things.

They don't use inheritence - true. But that gains a lot of
efficiency since all the little functions (operator++ etc) are
inlined. I think that STL is an eficient and usuable solution
to a wide variety of problems (but maybe not yours ...)

> My dev platform is VC++ under windows and the STL
> implementation Microsquish ships makes it almost unusable

The STL from http://www.ipmce.su/~fbp/stl/  works well with VC++
4.0, 4.1 and 4.2 . They say it is "partially compatible" with 5.0 .

Good luck!
0
 
LVL 1

Author Comment

by:strobert
ID: 1164136
Inheritance is one of the things, but yes it is understanable not to use it for speed.  I think my biggest gripe is actually the naming conventions...maybe they will grow on me..

I'll give that stl version a look... I'll be impressed if it is still nice under VC++

thanks


0
 
LVL 1

Author Comment

by:strobert
ID: 1164137
Adjusted points to 150
0
 
LVL 5

Expert Comment

by:yonat
ID: 1164138
> I'll give that stl version a look... I'll be impressed if it is
> still nice under VC++

I just found out that there is an STL version adapted for VC5
available from:
http://www.sirius.com/~ouchida/

0

Featured Post

What does it mean to be "Always On"?

Is your cloud always on? With an Always On cloud you won't have to worry about downtime for maintenance or software application code updates, ensuring that your bottom line isn't affected.

Question has a verified solution.

If you are experiencing a similar issue, please ask a related question

Templates For Beginners Or How To Encourage The Compiler To Work For You Introduction This tutorial is targeted at the reader who is, perhaps, familiar with the basics of C++ but would prefer a little slower introduction to the more ad…
Basic understanding on "OO- Object Orientation" is needed for designing a logical solution to solve a problem. Basic OOAD is a prerequisite for a coder to ensure that they follow the basic design of OO. This would help developers to understand the b…
The goal of the video will be to teach the user the concept of local variables and scope. An example of a locally defined variable will be given as well as an explanation of what scope is in C++. The local variable and concept of scope will be relat…
The viewer will learn how to use the return statement in functions in C++. The video will also teach the user how to pass data to a function and have the function return data back for further processing.

617 members asked questions and received personalized solutions in the past 7 days.

Join the community of 500,000 technology professionals and ask your questions.

Join & Ask a Question