Re: [boost] C++0x question

From: Mathias Gaunard (mathias.gaunard_at_[hidden])
Date: 2007-10-16 07:03:18

Marco Costalba wrote:

> I would like to ask you if someone has never dreamed of something like
> 
> try well_formed
> {
> 
>   .... your code here...
> 
> } catch {
> 
>   .... fall back code in case former is not compilable...
> 
> };
> 

I think Concepts somehow help here. By using a concept to check whether 
a type has given member functions or operators with given signatures, 
and overloading the piece of code without a concept to be the fallback 
code, you get similar things.

Also, you could provide some compile-time reflection to check whether an 
expression is valid or not.

> I would think this would be an extension that greatly will open new
> gates to C++.

Such as duck typing?