language: C++11 (gcc-4.7.2)
date: 771 days 21 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
27
28
29
30
31
32
33
34
35
36
37
38
template<class T>
struct Test;
 
template<int I>
struct arg{};
 
template<
  template<class, class> class T,
  class P1, int I
>
struct Test< T<P1, arg<I> > >{
/* not working
  template<class T1>
  struct inner{};
  
  template<class T1, class T2>
  struct inner{};
*/
};
 
template<
  template<class, class> class T,
  class P2, int I
>
struct Test< T<arg<I>, P2 > >{
/* not working
  template<class T1>
  struct inner{};
  
  template<class T1, class T2>
  struct inner{};
*/
};
 
// and a bunch of other partial specializations
 
int main(){
}