mirror of
https://github.com/zerotier/ZeroTierOne.git
synced 2025-01-01 02:36:41 +00:00
be7ce4110e
This reverts commit e96515433d
.
562 lines
16 KiB
C++
562 lines
16 KiB
C++
/* Definitions for the pqxx::result class and support classes.
|
|
*
|
|
* pqxx::result represents the set of result rows from a database query.
|
|
*
|
|
* DO NOT INCLUDE THIS FILE DIRECTLY; include pqxx/result instead.
|
|
*
|
|
* Copyright (c) 2000-2022, Jeroen T. Vermeulen.
|
|
*
|
|
* See COPYING for copyright license. If you did not receive a file called
|
|
* COPYING with this source code, please notify the distributor of this
|
|
* mistake, or contact the author.
|
|
*/
|
|
#ifndef PQXX_H_ROW
|
|
#define PQXX_H_ROW
|
|
|
|
#if !defined(PQXX_HEADER_PRE)
|
|
# error "Include libpqxx headers as <pqxx/header>, not <pqxx/header.hxx>."
|
|
#endif
|
|
|
|
#include "pqxx/except.hxx"
|
|
#include "pqxx/field.hxx"
|
|
#include "pqxx/result.hxx"
|
|
|
|
#include "pqxx/internal/concat.hxx"
|
|
|
|
namespace pqxx::internal
|
|
{
|
|
template<typename... T> class result_iter;
|
|
} // namespace pqxx::internal
|
|
|
|
|
|
namespace pqxx
|
|
{
|
|
/// Reference to one row in a result.
|
|
/** A row represents one row (also called a row) in a query result set.
|
|
* It also acts as a container mapping column numbers or names to field
|
|
* values (see below):
|
|
*
|
|
* ```cxx
|
|
* cout << row["date"].c_str() << ": " << row["name"].c_str() << endl;
|
|
* ```
|
|
*
|
|
* The row itself acts like a (non-modifyable) container, complete with its
|
|
* own const_iterator and const_reverse_iterator.
|
|
*/
|
|
class PQXX_LIBEXPORT row
|
|
{
|
|
public:
|
|
using size_type = row_size_type;
|
|
using difference_type = row_difference_type;
|
|
using const_iterator = const_row_iterator;
|
|
using iterator = const_iterator;
|
|
using reference = field;
|
|
using pointer = const_row_iterator;
|
|
using const_reverse_iterator = const_reverse_row_iterator;
|
|
using reverse_iterator = const_reverse_iterator;
|
|
|
|
row() noexcept = default;
|
|
row(row &&) noexcept = default;
|
|
row(row const &) noexcept = default;
|
|
row &operator=(row const &) noexcept = default;
|
|
row &operator=(row &&) noexcept = default;
|
|
|
|
/**
|
|
* @name Comparison
|
|
*/
|
|
//@{
|
|
[[nodiscard]] PQXX_PURE bool operator==(row const &) const noexcept;
|
|
[[nodiscard]] bool operator!=(row const &rhs) const noexcept
|
|
{
|
|
return not operator==(rhs);
|
|
}
|
|
//@}
|
|
|
|
[[nodiscard]] const_iterator begin() const noexcept;
|
|
[[nodiscard]] const_iterator cbegin() const noexcept;
|
|
[[nodiscard]] const_iterator end() const noexcept;
|
|
[[nodiscard]] const_iterator cend() const noexcept;
|
|
|
|
/**
|
|
* @name Field access
|
|
*/
|
|
//@{
|
|
[[nodiscard]] reference front() const noexcept;
|
|
[[nodiscard]] reference back() const noexcept;
|
|
|
|
// TODO: noexcept. Breaks ABI.
|
|
[[nodiscard]] const_reverse_row_iterator rbegin() const;
|
|
// TODO: noexcept. Breaks ABI.
|
|
[[nodiscard]] const_reverse_row_iterator crbegin() const;
|
|
// TODO: noexcept. Breaks ABI.
|
|
[[nodiscard]] const_reverse_row_iterator rend() const;
|
|
// TODO: noexcept. Breaks ABI.
|
|
[[nodiscard]] const_reverse_row_iterator crend() const;
|
|
|
|
[[nodiscard]] reference operator[](size_type) const noexcept;
|
|
/** Address field by name.
|
|
* @warning This is much slower than indexing by number, or iterating.
|
|
*/
|
|
[[nodiscard]] reference operator[](zview col_name) const;
|
|
|
|
reference at(size_type) const;
|
|
/** Address field by name.
|
|
* @warning This is much slower than indexing by number, or iterating.
|
|
*/
|
|
reference at(zview col_name) const;
|
|
|
|
[[nodiscard]] constexpr size_type size() const noexcept
|
|
{
|
|
return m_end - m_begin;
|
|
}
|
|
|
|
[[deprecated("Swap iterators, not rows.")]] void swap(row &) noexcept;
|
|
|
|
/// Row number, assuming this is a real row and not end()/rend().
|
|
[[nodiscard]] constexpr result::size_type rownumber() const noexcept
|
|
{
|
|
return m_index;
|
|
}
|
|
|
|
/**
|
|
* @name Column information
|
|
*/
|
|
//@{
|
|
/// Number of given column (throws exception if it doesn't exist).
|
|
[[nodiscard]] size_type column_number(zview col_name) const;
|
|
|
|
/// Return a column's type.
|
|
[[nodiscard]] oid column_type(size_type) const;
|
|
|
|
/// Return a column's type.
|
|
[[nodiscard]] oid column_type(zview col_name) const
|
|
{
|
|
return column_type(column_number(col_name));
|
|
}
|
|
|
|
/// What table did this column come from?
|
|
[[nodiscard]] oid column_table(size_type col_num) const;
|
|
|
|
/// What table did this column come from?
|
|
[[nodiscard]] oid column_table(zview col_name) const
|
|
{
|
|
return column_table(column_number(col_name));
|
|
}
|
|
|
|
/// What column number in its table did this result column come from?
|
|
/** A meaningful answer can be given only if the column in question comes
|
|
* directly from a column in a table. If the column is computed in any
|
|
* other way, a logic_error will be thrown.
|
|
*
|
|
* @param col_num a zero-based column number in this result set
|
|
* @return a zero-based column number in originating table
|
|
*/
|
|
[[nodiscard]] size_type table_column(size_type) const;
|
|
|
|
/// What column number in its table did this result column come from?
|
|
[[nodiscard]] size_type table_column(zview col_name) const
|
|
{
|
|
return table_column(column_number(col_name));
|
|
}
|
|
//@}
|
|
|
|
[[nodiscard]] constexpr result::size_type num() const noexcept
|
|
{
|
|
return rownumber();
|
|
}
|
|
|
|
/** Produce a slice of this row, containing the given range of columns.
|
|
*
|
|
* @deprecated I haven't heard of anyone caring about row slicing at all in
|
|
* at least the last 15 years. Yet it adds complexity, so unless anyone
|
|
* files a bug explaining why they really need this feature, I'm going to
|
|
* remove it. Even if they do, the feature may need an update.
|
|
*
|
|
* The slice runs from the range's starting column to the range's end
|
|
* column, exclusive. It looks just like a normal result row, except
|
|
* slices can be empty.
|
|
*/
|
|
[[deprecated("Row slicing is going away. File a bug if you need it.")]] row
|
|
slice(size_type sbegin, size_type send) const;
|
|
|
|
/// Is this a row without fields? Can only happen to a slice.
|
|
[[nodiscard, deprecated("Row slicing is going away.")]] PQXX_PURE bool
|
|
empty() const noexcept;
|
|
|
|
/// Extract entire row's values into a tuple.
|
|
/** Converts to the types of the tuple's respective fields.
|
|
*/
|
|
template<typename Tuple> void to(Tuple &t) const
|
|
{
|
|
check_size(std::tuple_size_v<Tuple>);
|
|
convert(t);
|
|
}
|
|
|
|
template<typename... TYPE> std::tuple<TYPE...> as() const
|
|
{
|
|
check_size(sizeof...(TYPE));
|
|
using seq = std::make_index_sequence<sizeof...(TYPE)>;
|
|
return get_tuple<std::tuple<TYPE...>>(seq{});
|
|
}
|
|
|
|
protected:
|
|
friend class const_row_iterator;
|
|
friend class result;
|
|
row(result const &r, result_size_type index, size_type cols) noexcept;
|
|
|
|
/// Throw @ref usage_error if row size is not `expected`.
|
|
void check_size(size_type expected) const
|
|
{
|
|
if (size() != expected)
|
|
throw usage_error{internal::concat(
|
|
"Tried to extract ", expected, " field(s) from a row of ", size(),
|
|
".")};
|
|
}
|
|
|
|
/// Convert to a given tuple of values, don't check sizes.
|
|
/** We need this for cases where we have a full tuple of field types, but
|
|
* not a parameter pack.
|
|
*/
|
|
template<typename TUPLE> TUPLE as_tuple() const
|
|
{
|
|
using seq = std::make_index_sequence<std::tuple_size_v<TUPLE>>;
|
|
return get_tuple<TUPLE>(seq{});
|
|
}
|
|
|
|
template<typename... T> friend class pqxx::internal::result_iter;
|
|
/// Convert entire row to tuple fields, without checking row size.
|
|
template<typename Tuple> void convert(Tuple &t) const
|
|
{
|
|
extract_fields(t, std::make_index_sequence<std::tuple_size_v<Tuple>>{});
|
|
}
|
|
|
|
friend class field;
|
|
|
|
/// Result set of which this is one row.
|
|
result m_result;
|
|
|
|
/// Row number.
|
|
/**
|
|
* You'd expect this to be unsigned, but due to the way reverse iterators
|
|
* are related to regular iterators, it must be allowed to underflow to -1.
|
|
*/
|
|
result::size_type m_index = 0;
|
|
|
|
// TODO: Remove m_begin and (if possible) m_end when we remove slice().
|
|
/// First column in slice. This row ignores lower-numbered columns.
|
|
size_type m_begin = 0;
|
|
/// End column in slice. This row only sees lower-numbered columns.
|
|
size_type m_end = 0;
|
|
|
|
private:
|
|
template<typename Tuple, std::size_t... indexes>
|
|
void extract_fields(Tuple &t, std::index_sequence<indexes...>) const
|
|
{
|
|
(extract_value<Tuple, indexes>(t), ...);
|
|
}
|
|
|
|
template<typename Tuple, std::size_t index>
|
|
void extract_value(Tuple &t) const;
|
|
|
|
/// Convert row's values as a new tuple.
|
|
template<typename TUPLE, std::size_t... indexes>
|
|
auto get_tuple(std::index_sequence<indexes...>) const
|
|
{
|
|
return std::make_tuple(get_field<TUPLE, indexes>()...);
|
|
}
|
|
|
|
/// Extract and convert a field.
|
|
template<typename TUPLE, std::size_t index> auto get_field() const
|
|
{
|
|
return (*this)[index].as<std::tuple_element_t<index, TUPLE>>();
|
|
}
|
|
};
|
|
|
|
|
|
/// Iterator for fields in a row. Use as row::const_iterator.
|
|
class PQXX_LIBEXPORT const_row_iterator : public field
|
|
{
|
|
public:
|
|
using iterator_category = std::random_access_iterator_tag;
|
|
using value_type = field const;
|
|
using pointer = field const *;
|
|
using size_type = row_size_type;
|
|
using difference_type = row_difference_type;
|
|
using reference = field;
|
|
|
|
#include "pqxx/internal/ignore-deprecated-pre.hxx"
|
|
const_row_iterator() = default;
|
|
#include "pqxx/internal/ignore-deprecated-post.hxx"
|
|
const_row_iterator(row const &t, row_size_type c) noexcept :
|
|
field{t.m_result, t.m_index, c}
|
|
{}
|
|
const_row_iterator(field const &F) noexcept : field{F} {}
|
|
const_row_iterator(const_row_iterator const &) noexcept = default;
|
|
const_row_iterator(const_row_iterator &&) noexcept = default;
|
|
|
|
/**
|
|
* @name Dereferencing operators
|
|
*/
|
|
//@{
|
|
[[nodiscard]] constexpr pointer operator->() const noexcept { return this; }
|
|
[[nodiscard]] reference operator*() const noexcept { return {*this}; }
|
|
//@}
|
|
|
|
/**
|
|
* @name Manipulations
|
|
*/
|
|
//@{
|
|
const_row_iterator &operator=(const_row_iterator const &) noexcept = default;
|
|
const_row_iterator &operator=(const_row_iterator &&) noexcept = default;
|
|
|
|
// TODO: noexcept. Breaks ABI.
|
|
const_row_iterator operator++(int);
|
|
const_row_iterator &operator++() noexcept
|
|
{
|
|
++m_col;
|
|
return *this;
|
|
}
|
|
// TODO: noexcept. Breaks ABI.
|
|
const_row_iterator operator--(int);
|
|
const_row_iterator &operator--() noexcept
|
|
{
|
|
--m_col;
|
|
return *this;
|
|
}
|
|
|
|
const_row_iterator &operator+=(difference_type i) noexcept
|
|
{
|
|
m_col = size_type(difference_type(m_col) + i);
|
|
return *this;
|
|
}
|
|
const_row_iterator &operator-=(difference_type i) noexcept
|
|
{
|
|
m_col = size_type(difference_type(m_col) - i);
|
|
return *this;
|
|
}
|
|
//@}
|
|
|
|
/**
|
|
* @name Comparisons
|
|
*/
|
|
//@{
|
|
[[nodiscard]] constexpr bool
|
|
operator==(const_row_iterator const &i) const noexcept
|
|
{
|
|
return col() == i.col();
|
|
}
|
|
[[nodiscard]] constexpr bool
|
|
operator!=(const_row_iterator const &i) const noexcept
|
|
{
|
|
return col() != i.col();
|
|
}
|
|
[[nodiscard]] constexpr bool
|
|
operator<(const_row_iterator const &i) const noexcept
|
|
{
|
|
return col() < i.col();
|
|
}
|
|
[[nodiscard]] constexpr bool
|
|
operator<=(const_row_iterator const &i) const noexcept
|
|
{
|
|
return col() <= i.col();
|
|
}
|
|
[[nodiscard]] constexpr bool
|
|
operator>(const_row_iterator const &i) const noexcept
|
|
{
|
|
return col() > i.col();
|
|
}
|
|
[[nodiscard]] constexpr bool
|
|
operator>=(const_row_iterator const &i) const noexcept
|
|
{
|
|
return col() >= i.col();
|
|
}
|
|
//@}
|
|
|
|
/**
|
|
* @name Arithmetic operators
|
|
*/
|
|
//@{
|
|
[[nodiscard]] inline const_row_iterator
|
|
operator+(difference_type) const noexcept;
|
|
|
|
friend const_row_iterator
|
|
operator+(difference_type, const_row_iterator const &) noexcept;
|
|
|
|
[[nodiscard]] inline const_row_iterator
|
|
operator-(difference_type) const noexcept;
|
|
[[nodiscard]] inline difference_type
|
|
operator-(const_row_iterator const &) const noexcept;
|
|
//@}
|
|
};
|
|
|
|
|
|
/// Reverse iterator for a row. Use as row::const_reverse_iterator.
|
|
class PQXX_LIBEXPORT const_reverse_row_iterator : private const_row_iterator
|
|
{
|
|
public:
|
|
using super = const_row_iterator;
|
|
using iterator_type = const_row_iterator;
|
|
using iterator_type::difference_type;
|
|
using iterator_type::iterator_category;
|
|
using iterator_type::pointer;
|
|
using value_type = iterator_type::value_type;
|
|
using reference = iterator_type::reference;
|
|
|
|
const_reverse_row_iterator() noexcept = default;
|
|
const_reverse_row_iterator(const_reverse_row_iterator const &) noexcept =
|
|
default;
|
|
const_reverse_row_iterator(const_reverse_row_iterator &&) noexcept = default;
|
|
|
|
explicit const_reverse_row_iterator(super const &rhs) noexcept :
|
|
const_row_iterator{rhs}
|
|
{
|
|
super::operator--();
|
|
}
|
|
|
|
[[nodiscard]] PQXX_PURE iterator_type base() const noexcept;
|
|
|
|
/**
|
|
* @name Dereferencing operators
|
|
*/
|
|
//@{
|
|
using iterator_type::operator->;
|
|
using iterator_type::operator*;
|
|
//@}
|
|
|
|
/**
|
|
* @name Manipulations
|
|
*/
|
|
//@{
|
|
const_reverse_row_iterator &
|
|
operator=(const_reverse_row_iterator const &r) noexcept
|
|
{
|
|
iterator_type::operator=(r);
|
|
return *this;
|
|
}
|
|
const_reverse_row_iterator operator++() noexcept
|
|
{
|
|
iterator_type::operator--();
|
|
return *this;
|
|
}
|
|
// TODO: noexcept. Breaks ABI.
|
|
const_reverse_row_iterator operator++(int);
|
|
const_reverse_row_iterator &operator--() noexcept
|
|
{
|
|
iterator_type::operator++();
|
|
return *this;
|
|
}
|
|
const_reverse_row_iterator operator--(int);
|
|
// TODO: noexcept. Breaks ABI.
|
|
const_reverse_row_iterator &operator+=(difference_type i) noexcept
|
|
{
|
|
iterator_type::operator-=(i);
|
|
return *this;
|
|
}
|
|
const_reverse_row_iterator &operator-=(difference_type i) noexcept
|
|
{
|
|
iterator_type::operator+=(i);
|
|
return *this;
|
|
}
|
|
//@}
|
|
|
|
/**
|
|
* @name Arithmetic operators
|
|
*/
|
|
//@{
|
|
[[nodiscard]] const_reverse_row_iterator
|
|
operator+(difference_type i) const noexcept
|
|
{
|
|
return const_reverse_row_iterator{base() - i};
|
|
}
|
|
[[nodiscard]] const_reverse_row_iterator
|
|
operator-(difference_type i) noexcept
|
|
{
|
|
return const_reverse_row_iterator{base() + i};
|
|
}
|
|
[[nodiscard]] difference_type
|
|
operator-(const_reverse_row_iterator const &rhs) const noexcept
|
|
{
|
|
return rhs.const_row_iterator::operator-(*this);
|
|
}
|
|
//@}
|
|
|
|
/**
|
|
* @name Comparisons
|
|
*/
|
|
//@{
|
|
[[nodiscard]] bool
|
|
operator==(const_reverse_row_iterator const &rhs) const noexcept
|
|
{
|
|
return iterator_type::operator==(rhs);
|
|
}
|
|
[[nodiscard]] bool
|
|
operator!=(const_reverse_row_iterator const &rhs) const noexcept
|
|
{
|
|
return !operator==(rhs);
|
|
}
|
|
|
|
[[nodiscard]] constexpr bool
|
|
operator<(const_reverse_row_iterator const &rhs) const noexcept
|
|
{
|
|
return iterator_type::operator>(rhs);
|
|
}
|
|
[[nodiscard]] constexpr bool
|
|
operator<=(const_reverse_row_iterator const &rhs) const noexcept
|
|
{
|
|
return iterator_type::operator>=(rhs);
|
|
}
|
|
[[nodiscard]] constexpr bool
|
|
operator>(const_reverse_row_iterator const &rhs) const noexcept
|
|
{
|
|
return iterator_type::operator<(rhs);
|
|
}
|
|
[[nodiscard]] constexpr bool
|
|
operator>=(const_reverse_row_iterator const &rhs) const noexcept
|
|
{
|
|
return iterator_type::operator<=(rhs);
|
|
}
|
|
//@}
|
|
};
|
|
|
|
|
|
const_row_iterator
|
|
const_row_iterator::operator+(difference_type o) const noexcept
|
|
{
|
|
// TODO:: More direct route to home().columns()?
|
|
return {
|
|
row{home(), idx(), home().columns()},
|
|
size_type(difference_type(col()) + o)};
|
|
}
|
|
|
|
inline const_row_iterator operator+(
|
|
const_row_iterator::difference_type o, const_row_iterator const &i) noexcept
|
|
{
|
|
return i + o;
|
|
}
|
|
|
|
inline const_row_iterator
|
|
const_row_iterator::operator-(difference_type o) const noexcept
|
|
{
|
|
// TODO:: More direct route to home().columns()?
|
|
return {
|
|
row{home(), idx(), home().columns()},
|
|
size_type(difference_type(col()) - o)};
|
|
}
|
|
|
|
inline const_row_iterator::difference_type
|
|
const_row_iterator::operator-(const_row_iterator const &i) const noexcept
|
|
{
|
|
return difference_type(num() - i.num());
|
|
}
|
|
|
|
|
|
template<typename Tuple, std::size_t index>
|
|
inline void row::extract_value(Tuple &t) const
|
|
{
|
|
using field_type = strip_t<decltype(std::get<index>(t))>;
|
|
field const f{m_result, m_index, index};
|
|
std::get<index>(t) = from_string<field_type>(f);
|
|
}
|
|
} // namespace pqxx
|
|
#endif
|