mirror of
https://github.com/rbock/sqlpp11.git
synced 2024-11-16 12:51:13 +08:00
85 lines
3.4 KiB
C++
85 lines
3.4 KiB
C++
#pragma once
|
|
|
|
/*
|
|
* 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.
|
|
*/
|
|
|
|
#include <sqlpp11/type_traits.h>
|
|
|
|
namespace sqlpp
|
|
{
|
|
template <typename NameType, typename ValueType, bool CanBeNull>
|
|
struct field_spec_t
|
|
{
|
|
using _traits = make_traits<ValueType,
|
|
tag::is_noop,
|
|
tag_if<tag::can_be_null, CanBeNull>>;
|
|
using _nodes = detail::type_vector<>;
|
|
|
|
using _alias_t = NameType;
|
|
};
|
|
|
|
template <typename Left, typename Right, typename Enable = void>
|
|
struct is_field_compatible
|
|
{
|
|
static constexpr auto value = false;
|
|
};
|
|
|
|
template <typename LeftName,
|
|
typename LeftValue,
|
|
bool LeftCanBeNull,
|
|
typename RightName,
|
|
typename RightValue,
|
|
bool RightCanBeNull>
|
|
struct is_field_compatible<field_spec_t<LeftName, LeftValue, LeftCanBeNull>,
|
|
field_spec_t<RightName, RightValue, RightCanBeNull>>
|
|
{
|
|
static constexpr auto value =
|
|
std::is_same<typename LeftName::_name_t, typename RightName::_name_t>::value and
|
|
std::is_same<LeftValue, RightValue>::value and // Same value type
|
|
(LeftCanBeNull or !RightCanBeNull); // The left hand side determines the result row and therefore must allow
|
|
// NULL if the right hand side allows it
|
|
};
|
|
|
|
namespace detail
|
|
{
|
|
template <typename Select, typename NamedExpr>
|
|
struct make_field_spec_impl
|
|
{
|
|
static constexpr bool _can_be_null = can_be_null_t<NamedExpr>::value;
|
|
static constexpr bool _depends_on_outer_table =
|
|
detail::make_intersect_set_t<required_tables_of<NamedExpr>,
|
|
typename Select::_used_outer_tables>::size::value > 0;
|
|
|
|
using type = field_spec_t<typename NamedExpr::_alias_t,
|
|
value_type_of<NamedExpr>,
|
|
logic::any_t<_can_be_null, _depends_on_outer_table>::value>;
|
|
};
|
|
} // namespace detail
|
|
|
|
template <typename Select, typename NamedExpr>
|
|
using make_field_spec_t = typename detail::make_field_spec_impl<Select, NamedExpr>::type;
|
|
} // namespace sqlpp
|