Re: Parameterized template value parameter

[Nicholas Wilson via Digitalmars-d]

On Friday, 24 March 2017 at 21:13:26 UTC, Yuxuan Shui wrote:
On Friday, 24 March 2017 at 20:43:18 UTC, Dmitry Olshansky

template A(alias str)
if(is(typeof(str) : Char[], Char)){
        alias Char = typeof(str[0]);
//      ...
}

One problem of this is that 'str' is not longer restricted to 
be a compile time value. Which is probably fine, but kind of 
makes me uncomfortable.

To test wether str is a compile time value just check if you can 
use it to assign to an enum
if(is(typeof(str) : Char[], Char) && is(typeof({enum foo = 
str;})))