1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant// The LLVM Compiler Infrastructure 4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details. 7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// <string> 11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// template<> struct char_traits<char32_t> 13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// static size_t length(const char_type* s); 15ce921fa9622a556ab37ff1d6d7368853a262a916Marshall Clow// constexpr in C++17 16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <string> 18bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert> 19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 20d24c465beaec2fe9a0e365e6379cd5d3acaeb2caEric Fiselier#include "test_macros.h" 21d24c465beaec2fe9a0e365e6379cd5d3acaeb2caEric Fiselier 22ce921fa9622a556ab37ff1d6d7368853a262a916Marshall Clow#if TEST_STD_VER > 14 23ce921fa9622a556ab37ff1d6d7368853a262a916Marshall Clowconstexpr bool test_constexpr() 24ce921fa9622a556ab37ff1d6d7368853a262a916Marshall Clow{ 25ce921fa9622a556ab37ff1d6d7368853a262a916Marshall Clow return std::char_traits<char32_t>::length(U"") == 0 26ce921fa9622a556ab37ff1d6d7368853a262a916Marshall Clow && std::char_traits<char32_t>::length(U"abcd") == 4; 27ce921fa9622a556ab37ff1d6d7368853a262a916Marshall Clow} 28ce921fa9622a556ab37ff1d6d7368853a262a916Marshall Clow#endif 29ce921fa9622a556ab37ff1d6d7368853a262a916Marshall Clow 30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main() 31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#ifndef _LIBCPP_HAS_NO_UNICODE_CHARS 33d24c465beaec2fe9a0e365e6379cd5d3acaeb2caEric Fiselier#if TEST_STD_VER >= 11 34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::char_traits<char32_t>::length(U"") == 0); 35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::char_traits<char32_t>::length(U"a") == 1); 36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::char_traits<char32_t>::length(U"aa") == 2); 37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::char_traits<char32_t>::length(U"aaa") == 3); 38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::char_traits<char32_t>::length(U"aaaa") == 4); 39c1345e3262d6dd4db6ac54ecd87c5191d54ded4dMarshall Clow#endif 40ce921fa9622a556ab37ff1d6d7368853a262a916Marshall Clow 41ce921fa9622a556ab37ff1d6d7368853a262a916Marshall Clow#if TEST_STD_VER > 14 42ce921fa9622a556ab37ff1d6d7368853a262a916Marshall Clow static_assert(test_constexpr(), "" ); 43ce921fa9622a556ab37ff1d6d7368853a262a916Marshall Clow#endif 446e0a1f458e41c08112a130f50636ced03907e29eHoward Hinnant#endif // _LIBCPP_HAS_NO_UNICODE_CHARS 45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 46