llvm/libcxx
1
0
Fork 0
mirror of https://github.com/llvm-mirror/libcxx.git synced 2025-10-24 03:32:35 +08:00
Code Issues Packages Projects Releases Wiki Activity

Add missing _v traits. is_bind_expression_v, is_placeholder_v and uses_allocator_v

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@282126 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Marshall Clow
2016-09-22 00:23:15 +00:00
parent fd4a3f6cef
commit 2fffe3a6ff
5 changed files with 62 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
include/__functional_base
View File

@@ -625,6 +625,11 @@ struct _LIBCPP_TYPE_VIS_ONLY uses_allocator
{
};
#if _LIBCPP_STD_VER > 14
template <class _Tp, class _Alloc>
constexpr size_t uses_allocator_v = uses_allocator<_Tp, _Alloc>::value;
#endif
#ifndef _LIBCPP_HAS_NO_VARIADICS
// allocator construction

17
include/functional
View File

@@ -212,6 +212,13 @@ template <class F> unspecified not_fn(F&& f); // C++17
template<class T> struct is_bind_expression;
template<class T> struct is_placeholder;
// See C++14 20.9.9, Function object binders
template <class T> constexpr bool is_bind_expression_v
= is_bind_expression<T>::value; // C++17
template <class T> constexpr int is_placeholder_v
= is_placeholder<T>::value; // C++17
template<class Fn, class... BoundArgs>
unspecified bind(Fn&&, BoundArgs&&...);
template<class R, class Fn, class... BoundArgs>
@@ -1970,10 +1977,20 @@ template<class _Tp> struct __is_bind_expression : public false_type {};
template<class _Tp> struct _LIBCPP_TYPE_VIS_ONLY is_bind_expression
: public __is_bind_expression<typename remove_cv<_Tp>::type> {};
#if _LIBCPP_STD_VER > 14
template <class _Tp>
constexpr size_t is_bind_expression_v = is_bind_expression<_Tp>::value;
#endif
template<class _Tp> struct __is_placeholder : public integral_constant<int, 0> {};
template<class _Tp> struct _LIBCPP_TYPE_VIS_ONLY is_placeholder
: public __is_placeholder<typename remove_cv<_Tp>::type> {};
#if _LIBCPP_STD_VER > 14
template <class _Tp>
constexpr size_t is_placeholder_v = is_placeholder<_Tp>::value;
#endif
namespace placeholders
{

4
test/std/utilities/function.objects/bind/func.bind/func.bind.isbind/is_bind_expression.pass.cpp
View File

@@ -14,12 +14,16 @@
// template<class T> struct is_bind_expression
#include <functional>
#include "test_macros.h"
template <bool Expected, class T>
void
test(const T&)
{
static_assert(std::is_bind_expression<T>::value == Expected, "");
#if TEST_STD_VER > 14
static_assert(std::is_bind_expression_v<T> == Expected, "");
#endif
}
struct C {};

4
test/std/utilities/function.objects/bind/func.bind/func.bind.isbind/is_placeholder.pass.cpp
View File

@@ -12,12 +12,16 @@
// struct is_placeholder
#include <functional>
#include "test_macros.h"
template <int Expected, class T>
void
test(const T&)
{
static_assert(std::is_placeholder<T>::value == Expected, "");
#if TEST_STD_VER > 14
static_assert(std::is_placeholder_v<T> == Expected, "");
#endif
}
struct C {};

42
test/std/utilities/memory/allocator.uses/allocator.uses.trait/uses_allocator.pass.cpp
View File

@@ -38,16 +38,38 @@ private:
typedef int allocator_type;
};
int main()
template <bool Expected, class T, class A>
void
test()
{
static_assert((!std::uses_allocator<int, std::allocator<int> >::value), "");
static_assert(( std::uses_allocator<std::vector<int>, std::allocator<int> >::value), "");
static_assert((!std::uses_allocator<A, std::allocator<int> >::value), "");
static_assert((!std::uses_allocator<B, std::allocator<int> >::value), "");
static_assert(( std::uses_allocator<B, double>::value), "");
static_assert((!std::uses_allocator<C, decltype(C::allocator_type)>::value), "");
static_assert((!std::uses_allocator<D, decltype(D::allocator_type)>::value), "");
#if TEST_STD_VER >= 11
static_assert((!std::uses_allocator<E, int>::value), "");
static_assert(std::uses_allocator<T, A>::value == Expected, "");
#if TEST_STD_VER > 14
static_assert(std::uses_allocator_v<T, A> == Expected, "");
#endif
}
int main()
{
test<false, int, std::allocator<int> >();
test<true, std::vector<int>, std::allocator<int> >();
test<false, A, std::allocator<int> >();
test<false, B, std::allocator<int> >();
test<true, B, double>();
test<false, C, decltype(C::allocator_type)>();
test<false, D, decltype(D::allocator_type)>();
#if TEST_STD_VER >= 11
test<false, E, int>();
#endif
// static_assert((!std::uses_allocator<int, std::allocator<int> >::value), "");
// static_assert(( std::uses_allocator<std::vector<int>, std::allocator<int> >::value), "");
// static_assert((!std::uses_allocator<A, std::allocator<int> >::value), "");
// static_assert((!std::uses_allocator<B, std::allocator<int> >::value), "");
// static_assert(( std::uses_allocator<B, double>::value), "");
// static_assert((!std::uses_allocator<C, decltype(C::allocator_type)>::value), "");
// static_assert((!std::uses_allocator<D, decltype(D::allocator_type)>::value), "");
// #if TEST_STD_VER >= 11
// static_assert((!std::uses_allocator<E, int>::value), "");
// #endif
}