d如何推导闭包.

import std.stdio;
import std.algorithm;
import std.traits;
import std.range;

void print(R)(R r) {
  static assert(isIterable!R);
  r.each!writeln;
}

auto construct(R)(R r, ElementType!R delegate(ulong i) fn) {
  static assert(isIterable!R && hasAssignableElements!R);
  ulong i = 1;
  r.each!((ref e) => e = fn(i));
  return r;
}

unittest {
  int[] i; i.length = 4;
  i.construct((ulong i) {return cast(int)(i+i);}).print;//不能重载.
}//错误消息中的`pure nothrow @nogc @safe`从哪来?

为何(ulong i) {return cast(int)(i+i);},按函数传递?闭包与函数的错误消息相同

可用construct!(int[])而不是普通的construct来完成工作.这是dmd实现中(非常烦人的)缺陷.sdc可搞定.
因为它是闭包字面,所以会自动找出最紧密属性.因而是函数(未用环境变量),
但所有这些都隐式转换了,所以并不重要.类型系统允许这样,只是当提及R r和ElementType!R时,糟糕的实现无法推导ElementType!R并退出.
因此,必须实例化时告诉类型.

i.construct!(int[])((ulong i) {return cast(int)(i+i);}).print;
//要求手动加上

我懂了.问题是属性不匹配.