Go Premium for a chance to win a PS4. Enter to Win

x
?
Solved

const method not being used

Posted on 1997-06-25
8
Medium Priority
?
253 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
  • 4
  • 4
8 Comments
 
LVL 5

Accepted Solution

by:
yonat earned 600 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
VIDEO: THE CONCERTO CLOUD FOR HEALTHCARE

Modern healthcare requires a modern cloud. View this brief video to understand how the Concerto Cloud for Healthcare can help your organization.

 
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

Concerto's Cloud Advisory Services

Want to avoid the missteps to gaining all the benefits of the cloud? Learn more about the different assessment options from our Cloud Advisory team.

Question has a verified solution.

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

Article by: SunnyDark
This article's goal is to present you with an easy to use XML wrapper for C++ and also present some interesting techniques that you might use with MS C++. The reason I built this class is to ease the pain of using XML files with C++, since there is…
Article by: evilrix
Looking for a way to avoid searching through large data sets for data that doesn't exist? A Bloom Filter might be what you need. This data structure is a probabilistic filter that allows you to avoid unnecessary searches when you know the data defin…
The viewer will learn how to user default arguments when defining functions. This method of defining functions will be contrasted with the non-default-argument of defining functions.
The viewer will learn additional member functions of the vector class. Specifically, the capacity and swap member functions will be introduced.
Suggested Courses

972 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