Traits

[Ali Çehreli]

On 10/10/2013 09:13 PM, Agustin wrote:

 > I have a function that needs to check if the template provided inherit a
 > class.
 >
 > For example:
 >
 > public void function(T, A...)(auto ref A values)

function happens to be a keyword. :)

 > {
 >    // static assert(IsBaseOf(L, T));
 > }
 >
 > Check if T inherit class "L". Same result that std::is_base_of<L,
 > T>::value using C++. Any clean way to do it, without a dirty hack.

One of the uses of the is expression determines "whether implicitly 
convertible to". It may work for you:

public void foo(T, A...)(auto ref A values)
{
     static assert(is (T : L));
}

class L
{}

class LL : L
{}

void main()
{
     foo!LL(1, 2.3, "4");
}

Ali