blob: 4c101c6609dcc66eb257c41a70e3d7f3fb65159d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#include <typeinfo>
template <class T>
struct allocator {
typedef T* pointer;
template <class U> struct rebind {
typedef allocator<U> other;
};
};
template <class T, class Allocator>
struct alloc_traits
{
typedef typename Allocator::template rebind<T>::other allocator_type;
};
int main ()
{
typedef alloc_traits<int, allocator<void> >::allocator_type at;
return typeid (at) != typeid (allocator <int>);
}
|