1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
module test1673;
template Foo(T...) { }
template Bar(T...)
{
template Doo(T...)
{
}
}
template Tuple(T...) { alias Tuple = T; }
void main()
{
static assert( __traits(isTemplate, Foo));
static assert(!__traits(isTemplate, Foo!int));
static assert(!__traits(isTemplate, main));
static assert( __traits(isTemplate, Bar));
static assert(!__traits(isTemplate, Bar!int));
static assert( __traits(isTemplate, Bar!(int).Doo));
static assert(!__traits(isTemplate, Bar!(int).Doo!int));
alias Tup = Tuple!(Foo, Foo!int, Bar, Bar!int, Bar!(int).Doo, Bar!(int).Doo!int);
static assert( __traits(isTemplate, Tup[0]));
static assert(!__traits(isTemplate, Tup[1]));
static assert( __traits(isTemplate, Tup[2]));
static assert(!__traits(isTemplate, Tup[3]));
static assert( __traits(isTemplate, Tup[4]));
static assert(!__traits(isTemplate, Tup[5]));
}
/// test overloads
void foo_over() { }
void foo_over(T : int)(T) { }
void foo_over(T : float)(T) { }
static assert(__traits(isTemplate, foo_over));
/// ditto
void bar_over() { }
void bar_over(int) { }
static assert(!__traits(isTemplate, bar_over));
/// alias to overloads
alias a_foo_over = foo_over;
static assert(__traits(isTemplate, a_foo_over));
/// ditto
alias a_bar_over = bar_over;
static assert(!__traits(isTemplate, a_bar_over));
|
