使用未知數量的已知類型參數輸入推斷委託參數

Question

如果您定義接受委託的函數，那麼當您調用該函數時，D可以鍵入推斷委託參數。所以，如果我寫的帶有簽名的函數：

void foo(void delegate(int,string) dlg) 

我可以用叫它：

foo((a,b){}); 

和d將推斷出a是int和b是string。

但是如果我事先不知道委託人會有多少個論據呢？如果我寫

void foo(T...)(void delegate(T) dlg) 

我可以打電話：

foo((int a,string b,char c,boolean d){}); 

但我必須爲每一個參數指定的類型。

現在，我想foo接受任何參數的代表 - 所有相同的類型。所以，我可以打電話：

foo((a,b,c,d,e,f,g){}); 

和d將推斷出a到g都是string秒。

請注意，我需要的是而不是 varidaic函數。 dlg本身不接受任何數量的參數，它是foo接受具有任意數量參數的委託。

在D中可以這樣做嗎？

編輯：
事實上，它會更好，如果我可以定義默認參數，所以我可以寫

foo((a,b,int c,d){}); 

和a，b和d將字符串而c將int。

Answer 1

這可能是一個增強請求。但現在你可以在編譯時通過它作爲別名：

import std.stdio; 

void foo(alias dlg)() 
{ 
    dlg(1, 2.0, [3], "a"); 
    dlg(1.0, 2, [[3]], "b"); 
} 

void main() 
{ 
    foo!((a, b, c, d) { writefln("%s %s %s %s", a, b, c, d); })(); 
}