inout template parameter, or a solution to the templated container issue

deadalnix deadalnix at gmail.com
Wed Jun 12 04:17:44 PDT 2013


On Wednesday, 12 June 2013 at 10:38:20 UTC, Peter Alexander wrote:
> On Wednesday, 12 June 2013 at 06:08:58 UTC, deadalnix wrote:
>> Within the template, T is always seen as inout, and only one 
>> instantiation occur for all top type qualifiers.
>
> So are you adding inout as a type qualifier? Currently it is 
> only a storage class usable in functions.

I choose inout as the idea is really the same as it is for 
function : a wildcard type qualifier for the callee, a known one 
for the caller. Here it is a type qualifier know by the 
instancier, not the instanciee.

If you consider template argument as compile time argument, as 
opposed to runtime arguments, this make sense.


More information about the Digitalmars-d mailing list