friend _LIBCPP_ALWAYS_INLINE _LIBCPP_CONSTEXPR bool operator==(nullptr_t, nullptr_t) {return true;}
friend _LIBCPP_ALWAYS_INLINE _LIBCPP_CONSTEXPR bool operator!=(nullptr_t, nullptr_t) {return false;}
- friend _LIBCPP_ALWAYS_INLINE _LIBCPP_CONSTEXPR bool operator<(nullptr_t, nullptr_t) {return false;}
- friend _LIBCPP_ALWAYS_INLINE _LIBCPP_CONSTEXPR bool operator<=(nullptr_t, nullptr_t) {return true;}
- friend _LIBCPP_ALWAYS_INLINE _LIBCPP_CONSTEXPR bool operator>(nullptr_t, nullptr_t) {return false;}
- friend _LIBCPP_ALWAYS_INLINE _LIBCPP_CONSTEXPR bool operator>=(nullptr_t, nullptr_t) {return true;}
};
inline _LIBCPP_ALWAYS_INLINE _LIBCPP_CONSTEXPR nullptr_t __get_nullptr_t() {return nullptr_t(0);}
#include <type_traits>
#include <cassert>
+#include "test_macros.h"
+
// typedef decltype(nullptr) nullptr_t;
struct A
}
}
+template <class T> struct Voider { typedef void type; };
+template <class T, class = void> struct has_less : std::false_type {};
+
+template <class T> struct has_less<T,
+ typename Voider<decltype(std::declval<T>() < nullptr)>::type> : std::true_type {};
+
template <class T>
void test_comparisons()
{
T p = nullptr;
assert(p == nullptr);
- assert(p <= nullptr);
- assert(p >= nullptr);
assert(!(p != nullptr));
- assert(!(p < nullptr));
- assert(!(p > nullptr));
assert(nullptr == p);
- assert(nullptr <= p);
- assert(nullptr >= p);
assert(!(nullptr != p));
- assert(!(nullptr < p));
- assert(!(nullptr > p));
}
#if defined(__clang__)
test_conversions<int A::*>();
}
{
+#ifdef _LIBCPP_HAS_NO_NULLPTR
+ static_assert(!has_less<std::nullptr_t>::value, "");
+ // FIXME: our c++03 nullptr emulation still allows for comparisons
+ // with other pointer types by way of the conversion operator.
+ //static_assert(!has_less<void*>::value, "");
+#else
+ // TODO Enable this assertion when all compilers implement core DR 583.
+ // static_assert(!has_less<std::nullptr_t>::value, "");
+#endif
test_comparisons<std::nullptr_t>();
test_comparisons<void*>();
test_comparisons<A*>();