1*4684ddb6SLionel Sambuc //===----------------------------------------------------------------------===// 2*4684ddb6SLionel Sambuc // 3*4684ddb6SLionel Sambuc // The LLVM Compiler Infrastructure 4*4684ddb6SLionel Sambuc // 5*4684ddb6SLionel Sambuc // This file is dual licensed under the MIT and the University of Illinois Open 6*4684ddb6SLionel Sambuc // Source Licenses. See LICENSE.TXT for details. 7*4684ddb6SLionel Sambuc // 8*4684ddb6SLionel Sambuc //===----------------------------------------------------------------------===// 9*4684ddb6SLionel Sambuc 10*4684ddb6SLionel Sambuc // <functional> 11*4684ddb6SLionel Sambuc 12*4684ddb6SLionel Sambuc // negate 13*4684ddb6SLionel Sambuc 14*4684ddb6SLionel Sambuc #include <functional> 15*4684ddb6SLionel Sambuc #include <type_traits> 16*4684ddb6SLionel Sambuc #include <cassert> 17*4684ddb6SLionel Sambuc main()18*4684ddb6SLionel Sambucint main() 19*4684ddb6SLionel Sambuc { 20*4684ddb6SLionel Sambuc typedef std::negate<int> F; 21*4684ddb6SLionel Sambuc const F f = F(); 22*4684ddb6SLionel Sambuc static_assert((std::is_base_of<std::unary_function<int, int>, F>::value), ""); 23*4684ddb6SLionel Sambuc assert(f(36) == -36); 24*4684ddb6SLionel Sambuc #if _LIBCPP_STD_VER > 11 25*4684ddb6SLionel Sambuc typedef std::negate<> F2; 26*4684ddb6SLionel Sambuc const F2 f2 = F2(); 27*4684ddb6SLionel Sambuc assert(f2(36) == -36); 28*4684ddb6SLionel Sambuc assert(f2(36L) == -36); 29*4684ddb6SLionel Sambuc assert(f2(36.0) == -36); 30*4684ddb6SLionel Sambuc 31*4684ddb6SLionel Sambuc constexpr int foo = std::negate<int> () (3); 32*4684ddb6SLionel Sambuc static_assert ( foo == -3, "" ); 33*4684ddb6SLionel Sambuc 34*4684ddb6SLionel Sambuc constexpr int bar = std::negate<> () (3.0); 35*4684ddb6SLionel Sambuc static_assert ( bar == -3, "" ); 36*4684ddb6SLionel Sambuc #endif 37*4684ddb6SLionel Sambuc } 38