Re: Extracting template parameters

[Tobias Pankrath]

On 11/06/2012 04:25 PM, Joseph Rushton Wakeling wrote:
Look at the is() expression in the language spec.
I didn't get it to work with a template constraint, because the pattern 
matched parameter are out of scope in the function body.

----
struct A(T1, T2)
{
}

struct B(B1, B2) {}


void foo(T)(T x)
{
    static if(is(T Dummy : A!(P), P...))
    {
        pragma(msg, P);
    }
}

void main() {
    A!(int, float) a;
    foo(a);
}