| //===----------------------------------------------------------------------===// |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file is dual licensed under the MIT and the University of Illinois Open |
| // Source Licenses. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| // <locale> |
| |
| // template <> |
| // class codecvt<char16_t, char, mbstate_t> |
| // : public locale::facet, |
| // public codecvt_base |
| // { |
| // public: |
| // typedef char16_t intern_type; |
| // typedef char extern_type; |
| // typedef mbstate_t state_type; |
| // ... |
| // }; |
| |
| #include <locale> |
| #include <type_traits> |
| #include <cassert> |
| |
| int main() |
| { |
| //#ifndef _LIBCPP_HAS_NO_UNICODE_CHARS |
| typedef std::codecvt<char16_t, char, std::mbstate_t> F; |
| static_assert((std::is_base_of<std::locale::facet, F>::value), ""); |
| static_assert((std::is_base_of<std::codecvt_base, F>::value), ""); |
| static_assert((std::is_same<F::intern_type, char16_t>::value), ""); |
| static_assert((std::is_same<F::extern_type, char>::value), ""); |
| static_assert((std::is_same<F::state_type, std::mbstate_t>::value), ""); |
| std::locale l = std::locale::classic(); |
| assert(std::has_facet<F>(l)); |
| const F& f = std::use_facet<F>(l); |
| (void)F::id; |
| //#endif |
| } |
