Still celebrating National IT Professionals Day with 3 months of free Premium Membership. Use Code ITDAY17

x
?
Solved

const method not being used

Posted on 1997-06-25
8
Medium Priority
?
250 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 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
Industry Leaders: 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

Free Tool: Path Explorer

An intuitive utility to help find the CSS path to UI elements on a webpage. These paths are used frequently in a variety of front-end development and QA automation tasks.

One of a set of tools we're offering as a way of saying thank you for being a part of the community.

Question has a verified solution.

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

This article will show you some of the more useful Standard Template Library (STL) algorithms through the use of working examples.  You will learn about how these algorithms fit into the STL architecture, how they work with STL containers, and why t…
This article shows you how to optimize memory allocations in C++ using placement new. Applicable especially to usecases dealing with creation of large number of objects. A brief on problem: Lets take example problem for simplicity: - I have a G…
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.

670 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