🚀 go-pugleaf

My `Customization in C++' paper in the '90 Usenix C++ Proceedings
discusses a reasonably clean, but extensive proposal that would
support the desired usage:

#include <stream.h>
class a { 
  public: 
    template a& test() {  // *** Note the qualifier ***
	// do some modification to the state of this object,
	// then ...
	return *this;
};

class b : public a { 
  public:
    int b;
};

main() { 
  b B; 
  B = B.test(); // *** Legal under customization ***
  // type violation despite the fact that 
  // `B' and `B.test()' are the same object.
}


While I played down the expressivity aspects of the type qualifier
sense of `template' and concentrated on optimization consequences,
the proposed constructs are indeed extremely valuable for writing
container classes and the like.

I'd love to hear from anyone concerning the standardizability of
the proposal. 

-Doug
--
Doug Lea, Computer Science Dept., SUNY Oswego, Oswego, NY, 13126 (315)341-2688
email: dl@g.oswego.edu            or dl@cat.syr.edu
UUCP :...cornell!devvax!oswego!dl or ...rutgers!sunybcs!oswego!dl