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
53
54
55
56
57
58
59
60
61
62
template <int a = 2, int b = 2, int c = 2, int d = 2, int e = 2, int f = 2, int g = 2, int h = 2>
struct Bin {
     enum {
        v = (h != 2) ? ((((((a * 2 + b) * 2 + c) * 2 + d) * 2 + e) * 2 + f) * 2 + g) * 2 + h
          : (g != 2) ?  (((((a * 2 + b) * 2 + c) * 2 + d) * 2 + e) * 2 + f) * 2 + g
          : (f != 2) ?   ((((a * 2 + b) * 2 + c) * 2 + d) * 2 + e) * 2 + f
          : (e != 2) ?    (((a * 2 + b) * 2 + c) * 2 + d) * 2 + e
          : (d != 2) ?     ((a * 2 + b) * 2 + c) * 2 + d
          : (c != 2) ?      (a * 2 + b) * 2 + c
          : (b != 2) ?       a * 2 + b
          : (a != 2) ?       a
          : 0
    }; 
};

void test()
{
    int n000 = Bin<                      >::v;
    int n001 = Bin<                     1>::v;
    int n002 = Bin<                  1, 0>::v;
    int n005 = Bin<               1, 0, 1>::v;
    int n010 = Bin<            1, 0, 1, 0>::v;
    int n021 = Bin<         1, 0, 1, 0, 1>::v;
    int n042 = Bin<      1, 0, 1, 0, 1, 0>::v;
    int n085 = Bin<   1, 0, 1, 0, 1, 0, 1>::v;
    int n170 = Bin<1, 0, 1, 0, 1, 0, 1, 0>::v;
}

/*
   コンパイル結果の一部
  定数はコンパイル時に計算されてました。
*/

?test@@YAXXZ PROC NEAR                    ; test
; File c:\src\cons\dk98.cpp
; Line 17
    push    ebp
    mov    ebp, esp
    sub    esp, 36                    ; 00000024H
; Line 18
    mov    DWORD PTR _n000$[ebp], 0
; Line 19
    mov    DWORD PTR _n001$[ebp], 1
; Line 20
    mov    DWORD PTR _n002$[ebp], 2
; Line 21
    mov    DWORD PTR _n005$[ebp], 5
; Line 22
    mov    DWORD PTR _n010$[ebp], 10        ; 0000000aH
; Line 23
    mov    DWORD PTR _n021$[ebp], 21        ; 00000015H
; Line 24
    mov    DWORD PTR _n042$[ebp], 42        ; 0000002aH
; Line 25
    mov    DWORD PTR _n085$[ebp], 85        ; 00000055H
; Line 26
    mov    DWORD PTR _n170$[ebp], 170        ; 000000aaH
; Line 27
    mov    esp, ebp
    pop    ebp
    ret    0
?test@@YAXXZ ENDP                    ; test