mirror/Sprout
1
0
Fork 0
mirror of https://github.com/bolero-MURAKAMI/Sprout.git synced 2024-12-23 21:25:49 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

add type_traits/std_value_variables.hpp

Browse source
This commit is contained in:
bolero-MURAKAMI 2014-01-06 22:45:41 +09:00
parent a43b9f3faa
commit 8b40dfd184
20 changed files with 206 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
sprout/config/auto_config.hpp
View file

@ -101,6 +101,15 @@
# endif // #ifdef SPROUT_NO_CXX11_UNICODE_LITERALS
#endif // #ifndef SPROUT_CONFIG_DISABLE_UNICODE_LITERALS
//
// SPROUT_CONFIG_DISABLE_VARIABLE_TEMPLATES
//
#ifndef SPROUT_CONFIG_DISABLE_VARIABLE_TEMPLATES
# ifdef SPROUT_NO_CXX14_VARIABLE_TEMPLATES
# define SPROUT_CONFIG_DISABLE_VARIABLE_TEMPLATES
# endif // #ifdef SPROUT_NO_CXX14_VARIABLE_TEMPLATES
#endif // #ifndef SPROUT_CONFIG_DISABLE_VARIABLE_TEMPLATES
//
// SPROUT_CONFIG_USE_SSCRISK_CEL
//

1
sprout/config/compiler/borland.hpp
View file

@ -21,5 +21,6 @@
#define SPROUT_NO_CXX11_UNICODE_LITERALS
#define SPROUT_NO_CXX14_CONSTEXPR
#define SPROUT_NO_CXX14_VARIABLE_TEMPLATES
#endif // #ifndef SPROUT_CONFIG_COMPILER_BORLAND_HPP

2
sprout/config/compiler/clang.hpp
View file

@ -48,6 +48,8 @@
# define SPROUT_NO_CXX14_CONSTEXPR
#endif
#define SPROUT_NO_CXX14_VARIABLE_TEMPLATES
#if !defined(SPROUT_NO_CXX11_CONSTEXPR)
# define SPROUT_WORKAROUND_NOT_TERMINATE_RECURSIVE_CONSTEXPR_FUNCTION_TEMPLATE
#endif

1
sprout/config/compiler/codegear.hpp
View file

@ -19,5 +19,6 @@
#define SPROUT_NO_CXX11_UNICODE_LITERALS
#define SPROUT_NO_CXX14_CONSTEXPR
#define SPROUT_NO_CXX14_VARIABLE_TEMPLATES
#endif // #ifndef SPROUT_CONFIG_COMPILER_CODEGEAR_HPP

1
sprout/config/compiler/common_edg.hpp
View file

@ -19,5 +19,6 @@
#define SPROUT_NO_CXX11_UNICODE_LITERALS
#define SPROUT_NO_CXX14_CONSTEXPR
#define SPROUT_NO_CXX14_VARIABLE_TEMPLATES
#endif // #ifndef SPROUT_CONFIG_COMPILER_COMMON_EDG_HPP

1
sprout/config/compiler/digitalmars.hpp
View file

@ -19,5 +19,6 @@
#define SPROUT_NO_CXX11_UNICODE_LITERALS
#define SPROUT_NO_CXX14_CONSTEXPR
#define SPROUT_NO_CXX14_VARIABLE_TEMPLATES
#endif // #ifndef SPROUT_CONFIG_COMPILER_DIGITALMARS_HPP

1
sprout/config/compiler/gcc.hpp
View file

@ -53,5 +53,6 @@
#endif
#define SPROUT_NO_CXX14_CONSTEXPR
#define SPROUT_NO_CXX14_VARIABLE_TEMPLATES
#endif // #ifndef SPROUT_CONFIG_COMPILER_GCC_HPP

1
sprout/config/compiler/gcc_xml.hpp
View file

@ -19,5 +19,6 @@
#define SPROUT_NO_CXX11_UNICODE_LITERALS
#define SPROUT_NO_CXX14_CONSTEXPR
#define SPROUT_NO_CXX14_VARIABLE_TEMPLATES
#endif // #ifndef SPROUT_CONFIG_COMPILER_GCC_XML_HPP

4
sprout/config/compiler/has_future.hpp
View file

@ -36,4 +36,8 @@
# define SPROUT_HAS_UNICODE_LITERALS
#endif
#ifndef SPROUT_NO_CXX14_VARIABLE_TEMPLATES
# define SPROUT_HAS_VARIABLE_TEMPLATES
#endif
#endif // #ifndef SPROUT_CONFIG_COMPILER_HAS_FUTURE_HPP

1
sprout/config/compiler/metrowerks.hpp
View file

@ -19,5 +19,6 @@
#define SPROUT_NO_CXX11_UNICODE_LITERALS
#define SPROUT_NO_CXX14_CONSTEXPR
#define SPROUT_NO_CXX14_VARIABLE_TEMPLATES
#endif // #ifndef SPROUT_CONFIG_COMPILER_METROWERKS_HPP

1
sprout/config/compiler/mpw.hpp
View file

@ -19,5 +19,6 @@
#define SPROUT_NO_CXX11_UNICODE_LITERALS
#define SPROUT_NO_CXX14_CONSTEXPR
#define SPROUT_NO_CXX14_VARIABLE_TEMPLATES
#endif // #ifndef SPROUT_CONFIG_COMPILER_MPW_HPP

4
sprout/config/compiler/no_future.hpp
View file

@ -36,4 +36,8 @@
# define SPROUT_NO_UNICODE_LITERALS
#endif
#ifdef SPROUT_NO_CXX14_VARIABLE_TEMPLATES
# define SPROUT_NO_VARIABLE_TEMPLATES
#endif
#endif // #ifndef SPROUT_CONFIG_COMPILER_NO_FUTURE_HPP

1
sprout/config/compiler/pathscale.hpp
View file

@ -20,6 +20,7 @@
# define SPROUT_NO_CXX11_UNICODE_LITERALS
# define SPROUT_NO_CXX14_CONSTEXPR
# define SPROUT_NO_CXX14_VARIABLE_TEMPLATES
#endif
#endif // #ifndef SPROUT_CONFIG_COMPILER_PATHSCALE_HPP

1
sprout/config/compiler/pgi.hpp
View file

@ -19,5 +19,6 @@
#define SPROUT_NO_CXX11_UNICODE_LITERALS
#define SPROUT_NO_CXX14_CONSTEXPR
#define SPROUT_NO_CXX14_VARIABLE_TEMPLATES
#endif // #ifndef SPROUT_CONFIG_COMPILER_PGI_HPP

1
sprout/config/compiler/sunpro_cc.hpp
View file

@ -19,5 +19,6 @@
#define SPROUT_NO_CXX11_UNICODE_LITERALS
#define SPROUT_NO_CXX14_CONSTEXPR
#define SPROUT_NO_CXX14_VARIABLE_TEMPLATES
#endif // #ifndef SPROUT_CONFIG_COMPILER_SUNPRO_CC_HPP

1
sprout/config/compiler/vacpp.hpp
View file

@ -23,5 +23,6 @@
#define SPROUT_NO_CXX11_UNICODE_LITERALS
#define SPROUT_NO_CXX14_CONSTEXPR
#define SPROUT_NO_CXX14_VARIABLE_TEMPLATES
#endif // #ifndef SPROUT_CONFIG_COMPILER_VACPP_HPP

1
sprout/config/compiler/visualc.hpp
View file

@ -21,5 +21,6 @@
#define SPROUT_NO_CXX11_UNICODE_LITERALS
#define SPROUT_NO_CXX14_CONSTEXPR
#define SPROUT_NO_CXX14_VARIABLE_TEMPLATES
#endif // #ifndef SPROUT_CONFIG_COMPILER_VISUALC_HPP

9
sprout/config/suffix.hpp
View file

@ -138,6 +138,15 @@
# define SPROUT_USE_UNICODE_LITERALS 0
#endif // #ifndef SPROUT_CONFIG_DISABLE_UNICODE_LITERALS
//
// SPROUT_USE_VARIABLE_TEMPLATES
//
#ifndef SPROUT_CONFIG_DISABLE_VARIABLE_TEMPLATES
# define SPROUT_USE_VARIABLE_TEMPLATES 1
#else // #ifndef SPROUT_CONFIG_DISABLE_VARIABLE_TEMPLATES
# define SPROUT_USE_VARIABLE_TEMPLATES 0
#endif // #ifndef SPROUT_CONFIG_DISABLE_VARIABLE_TEMPLATES
//
// SPROUT_USE_BUILTIN_CMATH_FUNCTION
//

1
sprout/type_traits/std.hpp
View file

@ -12,5 +12,6 @@
#include <sprout/type_traits/integral_constant.hpp>
#include <sprout/type_traits/std_type_traits.hpp>
#include <sprout/type_traits/std_type_aliases.hpp>
#include <sprout/type_traits/std_value_variables.hpp>
#endif // #ifndef SPROUT_TYPE_TRAITS_STD_HPP

164
sprout/type_traits/std_value_variables.hpp Normal file
View file

@ -0,0 +1,164 @@
/*=============================================================================
Copyright (c) 2011-2013 Bolero MURAKAMI
https://github.com/bolero-MURAKAMI/Sprout
Distributed under the Boost Software License, Version 1.0. (See accompanying
file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
=============================================================================*/
#ifndef SPROUT_TYPE_TRAITS_STD_VALUE_VARIABLES_HPP
#define SPROUT_TYPE_TRAITS_STD_VALUE_VARIABLES_HPP
#include <sprout/config.hpp>
#if SPROUT_USE_VARIABLE_TEMPLATES
# include <cstddef>
# include <sprout/type_traits/std_type_traits.hpp>
#endif // #if SPROUT_USE_VARIABLE_TEMPLATES
namespace sprout {
#if SPROUT_USE_VARIABLE_TEMPLATES
// 20.10.4.1 Primary type categories
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_void_v = sprout::is_void<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_null_pointer_v = sprout::is_null_pointer<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_integral_v = sprout::is_integral<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_floating_point_v = sprout::is_floating_point<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_array_v = sprout::is_array<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_pointer_v = sprout::is_pointer<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_lvalue_reference_v = sprout::is_lvalue_reference<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_rvalue_reference_v = sprout::is_rvalue_reference<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_member_object_pointer_v = sprout::is_member_object_pointer<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_member_function_pointer_v = sprout::is_member_function_pointer<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_enum_v = sprout::is_enum<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_union_v = sprout::is_union<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_class_v = sprout::is_class<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_function_v = sprout::is_function<T>::value;
// 20.10.4.2 Composite type traits
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_reference_v = sprout::is_reference<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_arithmetic_v = sprout::is_arithmetic<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_fundamental_v = sprout::is_fundamental<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_object_v = sprout::is_object<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_scalar_v = sprout::is_scalar<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_compound_v = sprout::is_compound<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_member_pointer_v = sprout::is_member_pointer<T>::value;
// 20.10.4.3 Type properties
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_const_v = sprout::is_const<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_volatile_v = sprout::is_volatile<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_trivial_v = sprout::is_trivial<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_trivially_copyable_v = sprout::is_trivially_copyable<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_standard_layout_v = sprout::is_standard_layout<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_pod_v = sprout::is_pod<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_literal_type_v = sprout::is_literal_type<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_empty_v = sprout::is_empty<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_polymorphic_v = sprout::is_polymorphic<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_abstract_v = sprout::is_abstract<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_signed_v = sprout::is_signed<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_unsigned_v = sprout::is_unsigned<T>::value;
template<typename T, typename... Args>
SPROUT_STATIC_CONSTEXPR bool is_constructible_v = sprout::is_constructible<T, Args...>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_default_constructible_v = sprout::is_default_constructible<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_copy_constructible_v = sprout::is_copy_constructible<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_move_constructible_v = sprout::is_move_constructible<T>::value;
template<typename T, typename U>
SPROUT_STATIC_CONSTEXPR bool is_assignable_v = sprout::is_assignable<T, U>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_copy_assignable_v = sprout::is_copy_assignable<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_move_assignable_v = sprout::is_move_assignable<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_destructible_v = sprout::is_destructible<T>::value;
template<typename T, typename... Args>
SPROUT_STATIC_CONSTEXPR bool is_trivially_constructible_v = sprout::is_trivially_constructible<T, Args...>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_trivially_default_constructible_v = sprout::is_trivially_default_constructible<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_trivially_copy_constructible_v = sprout::is_trivially_copy_constructible<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_trivially_move_constructible_v = sprout::is_trivially_move_constructible<T>::value;
template<typename T, typename U>
SPROUT_STATIC_CONSTEXPR bool is_trivially_assignable_v = sprout::is_trivially_assignable<T, U>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_trivially_copy_assignable_v = sprout::is_trivially_copy_assignable<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_trivially_move_assignable_v = sprout::is_trivially_move_assignable<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_trivially_destructible_v = sprout::is_trivially_destructible<T>::value;
template<typename T, typename... Args>
SPROUT_STATIC_CONSTEXPR bool is_nothrow_constructible_v = sprout::is_nothrow_constructible<T, Args...>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_nothrow_default_constructible_v = sprout::is_nothrow_default_constructible<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_nothrow_copy_constructible_v = sprout::is_nothrow_copy_constructible<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_nothrow_move_constructible_v = sprout::is_nothrow_move_constructible<T>::value;
template<typename T, typename U>
SPROUT_STATIC_CONSTEXPR bool is_nothrow_assignable_v = sprout::is_nothrow_assignable<T, U>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_nothrow_copy_assignable_v = sprout::is_nothrow_copy_assignable<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_nothrow_move_assignable_v = sprout::is_nothrow_move_assignable<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool is_nothrow_destructible_v = sprout::is_nothrow_destructible<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR bool has_virtual_destructor_v = sprout::has_virtual_destructor<T>::value;
// 20.10.5 Type property queries
template<typename T>
SPROUT_STATIC_CONSTEXPR std::size_t alignment_of_v = sprout::alignment_of<T>::value;
template<typename T>
SPROUT_STATIC_CONSTEXPR std::size_t rank_v = sprout::rank<T>::value;
template<typename T, unsigned I = 0>
SPROUT_STATIC_CONSTEXPR std::size_t extent_v = sprout::extent<T, I>::value;
// 20.10.6 Relationships between types
template<typename T, typename U>
SPROUT_STATIC_CONSTEXPR bool is_same_v = sprout::is_same<T, U>::value;
template<typename From, typename To>
SPROUT_STATIC_CONSTEXPR bool is_base_of_v = sprout::is_base_of<From, To>::value;
template<typename From, typename To>
SPROUT_STATIC_CONSTEXPR bool is_convertible_v = sprout::is_convertible<From, To>>::value;
#endif // #if SPROUT_USE_VARIABLE_TEMPLATES
} // namespace sprout
#endif // #ifndef SPROUT_TYPE_TRAITS_STD_VALUE_VARIABLES_HPP