我正在尝试将D sort
函数作为模板参数发送到pipe
函数。当我使用sort
而没有模板参数时,它可以工作:
import std.stdio,std.algorithm,std.functional;
void main()
{
auto arr=pipe!(sort)([1,3,2]);
writeln(arr);
}
但是,当我尝试将sort
与模板参数一起使用时:
import std.stdio,std.algorithm,std.functional;
void main()
{
auto arr=pipe!(sort!"b<a")([1,3,2]);
writeln(arr);
}
我收到错误 - main.d(5): Error: template instance sort!("b<a") sort!("b<a") does not match template declaration sort(alias less = "a < b",SwapStrategy ss = SwapStrategy.unstable,Range)
为什么会这样? sort!"b<a"
自己运行,并且它具有与sort
相同的参数和返回类型,那么为什么pipe
接受sort
而不接受sort!"b<a"
?我尝试做的是否有正确的语法?
更新
好的,我试图包装sort
函数。以下代码有效:
import std.stdio,std.algorithm,std.functional,std.array;
template mysort(string comparer)
{
auto mysort(T)(T source)
{
sort!comparer(source);
return source;
}
}
void main()
{
auto arr=pipe!(mysort!"b<a")([1,3,2]);
writeln(arr);
}
那为什么原版不起作用?这是因为额外的模板参数sort
需要吗?
答案 0 :(得分:5)
是的,因为额外的模板参数 - 特别是Range
参数。问题可以简化为
size_t sort2(alias f, Range)(Range range)
{
return 0;
}
alias sort2!"b<a" u;
实例化sort!"b<a"
将失败,因为未确定范围。函数调用sort2!"b<a"([1,2,3])
有效,因为参数[1,2,3]
可以告诉编译器类型范围是int[]
。这称为“隐式函数模板实例化(IFTI)”。但IFTI仅在用作函数时才有效。在您的用例中,sort!"b<a"
被实例化而不提供所有参数,因此是错误。
这可以通过使输入成为函数文字来修复,这与您的mysort
解决方案类似:
auto arr = pipe!(x => sort!"b<a"(x))([1,3,2]);
或者您可以提供所有必需的模板参数。这使得代码非常难以理解。
auto arr = pipe!(sort!("b<a", SwapStrategy.unstable, int[]))([1,3,2]);