d的inout与修改参数

原文
Steven Schveighoffer:
提问者想:给定从限定值隐式转换为非限定值的值类型,生成仅接受非限定值函数.
可这样包装:

void foo2(T)(T v) if (!is(Unqual!T == T))
{
   foo(Unqual!T(t));
}

如果直接调用则会内联.

但D目前还不够聪明,无法通过别名查找,因此IFTI(推导模板参数)即使如下,也对你不管用:

template foo2(T) if (!isUnqual!T == T)
{
   alias foo2 = .foo2!(Unqual!T);
}

如果IFTI在参数和推导间提供些勾挂,就太好了,但目前还没有.

---

Unqual适用于值类型,它应在所有情况都管用.
OP问题是完全可仅用指定的未限定类型(本例中为整型)来构建重载集,但用IFTI则不行.
即,如果这样调用:

const int x;
foo2(x);

你希望在foo2中,参数是可变的.但如果foo2是IFTI模板,则目前不能表达它.对立面,却很容易表达:

void foo2(T)(const(T) val)
{
    //每`const(int),`不变(int)`,`int,`只实例化一个`foo2`,现在`即使`参数不是,`val`也是`const`.
}

用标准函数,由于隐式转换,可很好工作,但因为它通过别名,用IFTI无法表达它.最接近是编写调用正确实例化的包装器.只要内联了,就应该没问题,但对优化器,要麻烦点,不过语言应能轻松表达它.
相关问题.

Tejas:
要减少模板实例数的话,建议用inout.

import std.traits : Unconst;
import std.stdio : writeln;

void foo2(T)(inout(T) x) if(is(Unconst!(T) : ulong)) {//不必用Unqual
	pragma(msg, T.stringof);
	writeln(x);
}

void main(){
	import std.math;
	const int ci = -3;
	int i = -2;
	immutable int ii = 24342;
	foo2(abs(ci));
	foo2(abs(i));
	foo2(ii);
	
	byte b = 0;
	const byte cb;
	immutable byte ib;
	foo2(b);
	foo2(cb);
	foo2(ib);
	
	const long cl = 4554;
	long l = 12313;
	immutable long il = 3242343;
	foo2(cl);
	foo2(l);
	foo2(il);
	
}

Output(Compile-time):
int
byte
long

Output(Runtime):
3
2
24342

0
0
0

4554
12313
3242343

用inout,就不能修改参数了.这样:

import std.traits : Unconst;
import std.stdio : writeln;

void foo2(T)(inout(T) x) if(is(Unconst!(T) : ulong)) {//去常.
	pragma(msg, T.stringof);
	foo3(x);
//传递给ulong等另一个函数.这样可修改
}

void foo3(ulong param){//
	writeln(param, " before");
	param +=10;	//改参数.
	writeln(param, " after"); //现在可修改参数
}
void main(){
	import std.math;
    ...
}