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.
