🚀 go-pugleaf

I've looked in sections 3.7.3.2 and 5.3.5 of the April 28th draft and didn't 
see anything concerning the deletion of pointers to const (except that you 
shouldn't use already-deallocated modifiable lvalues).

I get an error saying "Cannot convert 'const int *' to 'void *' in function 
Holder<int>::~Holder()" using TC++ 4.5 for the following code:

template <class T>
class Holder
{
	const T *object;
public:
	Holder(const T *src) { object = src; }
	virtual ~Holder(); { delete object; }
};

int main()
{
	Holder<int> h(new int(5));
	return(0);
}

When I change the destructor to 

	virtual ~Holder(); { delete const_cast<T *>(object) }

all is well!  Why is that?


[ comp.std.c++ is moderated.  Submission address: std-c++@ncar.ucar.edu.
  Contact address: std-c++-request@ncar.ucar.edu.  The moderation policy
  is summarized in http://dogbert.lbl.gov/~matt/std-c++/policy.html. ]