diff options
| author | ville <ville@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-07-29 19:01:39 +0000 |
|---|---|---|
| committer | ville <ville@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-07-29 19:01:39 +0000 |
| commit | 1615843f7f788bb3b3e40703da68a2d7f190c835 (patch) | |
| tree | 89a707b19fbcead7218595353b6d22c404daf2b2 /libstdc++-v3/include/std/ratio | |
| parent | 0c6334edae5ca06b4195e2589e111d2ac854d820 (diff) | |
| download | gcc-1615843f7f788bb3b3e40703da68a2d7f190c835.tar.gz | |
Implement C++17 variable templates for type traits.
* include/std/chrono (treat_as_floating_point_v): New.
* include/std/ratio (ratio_equal_v, ratio_not_equal_v)
(ratio_less_v, ratio_less_equal_v, ratio_greater_v)
(ratio_greater_equal_v): Likewise.
* include/std/system_error (is_error_code_enum_v)
(is_error_condition_enum_v): Likewise.
* include/std/tuple (tuple_size_v): Likewise.
* type_traits (conjunction_v, disjunction_v, negation_v)
(is_void_v, is_null_pointer_v, is_integral_v, is_floating_point_v)
(is_array_v, is_pointer_v, is_lvalue_reference_v)
(is_rvalue_reference_v, is_member_object_pointer_v)
(is_member_function_pointer_v, is_enum_v, is_union_v)
(is_class_v, is_function_v, is_reference_v, is_arithmetic_v)
(is_fundamental_v, is_object_v, is_scalar_v, is_compound_v)
(is_member_pointer_v, is_const_v, is_volatile_v, is_trivial_v)
(is_trivially_copyable_v, is_standard_layout_v)
(is_pod_v, is_literal_type_v, is_empty_v, is_polymorphic_v)
(is_abstract_v, is_final_v, is_signed_v, is_unsigned_v)
(is_constructible_v, is_default_constructible_v)
(is_copy_constructible_v, is_move_constructible_v)
(is_assignable_v, is_copy_assignable_v, is_move_assignable_v)
(is_destructible_v, is_trivially_constructible_v)
(is_trivially_default_constructible_v)
(is_trivially_copy_constructible_v, is_trivially_move_constructible_v)
(is_trivially_assignable_v, is_trivially_copy_assignable_v)
(is_trivially_move_assignable_v, is_trivially_destructible_v)
(is_nothrow_constructible_v, is_nothrow_default_constructible_v)
(is_nothrow_copy_constructible_v, is_nothrow_move_constructible_v)
(is_nothrow_assignable_v, is_nothrow_copy_assignable_v)
(is_nothrow_move_assignable_v, is_nothrow_destructible_v)
(has_virtual_destructor_v, alignment_of_v, rank_v, extent_v)
(is_same_v, is_base_of_v, is_convertible_v): Likewise.
* testsuite/19_diagnostics/error_code/is_error_code_v.cc: Likewise.
* testsuite/20_util/duration/requirements/treat_as_floating_point_v.cc:
Likewise.
* testsuite/20_util/ratio/requirements/ratio_equal_v.cc: Likewise.
* testsuite/20_util/tuple/tuple_size_v.cc: Likewise.
* testsuite/20_util/variable_templates_for_traits.cc: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@238892 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libstdc++-v3/include/std/ratio')
| -rw-r--r-- | libstdc++-v3/include/std/ratio | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/libstdc++-v3/include/std/ratio b/libstdc++-v3/include/std/ratio index 9d7b61cd840..4a243a0cf73 100644 --- a/libstdc++-v3/include/std/ratio +++ b/libstdc++-v3/include/std/ratio @@ -401,6 +401,22 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION : integral_constant<bool, !ratio_less<_R1, _R2>::value> { }; +#if __cplusplus > 201402L + template <typename _R1, typename _R2> + constexpr bool ratio_equal_v = ratio_equal<_R1, _R2>::value; + template <typename _R1, typename _R2> + constexpr bool ratio_not_equal_v = ratio_not_equal<_R1, _R2>::value; + template <typename _R1, typename _R2> + constexpr bool ratio_less_v = ratio_less<_R1, _R2>::value; + template <typename _R1, typename _R2> + constexpr bool ratio_less_equal_v = ratio_less_equal<_R1, _R2>::value; + template <typename _R1, typename _R2> + constexpr bool ratio_greater_v = ratio_greater<_R1, _R2>::value; + template <typename _R1, typename _R2> + constexpr bool ratio_greater_equal_v + = ratio_greater_equal<_R1, _R2>::value; +#endif // C++17 + template<typename _R1, typename _R2, bool = (_R1::num >= 0), bool = (_R2::num >= 0), |