mirror of
https://github.com/rbock/sqlpp11.git
synced 2024-11-16 04:47:18 +08:00
334 lines
12 KiB
C++
334 lines
12 KiB
C++
/*
|
|
* Copyright (c) 2013-2015, Roland Bock
|
|
* All rights reserved.
|
|
*
|
|
* Redistribution and use in source and binary forms, with or without modification,
|
|
* are permitted provided that the following conditions are met:
|
|
*
|
|
* Redistributions of source code must retain the above copyright notice, this
|
|
* list of conditions and the following disclaimer.
|
|
*
|
|
* Redistributions in binary form must reproduce the above copyright notice, this
|
|
* list of conditions and the following disclaimer in the documentation and/or
|
|
* other materials provided with the distribution.
|
|
*
|
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
|
|
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
|
|
* WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
|
|
* DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR
|
|
* ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
|
|
* (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
|
* LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
|
|
* ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
|
|
* SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
*/
|
|
|
|
#ifndef SQLPP_DETAIL_BASIC_EXPRESSION_OPERATORS_H
|
|
#define SQLPP_DETAIL_BASIC_EXPRESSION_OPERATORS_H
|
|
|
|
#include <sqlpp11/value_type_fwd.h>
|
|
#include <sqlpp11/bad_statement.h>
|
|
#include <sqlpp11/portable_static_assert.h>
|
|
#include <sqlpp11/consistent.h>
|
|
#include <sqlpp11/alias.h>
|
|
#include <sqlpp11/sort_order.h>
|
|
#include <sqlpp11/expression_fwd.h>
|
|
#include <sqlpp11/in_fwd.h>
|
|
#include <sqlpp11/is_null_fwd.h>
|
|
#include <sqlpp11/wrap_operand.h>
|
|
#include <sqlpp11/logic.h>
|
|
|
|
namespace sqlpp
|
|
{
|
|
SQLPP_PORTABLE_STATIC_ASSERT(assert_valid_rhs_comparison_operand_t, "invalid rhs operand in comparison");
|
|
|
|
template <typename LhsValueType, typename RhsType>
|
|
using check_rhs_comparison_operand_t =
|
|
static_check_t<(is_expression_t<sqlpp::wrap_operand_t<RhsType>>::value // expressions are OK
|
|
or
|
|
is_multi_expression_t<sqlpp::wrap_operand_t<RhsType>>::value) // multi-expressions like ANY are
|
|
// OK for comparisons, too
|
|
and
|
|
LhsValueType::template _is_valid_operand<
|
|
sqlpp::wrap_operand_t<RhsType>>::value, // the correct value type is required, of course
|
|
assert_valid_rhs_comparison_operand_t>;
|
|
|
|
SQLPP_PORTABLE_STATIC_ASSERT(assert_valid_in_arguments_t, "at least one operand of in() is not valid");
|
|
|
|
template <typename LhsValueType, typename... InTypes>
|
|
using check_rhs_in_arguments_t =
|
|
static_check_t<logic::all_t<check_rhs_comparison_operand_t<LhsValueType, InTypes>::value...>::value,
|
|
assert_valid_in_arguments_t>;
|
|
|
|
namespace detail
|
|
{
|
|
template <bool Enable, template <typename Lhs> class Expr, typename Lhs>
|
|
struct new_unary_expression_impl
|
|
{
|
|
using type = bad_statement;
|
|
};
|
|
|
|
template <template <typename Lhs> class Expr, typename Lhs>
|
|
struct new_unary_expression_impl<true, Expr, Lhs>
|
|
{
|
|
using type = Expr<Lhs>;
|
|
};
|
|
}
|
|
template <typename Check, template <typename Lhs> class Expr, typename Lhs>
|
|
using new_unary_expression_t = typename detail::new_unary_expression_impl<Check::value, Expr, Lhs>::type;
|
|
|
|
namespace detail
|
|
{
|
|
template <bool Enable, template <typename Lhs, typename Rhs> class Expr, typename Lhs, typename Rhs>
|
|
struct new_binary_expression_impl
|
|
{
|
|
using type = bad_statement;
|
|
};
|
|
|
|
template <template <typename Lhs, typename Rhs> class Expr, typename Lhs, typename Rhs>
|
|
struct new_binary_expression_impl<true, Expr, Lhs, Rhs>
|
|
{
|
|
using type = Expr<Lhs, Rhs>;
|
|
};
|
|
}
|
|
template <typename Check, template <typename Lhs, typename Rhs> class Expr, typename Lhs, typename Rhs>
|
|
using new_binary_expression_t = typename detail::new_binary_expression_impl<Check::value, Expr, Lhs, Rhs>::type;
|
|
|
|
namespace detail
|
|
{
|
|
template <bool Enable, template <typename Lhs, typename... Rhs> class Expr, typename Lhs, typename... Rhs>
|
|
struct new_nary_expression_impl
|
|
{
|
|
using type = bad_statement;
|
|
};
|
|
|
|
template <template <typename Lhs, typename... Rhs> class Expr, typename Lhs, typename... Rhs>
|
|
struct new_nary_expression_impl<true, Expr, Lhs, Rhs...>
|
|
{
|
|
using type = Expr<Lhs, Rhs...>;
|
|
};
|
|
}
|
|
template <typename Check, template <typename Lhs, typename... Rhs> class Expr, typename Lhs, typename... Rhs>
|
|
using new_nary_expression_t = typename detail::new_nary_expression_impl<Check::value, Expr, Lhs, Rhs...>::type;
|
|
|
|
// basic operators
|
|
template <typename Expr, typename ValueType>
|
|
struct basic_expression_operators
|
|
{
|
|
template <template <typename Lhs, typename Rhs> class NewExpr, typename T>
|
|
using _new_binary_expression_t =
|
|
new_binary_expression_t<check_rhs_comparison_operand_t<ValueType, wrap_operand_t<T>>,
|
|
NewExpr,
|
|
Expr,
|
|
wrap_operand_t<T>>;
|
|
|
|
// workaround for msvs bug
|
|
// template <template <typename Lhs, typename... Rhs> class NewExpr, typename... T>
|
|
// using _new_nary_expression_t =
|
|
// new_nary_expression_t<logic::all_t<check_rhs_comparison_operand_t<ValueType,
|
|
// wrap_operand_t<T>>::value...>,
|
|
// NewExpr,
|
|
// Expr,
|
|
// wrap_operand_t<T>...>;
|
|
template <template <typename Lhs, typename... Rhs> class NewExpr, typename... T>
|
|
struct _new_nary_expression
|
|
{
|
|
using type =
|
|
new_nary_expression_t<logic::all_t<check_rhs_comparison_operand_t<ValueType, wrap_operand_t<T>>::value...>,
|
|
NewExpr,
|
|
Expr,
|
|
wrap_operand_t<T>...>;
|
|
};
|
|
|
|
template <typename T>
|
|
_new_binary_expression_t<equal_to_t, T> operator==(T t) const
|
|
{
|
|
using rhs = wrap_operand_t<T>;
|
|
check_rhs_comparison_operand_t<ValueType, rhs>::_();
|
|
|
|
return {*static_cast<const Expr*>(this), {rhs{t}}};
|
|
}
|
|
|
|
template <typename T>
|
|
_new_binary_expression_t<not_equal_to_t, T> operator!=(T t) const
|
|
{
|
|
using rhs = wrap_operand_t<T>;
|
|
check_rhs_comparison_operand_t<ValueType, rhs>::_();
|
|
|
|
return {*static_cast<const Expr*>(this), {rhs{t}}};
|
|
}
|
|
|
|
template <typename T>
|
|
_new_binary_expression_t<less_than_t, T> operator<(T t) const
|
|
{
|
|
using rhs = wrap_operand_t<T>;
|
|
check_rhs_comparison_operand_t<ValueType, rhs>::_();
|
|
|
|
return {*static_cast<const Expr*>(this), rhs{t}};
|
|
}
|
|
|
|
template <typename T>
|
|
_new_binary_expression_t<less_equal_t, T> operator<=(T t) const
|
|
{
|
|
using rhs = wrap_operand_t<T>;
|
|
check_rhs_comparison_operand_t<ValueType, rhs>::_();
|
|
|
|
return {*static_cast<const Expr*>(this), rhs{t}};
|
|
}
|
|
|
|
template <typename T>
|
|
_new_binary_expression_t<greater_than_t, T> operator>(T t) const
|
|
{
|
|
using rhs = wrap_operand_t<T>;
|
|
check_rhs_comparison_operand_t<ValueType, rhs>::_();
|
|
|
|
return {*static_cast<const Expr*>(this), rhs{t}};
|
|
}
|
|
|
|
template <typename T>
|
|
_new_binary_expression_t<greater_equal_t, T> operator>=(T t) const
|
|
{
|
|
using rhs = wrap_operand_t<T>;
|
|
check_rhs_comparison_operand_t<ValueType, rhs>::_();
|
|
|
|
return {*static_cast<const Expr*>(this), rhs{t}};
|
|
}
|
|
|
|
is_null_t<Expr> is_null() const
|
|
{
|
|
return {*static_cast<const Expr*>(this)};
|
|
}
|
|
|
|
is_not_null_t<Expr> is_not_null() const
|
|
{
|
|
return {*static_cast<const Expr*>(this)};
|
|
}
|
|
|
|
sort_order_t<Expr, sort_type::asc> asc() const
|
|
{
|
|
return {*static_cast<const Expr*>(this)};
|
|
}
|
|
|
|
sort_order_t<Expr, sort_type::desc> desc() const
|
|
{
|
|
return {*static_cast<const Expr*>(this)};
|
|
}
|
|
|
|
// Hint: use value_list wrapper for containers...
|
|
// workaround for msvs bug
|
|
// template <typename... T>
|
|
// _new_nary_expression_t<in_t, T...> in(T... t) const
|
|
// {
|
|
// check_rhs_in_arguments_t<ValueType, wrap_operand_t<T>...>::_();
|
|
// return {*static_cast<const Expr*>(this), wrap_operand_t<T>{t}...};
|
|
// }
|
|
template <typename... T>
|
|
typename _new_nary_expression<in_t, T...>::type in(T... t) const
|
|
{
|
|
check_rhs_in_arguments_t<ValueType, wrap_operand_t<T>...>::_();
|
|
return {*static_cast<const Expr*>(this), typename wrap_operand<T>::type{t}...};
|
|
}
|
|
|
|
// workaround for msvs bug
|
|
// template <typename... T>
|
|
// _new_nary_expression_t<not_in_t, T...> not_in(T... t) const
|
|
// {
|
|
// check_rhs_in_arguments_t<ValueType, wrap_operand_t<T>...>::_();
|
|
// return {*static_cast<const Expr*>(this), wrap_operand_t<T>{t}...};
|
|
// }
|
|
template <typename... T>
|
|
typename _new_nary_expression<not_in_t, T...>::type not_in(T... t) const
|
|
{
|
|
check_rhs_in_arguments_t<ValueType, wrap_operand_t<T>...>::_();
|
|
return {*static_cast<const Expr*>(this), typename wrap_operand<T>::type{t}...};
|
|
}
|
|
|
|
template <typename Defer = void>
|
|
auto operator not() const -> return_type_not_t<Expr, Defer>
|
|
{
|
|
return_type_not<Expr, Defer>::check::_();
|
|
return {*static_cast<const Expr*>(this)};
|
|
}
|
|
|
|
template <typename R>
|
|
auto operator and(const R& r) const -> return_type_and_t<Expr, R>
|
|
{
|
|
return_type_and<Expr, R>::check::_();
|
|
return {*static_cast<const Expr*>(this), wrap_operand_t<R>{r}};
|
|
}
|
|
|
|
template <typename R>
|
|
auto operator&(const R& r) const -> return_type_bitwise_and_t<Expr, R>
|
|
{
|
|
return_type_bitwise_and<Expr, R>::check::_();
|
|
return {*static_cast<const Expr*>(this), wrap_operand_t<R>{r}};
|
|
}
|
|
|
|
template <typename R>
|
|
auto operator|(const R& r) const -> return_type_bitwise_or_t<Expr, R>
|
|
{
|
|
return_type_bitwise_or<Expr, R>::check::_();
|
|
return {*static_cast<const Expr*>(this), wrap_operand_t<R>{r}};
|
|
}
|
|
|
|
template <typename R>
|
|
auto operator or(const R& r) const -> return_type_or_t<Expr, R>
|
|
{
|
|
return_type_or<Expr, R>::check::_();
|
|
return {*static_cast<const Expr*>(this), wrap_operand_t<R>{r}};
|
|
}
|
|
|
|
template <typename R>
|
|
auto operator+(const R& r) const -> return_type_plus_t<Expr, R>
|
|
{
|
|
return_type_plus<Expr, R>::check::_();
|
|
return {*static_cast<const Expr*>(this), wrap_operand_t<R>{r}};
|
|
}
|
|
|
|
template <typename R>
|
|
auto operator-(const R& r) const -> return_type_minus_t<Expr, R>
|
|
{
|
|
return_type_minus<Expr, R>::check::_();
|
|
return {*static_cast<const Expr*>(this), wrap_operand_t<R>{r}};
|
|
}
|
|
|
|
template <typename R>
|
|
auto operator*(const R& r) const -> return_type_multiplies_t<Expr, R>
|
|
{
|
|
return_type_multiplies<Expr, R>::check::_();
|
|
return {*static_cast<const Expr*>(this), wrap_operand_t<R>{r}};
|
|
}
|
|
|
|
template <typename R>
|
|
auto operator/(const R& r) const -> return_type_divides_t<Expr, R>
|
|
{
|
|
return_type_divides<Expr, R>::check::_();
|
|
return {*static_cast<const Expr*>(this), wrap_operand_t<R>{r}};
|
|
}
|
|
|
|
template <typename R>
|
|
auto operator%(const R& r) const -> return_type_modulus_t<Expr, R>
|
|
{
|
|
return_type_modulus<Expr, R>::check::_();
|
|
return {*static_cast<const Expr*>(this), wrap_operand_t<R>{r}};
|
|
}
|
|
|
|
template <typename Defer = void>
|
|
auto operator+() const -> return_type_unary_plus_t<Expr, Defer>
|
|
{
|
|
return_type_unary_plus<Expr, Defer>::check::_();
|
|
return {*static_cast<const Expr*>(this)};
|
|
}
|
|
|
|
template <typename Defer = void>
|
|
auto operator-() const -> return_type_unary_minus_t<Expr, Defer>
|
|
{
|
|
return_type_unary_minus<Expr, Defer>::check::_();
|
|
return {*static_cast<const Expr*>(this)};
|
|
}
|
|
};
|
|
}
|
|
|
|
#endif
|