difference_type.pass.cpp revision f5256e16dfc425c1d466f6308d4026d529ce9e0b 
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> difference_type;
16//     ...
17// };
18
19#include <memory>
20#include <type_traits>
21
22struct A
23{
24    typedef short element_type;
25    typedef char difference_type;
26};
27
28struct B
29{
30    typedef short element_type;
31};
32
33template <class T>
34struct C {};
35
36template <class T>
37struct D
38{
39    typedef char difference_type;
40};
41
42int main()
43{
44    static_assert((std::is_same<std::pointer_traits<A>::difference_type, char>::value), "");
45    static_assert((std::is_same<std::pointer_traits<B>::difference_type, std::ptrdiff_t>::value), "");
46    static_assert((std::is_same<std::pointer_traits<C<double> >::difference_type, std::ptrdiff_t>::value), "");
47    static_assert((std::is_same<std::pointer_traits<D<int> >::difference_type, char>::value), "");
48}
49