🚀 go-pugleaf

Given:
class A {
public:
	char* p;
};

const A& a = someA;

Is the type of a.p: const char* const or char* const?

Section 9 [class] of the April working paper does not seem to say anthing 
about members of constant objects, except in passing in 9.4.2.
3.9.3.3 says:
> Each non-function, non-static, non-mutable member of a const-qualified 
> class object is const-qualified, each non-function, non-static member of 
> a volatile-qualified class object is volatile-qualified and similarly for 
> members of a const-volatile class. See 8.3.5 and 9.4.2 regarding 
> cv-qualified function types.

It does not say what const-qualified means for a T*, or T&.
Can someone tell me?


My compiler says that a.p is a char* const.
This opens up an ugly hole in const-ness:
	class D;
	class B {
	public:
		D* d;
		B(D* rd) : d(rd) { }
	};
	class D: public B {
	public:
		int i;
		D(int x) : B(this), i(x) { }
	};
	void f(const B& b) { b.d->i = 0; }
	
	int main()
	{
		D d(10);
		cout << d.i << endl;
		f(rb);
		cout << d.i << endl;
		return 0;
	}
Here we pass d to f() as a const B&, expecting that the const-ness will 
protect d. 

Thanks for any clarifications.
Atman Binstock
Integrated Software Inc.
isi@panix.com
---
[ 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. ]