[std-interval] passing by value vs reference

[Gabriel Dos Reis]

Guillaume Melquiond <guillaume.melquiond at ens-lyon.fr> writes:

| Le mercredi 05 avril 2006 à 11:32 +0200, Sylvain Pion a écrit :
| 
| > 3- leave freedom for the implementation to choose
| > 4- leave freedom for the implementation and have it provide
| >     a standard specified way to obtain this information.
| 
| > I would prefer 3 to 4.  I think
| > the complexity of implementing 4 is not worth it.
| 
| I don't see any additional complexity in 4 with respect to 3. As already
| mentioned by Bill Clarke, you could simply have a typedef member in
| interval<T> to express the calling convention of the functions of the
| interval library: typedef interval<T> const &param_type;

If done that way, in the typical cases, the "T" would then appear in
non-deducible context. 

-- Gaby