38d9005902
git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@220142 91177308-0d34-0410-b5e6-96231b3b80d8
117 lines
5.3 KiB
C++
117 lines
5.3 KiB
C++
//===----------------------------------------------------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is dual licensed under the MIT and the University of Illinois Open
|
|
// Source Licenses. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include <memory>
|
|
#include <cassert>
|
|
|
|
#if __cplusplus >= 201103L
|
|
// #include <memory>
|
|
//
|
|
// template <class Alloc>
|
|
// struct allocator_traits
|
|
// {
|
|
// typedef Alloc allocator_type;
|
|
// typedef typename allocator_type::value_type
|
|
// value_type;
|
|
//
|
|
// typedef Alloc::pointer | value_type* pointer;
|
|
// typedef Alloc::const_pointer
|
|
// | pointer_traits<pointer>::rebind<const value_type>
|
|
// const_pointer;
|
|
// typedef Alloc::void_pointer
|
|
// | pointer_traits<pointer>::rebind<void>
|
|
// void_pointer;
|
|
// typedef Alloc::const_void_pointer
|
|
// | pointer_traits<pointer>::rebind<const void>
|
|
// const_void_pointer;
|
|
|
|
template <typename Alloc>
|
|
void test_pointer()
|
|
{
|
|
typename std::allocator_traits<Alloc>::pointer vp;
|
|
typename std::allocator_traits<Alloc>::const_pointer cvp;
|
|
|
|
static_assert(std::is_same<bool, decltype( vp == vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp != vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp > vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp >= vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp < vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp <= vp)>::value, "");
|
|
|
|
static_assert(std::is_same<bool, decltype( vp == cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp == vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp != cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp != vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp > cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp > vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp >= cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp >= vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp < cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp < vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp <= cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp <= vp)>::value, "");
|
|
|
|
static_assert(std::is_same<bool, decltype(cvp == cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp != cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp > cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp >= cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp < cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp <= cvp)>::value, "");
|
|
}
|
|
|
|
template <typename Alloc>
|
|
void test_void_pointer()
|
|
{
|
|
typename std::allocator_traits<Alloc>::void_pointer vp;
|
|
typename std::allocator_traits<Alloc>::const_void_pointer cvp;
|
|
|
|
static_assert(std::is_same<bool, decltype( vp == vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp != vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp > vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp >= vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp < vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp <= vp)>::value, "");
|
|
|
|
static_assert(std::is_same<bool, decltype( vp == cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp == vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp != cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp != vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp > cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp > vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp >= cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp >= vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp < cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp < vp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype( vp <= cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp <= vp)>::value, "");
|
|
|
|
static_assert(std::is_same<bool, decltype(cvp == cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp != cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp > cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp >= cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp < cvp)>::value, "");
|
|
static_assert(std::is_same<bool, decltype(cvp <= cvp)>::value, "");
|
|
}
|
|
|
|
struct Foo { int x; };
|
|
|
|
int main()
|
|
{
|
|
test_pointer<std::allocator<char>> ();
|
|
test_pointer<std::allocator<int>> ();
|
|
test_pointer<std::allocator<Foo>> ();
|
|
|
|
test_void_pointer<std::allocator<char>> ();
|
|
test_void_pointer<std::allocator<int>> ();
|
|
test_void_pointer<std::allocator<Foo>> ();
|
|
}
|
|
#else
|
|
int main() {}
|
|
#endif
|