Returning const? -- A potential solution

[Joel C. Salomon]

Daniel Keep wrote:
> In other words,
> 
> return(T) max(return(T) a, return(T) b){ return (a>b)?a:b; }
> 
> Would be similar to the following:
> 
> T max(T a, T b){ return (a>b)?a:b; }
> const(T) max(const(T) a, const(T) b){ return (a>b)?a:b; }
> invariant(T) max(invariant(T) a, invariant(T) b){ return (a>b)?a:b; }
> 
> Except that each would share a single implementation.

Sounds like you want to declare a template along with a list of types
for which it should be instantiated. If the list is defined along with
the template, there’s no reason the set of functions couldn’t be made
virtual.

—Joel Salomon