3

Dはテンプレートテンプレートパラメータをサポートしていますか？以下を機能させるにはどうすればよいですか？

struct Type(alias a, alias b) { alias a A; alias b B; }

template MakeType(alias a, alias b)
{
  alias Type!(a, b) MakeType;
}

template Foo(alias a, U) // where U is a Type
{
  //...
}

template Foo(alias a, U : MakeType!(a, b), b...)  // where U is a specialization
{
  //...
}

そしてFoo、そのように呼ばれることになっています：

alias MakeType!(5, 7) MyType;
alias Foo!(5, MyType) Fooed;  // error

Error: template instance Foo!(5,Type!(5,7)) Foo!(5,Type!(5,7)) does not match template declaration Foo(alias a,U : MakeType!(a,b),b...)

4

1 に答える 1

5

私はそれを動かしました:-)

template Foo(alias a, U) // where U is a Type
{
  //...
}
template Foo(alias a, U : X, X) if(is(X == MakeType!(a, U.B)))
{
  //...
}

および使用中：

alias MakeType!(1, 3) MyType1;
alias MakeType!(5, 7) MyType2;
Foo!(5, MyType1) // calls the first Foo()
Foo!(5, MyType2) // calls the second Foo() with specialization
于 2012-12-15T19:26:14.663 に答える