Re: [boost] metactrl header [was Smart Pointer...]

From: jsiek_at_[hidden]
Date: 2000-07-21 12:01:06

I've got mechanisms for "concept checking" that should also work for
error detecting/reporting in TMP, though some more work may be
necessary to make it easy to use in TMP.

I've uploaded the file concept_checks.h into the vault (TMPX directory).
I was going to post this soon anyways :) The file isn't
boostified yet, but it should be able to serve as food for thought.

Cheers,

Jeremy

Beman Dawes writes:
 > Jeremy, or anyone else with ideas,
 > 
 > One thing that is missing, both from boost and metactrl, is compile time 
 > error detection and reporting.
 > 
 > I've been trying to write an experimental generator, and the need to report 
 > that an invalid configuration has been detected pops up right away.
 > 
 > There have been a number of boost discussions and proposals for 
 > compile_time asserts, and I guess if any of them work well with template 
 > metaprogramming, we should dust them off for inclusion.  But the concern 
 > here is just template metaprogramming, so a solution that worked only in 
 > that limited context would be OK.
 > 
 > While the example C&E give on page 622 results in a fairly clear compiler 
 > error message, it takes quite a bit of coding to implement. If the 
 > difficulty of reporting errors causes generator programmers to skip error 
 > checks, that is a "bad thing".  Any library support would be certainly be 
 > appreciated.
 > 
 > --Beman
 > 
 > 
 > 
 > ------------------------------------------------------------------------
 > Missing old school friends? Find them here:
 > http://click.egroups.com/1/7079/4/_/9351/_/963941320/
 > ------------------------------------------------------------------------
 > 
 > 
 >