Implement the Library Fundamentals v1 variable templates.

2014-10-17  Ville Voutilainen  <ville.voutilainen@gmail.com>

	Implement the Library Fundamentals v1 variable templates.
	* include/Makefile.am: Add the new header.
	* include/Makefile.in: Regenerate.
	* include/experimental/type_traits: New.
	* testsuite/experimental/type_traits/value.cc: Likewise.

From-SVN: r216397

libstdc++-v3/ChangeLog

+2014-10-17  Ville Voutilainen  <ville.voutilainen@gmail.com>
+
+	Implement the Library Fundamentals v1 variable templates.
+	* include/Makefile.am: Add the new header.
+	* include/Makefile.in: Regenerate.
+	* include/experimental/type_traits: New.
+	* testsuite/experimental/type_traits/value.cc: Likewise.
+
 2014-10-16  Paolo Carlini  <paolo.carlini@oracle.com>
 
 	* testsuite/lib/libstdc++.exp: Prefer -std=gnu++11.

libstdc++-v3/include/Makefile.am

@@ -643,7 +643,8 @@ experimental_headers = \
 	${experimental_srcdir}/optional \
 	${experimental_srcdir}/string_view \
 	${experimental_srcdir}/string_view.tcc \
-	${experimental_srcdir}/tuple
+	${experimental_srcdir}/tuple \
+	${experimental_srcdir}/type_traits
 
 # This is the common subset of C++ files that all three "C" header models use.
 c_base_srcdir = $(C_INCLUDE_DIR)

libstdc++-v3/include/Makefile.in

@@ -909,7 +909,8 @@ experimental_headers = \
 	${experimental_srcdir}/optional \
 	${experimental_srcdir}/string_view \
 	${experimental_srcdir}/string_view.tcc \
-	${experimental_srcdir}/tuple
+	${experimental_srcdir}/tuple \
+	${experimental_srcdir}/type_traits
 
 
 # This is the common subset of C++ files that all three "C" header models use.

libstdc++-v3/include/experimental/type_traits

+// Variable Templates For Type Traits -*- C++ -*-
+
+// Copyright (C) 2014 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// Under Section 7 of GPL version 3, you are granted additional
+// permissions described in the GCC Runtime Library Exception, version
+// 3.1, as published by the Free Software Foundation.
+
+// You should have received a copy of the GNU General Public License and
+// a copy of the GCC Runtime Library Exception along with this program;
+// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
+// <http://www.gnu.org/licenses/>.
+
+/** @file experimental/type_traits
+ *  This is a TS C++ Library header.
+ */
+
+//
+// N3932 Variable Templates For Type Traits (Revision 1)
+//
+
+#ifndef _GLIBCXX_EXPERIMENTAL_TYPE_TRAITS
+#define _GLIBCXX_EXPERIMENTAL_TYPE_TRAITS 1
+
+#pragma GCC system_header
+
+#if __cplusplus <= 201103L
+# include <bits/c++14_warning.h>
+#else
+
+#include <type_traits>
+
+
+namespace std _GLIBCXX_VISIBILITY(default)
+{
+namespace experimental
+{
+inline namespace fundamentals_v1
+{
+_GLIBCXX_BEGIN_NAMESPACE_VERSION
+
+// See C++14 §20.10.4.1, primary type categories
+template <typename _Tp>
+  constexpr bool is_void_v = is_void<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_null_pointer_v = is_null_pointer<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_integral_v = is_integral<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_floating_point_v = is_floating_point<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_array_v = is_array<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_pointer_v = is_pointer<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_lvalue_reference_v = is_lvalue_reference<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_rvalue_reference_v = is_rvalue_reference<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_member_object_pointer_v =
+    is_member_object_pointer<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_member_function_pointer_v =
+    is_member_function_pointer<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_enum_v = is_enum<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_union_v = is_union<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_class_v = is_class<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_function_v = is_function<_Tp>::value;
+
+// See C++14 §20.10.4.2, composite type categories
+template <typename _Tp>
+  constexpr bool is_reference_v = is_reference<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_arithmetic_v = is_arithmetic<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_fundamental_v = is_fundamental<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_object_v = is_object<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_scalar_v = is_scalar<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_compound_v = is_compound<_Tp>::value;
+template <typename _Tp>
+ constexpr bool is_member_pointer_v = is_member_pointer<_Tp>::value;
+
+// See C++14 §20.10.4.3, type properties
+template <typename _Tp>
+  constexpr bool is_const_v = is_const<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_volatile_v = is_volatile<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_trivial_v = is_trivial<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_trivially_copyable_v = is_trivially_copyable<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_standard_layout_v = is_standard_layout<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_pod_v = is_pod<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_literal_type_v = is_literal_type<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_empty_v = is_empty<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_polymorphic_v = is_polymorphic<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_abstract_v = is_abstract<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_final_v = is_final<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_signed_v = is_signed<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_unsigned_v = is_unsigned<_Tp>::value;
+template <typename _Tp, typename... _Args>
+  constexpr bool is_constructible_v = is_constructible<_Tp, _Args...>::value;
+template <typename _Tp>
+  constexpr bool is_default_constructible_v =
+    is_default_constructible<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_copy_constructible_v = is_copy_constructible<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_move_constructible_v = is_move_constructible<_Tp>::value;
+template <typename _Tp, typename _Up>
+  constexpr bool is_assignable_v = is_assignable<_Tp, _Up>::value;
+template <typename _Tp>
+  constexpr bool is_copy_assignable_v = is_copy_assignable<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_move_assignable_v = is_move_assignable<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_destructible_v = is_destructible<_Tp>::value;
+template <typename _Tp, typename... _Args>
+  constexpr bool is_trivially_constructible_v =
+    is_trivially_constructible<_Tp, _Args...>::value;
+template <typename _Tp>
+  constexpr bool is_trivially_default_constructible_v =
+    is_trivially_default_constructible<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_trivially_copy_constructible_v =
+    is_trivially_copy_constructible<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_trivially_move_constructible_v =
+    is_trivially_move_constructible<_Tp>::value;
+template <typename _Tp, typename _Up>
+  constexpr bool is_trivially_assignable_v =
+    is_trivially_assignable<_Tp, _Up>::value;
+template <typename _Tp>
+  constexpr bool is_trivially_copy_assignable_v =
+    is_trivially_copy_assignable<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_trivially_move_assignable_v =
+    is_trivially_move_assignable<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_trivially_destructible_v =
+    is_trivially_destructible<_Tp>::value;
+template <typename _Tp, typename... _Args>
+  constexpr bool is_nothrow_constructible_v =
+    is_nothrow_constructible<_Tp, _Args...>::value;
+template <typename _Tp>
+  constexpr bool is_nothrow_default_constructible_v =
+    is_nothrow_default_constructible<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_nothrow_copy_constructible_v =
+    is_nothrow_copy_constructible<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_nothrow_move_constructible_v =
+    is_nothrow_move_constructible<_Tp>::value;
+template <typename _Tp, typename _Up>
+  constexpr bool is_nothrow_assignable_v =
+    is_nothrow_assignable<_Tp, _Up>::value;
+template <typename _Tp>
+  constexpr bool is_nothrow_copy_assignable_v =
+    is_nothrow_copy_assignable<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_nothrow_move_assignable_v =
+    is_nothrow_move_assignable<_Tp>::value;
+template <typename _Tp>
+  constexpr bool is_nothrow_destructible_v =
+    is_nothrow_destructible<_Tp>::value;
+template <typename _Tp>
+  constexpr bool has_virtual_destructor_v =
+    has_virtual_destructor<_Tp>::value;
+
+// See C++14 §20.10.5, type property queries
+template <typename _Tp>
+  constexpr size_t alignment_of_v = alignment_of<_Tp>::value;
+template <typename _Tp>
+  constexpr size_t rank_v = rank<_Tp>::value;
+template <typename _Tp, unsigned _Idx = 0>
+  constexpr size_t extent_v = extent<_Tp, _Idx>::value;
+
+// See C++14 §20.10.6, type relations
+template <typename _Tp, typename _Up>
+  constexpr bool is_same_v = is_same<_Tp, _Up>::value;
+template <typename _Base, typename _Derived>
+  constexpr bool is_base_of_v = is_base_of<_Base, _Derived>::value;
+template <typename _From, typename _To>
+  constexpr bool is_convertible_v = is_convertible<_From, _To>::value;
+
+
+  // 3.3.2, Other type transformations
+  // invocation_type (still unimplemented)
+  // raw_invocation_type (still unimplemented)
+  // invocation_type_t (still unimplemented)
+  // raw_invocation_type_t (still unimplemented)
+_GLIBCXX_END_NAMESPACE_VERSION
+} // namespace fundamentals_v1
+} // namespace experimental
+} // namespace std
+
+#endif // __cplusplus <= 201103L
+
+#endif // _GLIBCXX_EXPERIMENTAL_TYPE_TRAITS