// { dg-options -std=c++11 } template<class T> struct IsNegative { int dummy; // Workaround for empty class problem constexpr IsNegative() : dummy(0) {} constexpr bool operator()(const T& x) { return x < T(0); } }; template<class T, int N, class Pred> constexpr bool has_neg(T (&x)[N], Pred p) { return p(x[0]) || p(x[1]); } constexpr int a[] = {1, -2}; constexpr auto answer = has_neg(a, IsNegative<int>{}); // #1 static_assert(answer, "Error");
template<class T> constexpr T do_last(T* x, int n) { return x[n - 1]; // } template<class T, int N> constexpr T last(T (&x)[N]) { return do_last(x, N); } constexpr bool is_negative(int x) { return x < 0; } template<class T> struct IsNegative { constexpr bool operator()(const T& x) { return x < T(0); } }; template<class T, int N, class Pred> constexpr bool has_neg(T (&x)[N], Pred p) { return p(last(x)); // Line 22 } constexpr int a[] = {1, -2}; constexpr auto answer1 = has_neg(a, IsNegative<int>{}); // Line 27 constexpr auto answer2 = has_neg(a, is_negative); static_assert(answer2 == answer1, "Error");