language: C++ 4.7.2 (gcc-4.7.2)
date: 697 days 14 hours ago
link:
visibility: private 
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

#include <iostream>
 
template<class T, T> struct user{enum{value};};
 
template<class D>
char register_(){
    std::cout << "Called.";
    return 42;
}
 
template<class D>
struct Foo{
    static char const dummy;
    int :user<char const&,dummy>::value;
};
 
template<class D>
char const Foo<D>::dummy = register_<D>();
 
struct Bar
    : Foo<Bar>
{
    static char const get_dummy() { return 42; }
};
 
int main(){}