Index: uspace/lib/cpp/include/exception =================================================================== --- uspace/lib/cpp/include/exception (revision 75848a8e4b46644b60141b5cf8bd56c434e72489) +++ uspace/lib/cpp/include/exception (revision b1cd380cbb7bcbf6d119599dc443c6b58ead8a14) @@ -27,21 +27,3 @@ */ -#ifndef LIBCPP_EXCEPTION -#define LIBCPP_EXCEPTION - -namespace std -{ - -class exception -{ - public: - exception() = default; - exception(const exception&) = default; - exception& operator=(const exception&) noexcept; - virtual const char* what() const; - virtual ~exception() = default; -}; - -} - -#endif +#include Index: uspace/lib/cpp/include/impl/exception.hpp =================================================================== --- uspace/lib/cpp/include/impl/exception.hpp (revision b1cd380cbb7bcbf6d119599dc443c6b58ead8a14) +++ uspace/lib/cpp/include/impl/exception.hpp (revision b1cd380cbb7bcbf6d119599dc443c6b58ead8a14) @@ -0,0 +1,48 @@ +/* + * Copyright (c) 2017 Jaroslav Jindrak + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * + * - Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * - Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * - The name of the author may not be used to endorse or promote products + * derived from this software without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR + * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES + * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. + * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, + * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT + * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, + * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY + * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT + * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF + * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + */ + +#ifndef LIBCPP_EXCEPTION +#define LIBCPP_EXCEPTION + +namespace std +{ + +class exception +{ + public: + exception() = default; + exception(const exception&) = default; + exception& operator=(const exception&) noexcept; + virtual const char* what() const; + virtual ~exception() = default; +}; + +} + +#endif + Index: uspace/lib/cpp/include/impl/new.hpp =================================================================== --- uspace/lib/cpp/include/impl/new.hpp (revision b1cd380cbb7bcbf6d119599dc443c6b58ead8a14) +++ uspace/lib/cpp/include/impl/new.hpp (revision b1cd380cbb7bcbf6d119599dc443c6b58ead8a14) @@ -0,0 +1,66 @@ +/* + * Copyright (c) 2017 Jaroslav Jindrak + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * + * - Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * - Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * - The name of the author may not be used to endorse or promote products + * derived from this software without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR + * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES + * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. + * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, + * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT + * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, + * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY + * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT + * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF + * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + */ + +#ifndef LIBCPP_NEW +#define LIBCPP_NEW + +#include + +namespace std +{ + +class bad_alloc: public std::exception +{ + public: + bad_alloc() = default; + bad_alloc(const bad_alloc&); + bad_alloc& operator=(const bad_alloc&) = default; + virtual const char* what() const override; + virtual ~bad_alloc() = default; +}; + +struct nothrow_t {}; +extern const nothrow_t nothrow; + +using new_handler = void (*)(); + +new_handler set_new_handler(new_handler); +new_handler get_new_handler() noexcept; + +} + +void* operator new(std::size_t); +void* operator new(std::size_t, const std::nothrow_t&) noexcept; +void* operator new[](std::size_t); +void* operator new[](std::size_t, const std::nothrow_t&) noexcept; + +void operator delete(void* ); +void operator delete[](void* ); + +#endif + Index: uspace/lib/cpp/include/impl/type_traits.hpp =================================================================== --- uspace/lib/cpp/include/impl/type_traits.hpp (revision b1cd380cbb7bcbf6d119599dc443c6b58ead8a14) +++ uspace/lib/cpp/include/impl/type_traits.hpp (revision b1cd380cbb7bcbf6d119599dc443c6b58ead8a14) @@ -0,0 +1,459 @@ +/* + * Copyright (c) 2017 Jaroslav Jindrak + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * + * - Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * - Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * - The name of the author may not be used to endorse or promote products + * derived from this software without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR + * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES + * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. + * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, + * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT + * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, + * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY + * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT + * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF + * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + */ + +#ifndef LIBCPP_TYPE_TRAITS +#define LIBCPP_TYPE_TRAITS + +#include + +namespace std +{ + /** + * 20.10.3, helper class: + */ + + template + struct integral_constant + { + static constexpr T value = v; + + using value_type = T; + using type = integral_constant; + + constexpr operator value_type() const noexcept + { + return value; + } + + constexpr value_type operator()() const noexcept + { + return value; + } + } + + using true_type = integral_constant; + using false_type = integral_constant; + + /** + * 20.10.4.1, primary type categories: + */ + + template + struct remove_cv; + + template + using remove_cv_t = typename remove_cv::type; + + template + struct is_void: aux::is_void>; + + template + struct is_null_pointer: aux::is_null_pointer>; + + template + struct is_integral: aux::is_integral>; + + template + struct is_floating_point: aux::is_floating_point>; + + template + struct is_array: false_type; + + template + struct is_array: true_type; + + template + struct is_pointer: aux::is_pointer>; + + template + struct is_lvalue_reference; + + template + struct is_rvalue_reference; + + template + struct is_member_object_pointer; + + template + struct is_member_function_pointer; + + template + struct is_enum; + + template + struct is_union; + + template + struct is_class; + + template + struct is_function; + + /** + * 20.10.4.2, composite type categories: + */ + + template + struct is_reference; + + template + struct is_arithmetic; + + template + struct is_fundamental; + + template + struct is_object; + + template + struct is_scalar; + + template + struct is_compound; + + template + struct is_member_pointer; + + /** + * 20.10.4.3, type properties: + */ + + template + struct is_const; + + template + struct is_volatile; + + template + struct is_trivial; + + template + struct is_trivially_copyable; + + template + struct is_standard_layout; + + template + struct is_pod; + + template + struct is_literal_type; + + template + struct is_empty; + + template + struct is_polymorphic; + + template + struct is_abstract; + + template + struct is_final; + + template + struct is_signed; + + template + struct is_unsidned; + + template + struct is_constructible; + + template + struct is_default_constructible; + + template + struct is_copy_constructible; + + template + struct is_move_constructible; + + template + struct is_assignable; + + template + struct is_copy_assignable; + + template + struct is_move_assignable; + + template + struct is_destructible; + + template + struct is_trivially_constructible; + + template + struct is_trivially_default_constructible; + + template + struct is_trivially_copy_constructible; + + template + struct is_trivially_move_constructible; + + template + struct is_trivially_assignable; + + template + struct is_trivially_copy_assignable; + + template + struct is_trivially_move_assignable; + + template + struct is_trivially_destructible; + + template + struct is_nothrow_constructible; + + template + struct is_nothrow_default_constructible; + + template + struct is_nothrow_copy_constructible; + + template + struct is_nothrow_move_constructible; + + template + struct is_nothrow_assignable; + + template + struct is_nothrow_copy_assignable; + + template + struct is_nothrow_move_assignable; + + template + struct is_nothrow_destructible; + + template + struct has_virtual_destructor; + + /** + * 20.10.5, type property queries: + */ + + template + struct alignment_of; + + template + struct rank; + + template + struct extent; + + /** + * 20.10.6, type relations: + */ + + template + struct is_same: false_type; + + template + struct is_same: true_type; + + template + struct is_base_of; + + template + struct is_convertible; + + /** + * 20.10.7.1, const-volatile modifications: + */ + + template + struct remove_const; + + template + struct remove_volatile; + + template + struct remove_cv; + + template + struct add_const; + + template + struct add_volatile; + + template + struct add_cv; + + template + using remove_const_t = typename remove_const::type; + + template + using remove_volatile_t = typename remove_volatile::type; + + template + using remove_cv_t = typename remove_cv::type; + + template + using add_const_t = typename add_const::type; + + template + using add_volatile_t = typename add_volatile::type; + + template + using add_cv_t = typename add_cv::type; + + /** + * 20.10.7.2, reference modifications: + */ + + template + struct remove_reference; + + template + struct add_lvalue_reference; + + template + struct add_rvalue_reference; + + template + using remove_reference_t = typename remove_reference::type; + + template + using add_lvalue_reference_t = typename add_lvalue_reference::type; + + template + using add_rvalue_reference_t = typename add_rvalue_reference::type; + + /** + * 20.10.7.3, sign modifications: + */ + + template + struct make_signed; + + template + struct make_unsigned; + + template + using make_signed_t = typename make_signed::type; + + template + using make_unsigned_t = typename make_signed::type; + + /** + * 20.10.7.4, array modifications: + */ + + template + struct remove_extent; + + template + struct remove_all_extents; + + template + using remove_extent_t = typename remove_extent::type; + + template + using remove_all_extents_t = typename remove_all_extents::type; + + /** + * 20.10.7.5, pointer modifications: + */ + + template + struct remove_pointer; + + template + struct add_pointer; + + template + using remove_pointer_t = typename remove_pointer::type; + + template + using add_pointer_t = typename add_pointer::type; + + /** + * 20.10.7.6, other transformations: + */ + + // TODO: consult standard on the default value of align + template + struct aligned_storage; + + template + struct aligned_union; + + template + struct decay; + + template + struct enable_if; + + template + struct conditional; + + template + struct common_type; + + template + struct underlying_type; + + template + class result_of; // not defined + + template + class result_of; + + template + using aligned_storage_t = typename aligned_storage::type; + + template + using aligned_union_t = typename aligned_union::type; + + template + using decay_t = typename decay::type; + + template + using enable_if_t = typename enable_if::type; + + template + using conditional_t = typename conditional::type; + + template + using common_type_t = typename common_type::type; + + template + using underlying_type_t = typename underlying_type::type; + + template + using result_of_t = typename result_of::type; + + template + using void_t = void; +} + +#endif Index: uspace/lib/cpp/include/impl/typeinfo.hpp =================================================================== --- uspace/lib/cpp/include/impl/typeinfo.hpp (revision b1cd380cbb7bcbf6d119599dc443c6b58ead8a14) +++ uspace/lib/cpp/include/impl/typeinfo.hpp (revision b1cd380cbb7bcbf6d119599dc443c6b58ead8a14) @@ -0,0 +1,62 @@ +/* + * Copyright (c) 2017 Jaroslav Jindrak + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * + * - Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * - Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * - The name of the author may not be used to endorse or promote products + * derived from this software without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR + * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES + * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. + * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, + * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT + * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, + * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY + * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT + * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF + * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + */ + +#ifndef LIBCPP_TYPE_INFO +#define LIBCPP_TYPE_INFO + +#include + +namespace std +{ + +class type_info +{ + public: + virtual ~type_info(); + + bool operator==(const type_info&) const noexcept; + bool operator!=(const type_info&) const noexcept; + + bool before(const type_info&) const noexcept; + + size_t hash_code() const noexcept; + + const char* name() const noexcept; + + type_info(const type_info&) = delete; + type_info& operator=(const type_info&) = delete; + + private: + const char* __name; +}; + + // TODO: class bad_cast, bad_typeid +} + +#endif + Index: uspace/lib/cpp/include/impl/utility.hpp =================================================================== --- uspace/lib/cpp/include/impl/utility.hpp (revision b1cd380cbb7bcbf6d119599dc443c6b58ead8a14) +++ uspace/lib/cpp/include/impl/utility.hpp (revision b1cd380cbb7bcbf6d119599dc443c6b58ead8a14) @@ -0,0 +1,178 @@ +/* + * Copyright (c) 2017 Jaroslav Jindrak + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * + * - Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * - Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * - The name of the author may not be used to endorse or promote products + * derived from this software without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR + * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES + * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. + * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, + * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT + * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, + * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY + * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT + * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF + * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + */ + +#ifndef LIBCPP_UTILITY +#define LIBCPP_UTILITY + +namespace std +{ + /** + * 20.2.1, operators: + */ + template + bool operator!=(const T& lhs, const T& rhs) + { + return !(lhs == rhs); + } + + template + bool operator>(const T& lhs, const T& rhs) + { + return (rhs < lhs); + } + + template + bool operator<=(const T& lhs, const T& rhs) + { + return !(rhs < lhs); + } + + template + bool operator>=(const T& lhs, const T& rhs) + { + return !(lhs < rhs); + } + + // TODO: swap + // TODO: exchange + + /** + * 20.2.4, forward/move helpers: + */ + + template + inline constexpr T&& forward(remove_reference_t& t) noexcept + { + return static_cast(t); + } + + template + inline constexpr T&& forward(remove_reference_t&& t) noexcept + { + // TODO: check if t is lvalue reference, if it is, the program + // is ill-formed according to the standard + return static_cast(t); + } + + template + inline constexpr remove_reference_t&& move(T&&) noexcept + { + return static_cast&&>(t); + } + + /** + * 20.2.5, function template declval: + * Note: This function only needs declaration, not + * implementation. + */ + + template + add_rvalue_reference_t declval() noexcept; + + /** + * 20.3, pairs: + */ + + + struct piecewise_construct_t + { + explicit piecewise_construct_t() = default; + }; + + template + struct pair + { + using first_type = T1; + using second_type = T2; + + T1 first; + T2 second; + + pair(const pair&) = default; + pair(pair&&) = default; + + constexpr pair() + : first{}, second{} + { /* DUMMY BODY */ } + + constexpr pair(const T1& x, const T2& y) + : first{x}, second{y} + { /* DUMMY BODY */ } + + template + constexpr pair(U&& x, V&& y) + : first(x), second(y) + { /* DUMMY BODY */ } + + template + constexpr pair(const pair& other) + : first(other.first), second(other.second) + { /* DUMMY BODY */ } + + template + constexpr pair(pair&& other) + : first(forward(other.first)), + second(forward(other.second)) + { /* DUMMY BODY */ } + + /* TODO: need tuple, piecewise_construct_t + template + pair(piecewise_construct_t, tuple first_args, tuple second_args) + { + // TODO: + } + */ + + pair& operator=(const pair& other) + { + first = other.first; + second = other.second; + + return *this; + } + + template + pair& operator=(const pair& other) + { + first = other.first; + second = other.second; + + return *this; + } + + pair& operator=(pair&& other) noexcept + { + first = forward(other.first); + second = forward(other.second); + + return *this; + } + }; +} + +#endif Index: uspace/lib/cpp/include/type_traits =================================================================== --- uspace/lib/cpp/include/type_traits (revision 75848a8e4b46644b60141b5cf8bd56c434e72489) +++ uspace/lib/cpp/include/type_traits (revision b1cd380cbb7bcbf6d119599dc443c6b58ead8a14) @@ -27,428 +27,3 @@ */ -#include - -namespace std -{ - /** - * 20.10.3, helper class: - */ - - template - struct integral_constant - { - static constexpr T value = v; - - using value_type = T; - using type = integral_constant; - - constexpr operator value_type() const noexcept - { - return value; - } - - constexpr value_type operator()() const noexcept - { - return value; - } - } - - using true_type = integral_constant; - using false_type = integral_constant; - - /** - * 20.10.4.1, primary type categories: - */ - - template - struct remove_cv; - - template - using remove_cv_t = typename remove_cv::type; - - template - struct is_void: aux::is_void>; - - template - struct is_null_pointer: aux::is_null_pointer>; - - template - struct is_integral: aux::is_integral>; - - template - struct is_floating_point: aux::is_floating_point>; - - template - struct is_array: false_type; - - template - struct is_array: true_type; - - template - struct is_pointer: aux::is_pointer>; - - template - struct is_lvalue_reference; - - template - struct is_rvalue_reference; - - template - struct is_member_object_pointer; - - template - struct is_member_function_pointer; - - template - struct is_enum; - - template - struct is_union; - - template - struct is_class; - - template - struct is_function; - - /** - * 20.10.4.2, composite type categories: - */ - - template - struct is_reference; - - template - struct is_arithmetic; - - template - struct is_fundamental; - - template - struct is_object; - - template - struct is_scalar; - - template - struct is_compound; - - template - struct is_member_pointer; - - /** - * 20.10.4.3, type properties: - */ - - template - struct is_const; - - template - struct is_volatile; - - template - struct is_trivial; - - template - struct is_trivially_copyable; - - template - struct is_standard_layout; - - template - struct is_pod; - - template - struct is_literal_type; - - template - struct is_empty; - - template - struct is_polymorphic; - - template - struct is_abstract; - - template - struct is_final; - - template - struct is_signed; - - template - struct is_unsidned; - - template - struct is_constructible; - - template - struct is_default_constructible; - - template - struct is_copy_constructible; - - template - struct is_move_constructible; - - template - struct is_assignable; - - template - struct is_copy_assignable; - - template - struct is_move_assignable; - - template - struct is_destructible; - - template - struct is_trivially_constructible; - - template - struct is_trivially_default_constructible; - - template - struct is_trivially_copy_constructible; - - template - struct is_trivially_move_constructible; - - template - struct is_trivially_assignable; - - template - struct is_trivially_copy_assignable; - - template - struct is_trivially_move_assignable; - - template - struct is_trivially_destructible; - - template - struct is_nothrow_constructible; - - template - struct is_nothrow_default_constructible; - - template - struct is_nothrow_copy_constructible; - - template - struct is_nothrow_move_constructible; - - template - struct is_nothrow_assignable; - - template - struct is_nothrow_copy_assignable; - - template - struct is_nothrow_move_assignable; - - template - struct is_nothrow_destructible; - - template - struct has_virtual_destructor; - - /** - * 20.10.5, type property queries: - */ - - template - struct alignment_of; - - template - struct rank; - - template - struct extent; - - /** - * 20.10.6, type relations: - */ - - template - struct is_same: false_type; - - template - struct is_same: true_type; - - template - struct is_base_of; - - template - struct is_convertible; - - /** - * 20.10.7.1, const-volatile modifications: - */ - - template - struct remove_const; - - template - struct remove_volatile; - - template - struct remove_cv; - - template - struct add_const; - - template - struct add_volatile; - - template - struct add_cv; - - template - using remove_const_t = typename remove_const::type; - - template - using remove_volatile_t = typename remove_volatile::type; - - template - using remove_cv_t = typename remove_cv::type; - - template - using add_const_t = typename add_const::type; - - template - using add_volatile_t = typename add_volatile::type; - - template - using add_cv_t = typename add_cv::type; - - /** - * 20.10.7.2, reference modifications: - */ - - template - struct remove_reference; - - template - struct add_lvalue_reference; - - template - struct add_rvalue_reference; - - template - using remove_reference_t = typename remove_reference::type; - - template - using add_lvalue_reference_t = typename add_lvalue_reference::type; - - template - using add_rvalue_reference_t = typename add_rvalue_reference::type; - - /** - * 20.10.7.3, sign modifications: - */ - - template - struct make_signed; - - template - struct make_unsigned; - - template - using make_signed_t = typename make_signed::type; - - template - using make_unsigned_t = typename make_signed::type; - - /** - * 20.10.7.4, array modifications: - */ - - template - struct remove_extent; - - template - struct remove_all_extents; - - template - using remove_extent_t = typename remove_extent::type; - - template - using remove_all_extents_t = typename remove_all_extents::type; - - /** - * 20.10.7.5, pointer modifications: - */ - - template - struct remove_pointer; - - template - struct add_pointer; - - template - using remove_pointer_t = typename remove_pointer::type; - - template - using add_pointer_t = typename add_pointer::type; - - /** - * 20.10.7.6, other transformations: - */ - - // TODO: consult standard on the default value of align - template - struct aligned_storage; - - template - struct aligned_union; - - template - struct decay; - - template - struct enable_if; - - template - struct conditional; - - template - struct common_type; - - template - struct underlying_type; - - template - class result_of; // not defined - - template - class result_of; - - template - using aligned_storage_t = typename aligned_storage::type; - - template - using aligned_union_t = typename aligned_union::type; - - template - using decay_t = typename decay::type; - - template - using enable_if_t = typename enable_if::type; - - template - using conditional_t = typename conditional::type; - - template - using common_type_t = typename common_type::type; - - template - using underlying_type_t = typename underlying_type::type; - - template - using result_of_t = typename result_of::type; - - template - using void_t = void; -} +#include Index: uspace/lib/cpp/include/typeinfo =================================================================== --- uspace/lib/cpp/include/typeinfo (revision 75848a8e4b46644b60141b5cf8bd56c434e72489) +++ uspace/lib/cpp/include/typeinfo (revision b1cd380cbb7bcbf6d119599dc443c6b58ead8a14) @@ -27,30 +27,3 @@ */ -#include - -namespace std -{ - -class type_info -{ - public: - virtual ~type_info(); - - bool operator==(const type_info&) const noexcept; - bool operator!=(const type_info&) const noexcept; - - bool before(const type_info&) const noexcept; - - size_t hash_code() const noexcept; - - const char* name() const noexcept; - - type_info(const type_info&) = delete; - type_info& operator=(const type_info&) = delete; - - private: - const char* __name; -}; - - // TODO: class bad_cast, bad_typeid -} +#include