element_type.pass.cpp revision bc8d3f97eb5c958007f2713238472e0c1c8fe02c 
1//===----------------------------------------------------------------------===//
2//
3// ��������������������The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10// <memory>
11
12// template <class Ptr>
13// struct pointer_traits
14// {
15//     typedef <details> element_type;
16//     ...
17// };
18
19#include <memory>
20#include <type_traits>
21
22struct A
23{
24    typedef char element_type;
25};
26
27template <class T>
28struct B
29{
30    typedef char element_type;
31};
32
33template <class T>
34struct C
35{
36};
37
38template <class T, class U>
39struct D
40{
41};
42
43int main()
44{
45    static_assert((std::is_same<std::pointer_traits<A>::element_type, char>::value), "");
46    static_assert((std::is_same<std::pointer_traits<B<int> >::element_type, char>::value), "");
47    static_assert((std::is_same<std::pointer_traits<C<int> >::element_type, int>::value), "");
48    static_assert((std::is_same<std::pointer_traits<D<double, int> >::element_type, double>::value), "");
49}
50