blob: 7c56e0fbc47fc3bf3172d6a6b75b0d9cf35bbc58 (
plain)
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
|
/*
* It is known that this code not compiled by following compilers:
* gcc 2.95.3
* gcc 3.3.3
* gcc 3.4.1
* gcc 4.1.1
*
* It is known that this code compiled by following compilers:
*
* MSVC 6
* MSVC 8 Beta
*/
/*
* Indeed this code is wrong: 1. explicit template specialization
* have to appear out-of-class; 2. specialized struct C have to
* have function f.
*
*/
struct A
{
private:
struct B
{
template <typename T>
static void f( T& ) {}
template <bool V>
struct C
{
template <typename T>
static void f( T& ) {}
};
template <>
struct C<true>
{
};
};
};
|
