types.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// <ios>
11
12// template <class charT, class traits = char_traits<charT> >
13// class basic_ios : public ios_base
14// {
15// public:
16//     typedef charT char_type;
17//     typedef typename traits::int_type int_type;
18//     typedef typename traits::pos_type pos_type;
19//     typedef typename traits::off_type off_type;
20//     typedef traits traits_type;
21
22#include <ios>
23#include <type_traits>
24
25int main()
26{
27    static_assert((std::is_base_of<std::ios_base, std::basic_ios<char> >::value), "");
28    static_assert((std::is_same<std::basic_ios<char>::char_type, char>::value), "");
29    static_assert((std::is_same<std::basic_ios<char>::traits_type, std::char_traits<char> >::value), "");
30    static_assert((std::is_same<std::basic_ios<char>::int_type, std::char_traits<char>::int_type>::value), "");
31    static_assert((std::is_same<std::basic_ios<char>::pos_type, std::char_traits<char>::pos_type>::value), "");
32    static_assert((std::is_same<std::basic_ios<char>::off_type, std::char_traits<char>::off_type>::value), "");
33}
34