libpqxx  7.1.2
transaction_base.hxx
1 /* Common code and definitions for the transaction classes.
2  *
3  * pqxx::transaction_base defines the interface for any abstract class that
4  * represents a database transaction.
5  *
6  * DO NOT INCLUDE THIS FILE DIRECTLY; include pqxx/transaction_base instead.
7  *
8  * Copyright (c) 2000-2020, Jeroen T. Vermeulen.
9  *
10  * See COPYING for copyright license. If you did not receive a file called
11  * COPYING with this source code, please notify the distributor of this
12  * mistake, or contact the author.
13  */
14 #ifndef PQXX_H_TRANSACTION_BASE
15 #define PQXX_H_TRANSACTION_BASE
16 
17 #include "pqxx/compiler-public.hxx"
18 #include "pqxx/internal/compiler-internal-pre.hxx"
19 
20 #include <string_view>
21 
22 /* End-user programs need not include this file, unless they define their own
23  * transaction classes. This is not something the typical program should want
24  * to do.
25  *
26  * However, reading this file is worthwhile because it defines the public
27  * interface for the available transaction classes such as transaction and
28  * nontransaction.
29  */
30 
31 #include "pqxx/connection.hxx"
32 #include "pqxx/internal/encoding_group.hxx"
33 #include "pqxx/isolation.hxx"
34 #include "pqxx/result.hxx"
35 #include "pqxx/row.hxx"
36 #include "pqxx/stream_from.hxx"
37 
38 namespace pqxx::internal::gate
39 {
40 class transaction_subtransaction;
41 class transaction_sql_cursor;
42 class transaction_stream_to;
43 class transaction_transactionfocus;
44 } // namespace pqxx::internal::gate
45 
46 
47 namespace pqxx
48 {
61 
67 class PQXX_LIBEXPORT PQXX_NOVTABLE transaction_base
68  : public virtual internal::namedclass
69 {
70 public:
71  transaction_base() = delete;
72  transaction_base(transaction_base const &) = delete;
73  transaction_base &operator=(transaction_base const &) = delete;
74 
75  virtual ~transaction_base() = 0;
76 
78 
90  void commit();
91 
93 
96  void abort();
97 
102  [[nodiscard]] std::string esc(char const text[]) const
104  {
105  return conn().esc(text);
106  }
108  [[nodiscard]] std::string esc(char const text[], std::size_t maxlen) const
109  {
110  return conn().esc(text, maxlen);
111  }
113  [[nodiscard]] std::string esc(std::string const &text) const
114  {
115  return conn().esc(text);
116  }
118  [[nodiscard]] std::string esc(std::string_view text) const
119  {
120  return conn().esc(text);
121  }
122 
124 
135  [[nodiscard]] std::string
136  esc_raw(unsigned char const data[], std::size_t len) const
137  {
138  return conn().esc_raw(data, len);
139  }
141  [[nodiscard]] std::string esc_raw(std::string const &) const;
142 
144 
147  [[nodiscard]] std::string unesc_raw(std::string const &text) const
148  {
149  return conn().unesc_raw(text);
150  }
151 
153 
156  [[nodiscard]] std::string unesc_raw(char const *text) const
157  {
158  return conn().unesc_raw(text);
159  }
160 
162 
163  template<typename T>[[nodiscard]] std::string quote(T const &t) const
164  {
165  return conn().quote(t);
166  }
167 
169  [[nodiscard]] std::string
170  quote_raw(unsigned char const bin[], std::size_t len) const
171  {
172  return conn().quote_raw(bin, len);
173  }
174 
175  [[nodiscard]] std::string quote_raw(std::string const &bin) const;
176 
178  [[nodiscard]] std::string quote_name(std::string_view identifier) const
179  {
180  return conn().quote_name(identifier);
181  }
182 
184  [[nodiscard]] std::string
185  esc_like(std::string const &bin, char escape_char = '\\') const
186  {
187  return conn().esc_like(bin, escape_char);
188  }
190 
192 
206  result exec(std::string_view query, std::string const &desc = std::string{});
207 
208  result
209  exec(std::stringstream const &query, std::string const &desc = std::string{})
210  {
211  return exec(query.str(), desc);
212  }
213 
215 
220  result
221  exec0(std::string const &query, std::string const &desc = std::string{})
222  {
223  return exec_n(0, query, desc);
224  }
225 
227 
233  row exec1(std::string const &query, std::string const &desc = std::string{})
234  {
235  return exec_n(1, query, desc).front();
236  }
237 
239 
244  result exec_n(
245  result::size_type rows, std::string const &query,
246  std::string const &desc = std::string{});
247 
249  template<typename TYPE>
251  std::string const &query, std::string const &desc = std::string{})
252  {
253  row const r{exec1(query, desc)};
254  if (r.size() != 1)
255  throw usage_error{
256  "Queried single value from result with " + to_string(r.size()) +
257  " columns."};
258  return r[0].as<TYPE>();
259  }
260 
262 
301  template<typename... TYPE>[[nodiscard]] auto stream(std::string_view query)
302  {
303  return pqxx::internal::owning_stream_input_iteration<TYPE...>{
304  std::make_unique<pqxx::stream_from>(*this, from_query_t{}, query)};
305  }
306 
336  template<typename... Args>
338  result exec_params(std::string const &query, Args &&... args)
339  {
340  return internal_exec_params(
341  query, internal::params(std::forward<Args>(args)...));
342  }
343 
344  // Execute parameterised statement, expect a single-row result.
347  template<typename... Args>
348  row exec_params1(std::string const &query, Args &&... args)
349  {
350  return exec_params_n(1, query, std::forward<Args>(args)...).front();
351  }
352 
353  // Execute parameterised statement, expect a result with zero rows.
356  template<typename... Args>
357  result exec_params0(std::string const &query, Args &&... args)
358  {
359  return exec_params_n(0, query, std::forward<Args>(args)...);
360  }
361 
362  // Execute parameterised statement, expect exactly a given number of rows.
365  template<typename... Args>
366  result
367  exec_params_n(std::size_t rows, std::string const &query, Args &&... args)
368  {
369  auto const r{exec_params(query, std::forward<Args>(args)...)};
370  check_rowcount_params(rows, r.size());
371  return r;
372  }
374 
402 
404  template<typename... Args>
405  result exec_prepared(std::string const &statement, Args &&... args)
406  {
407  return internal_exec_prepared(
408  zview{statement.c_str(), statement.size()},
409  internal::params(std::forward<Args>(args)...));
410  }
411 
412  template<typename... Args>
413  result exec_prepared(zview statement, Args &&... args)
414  {
415  return internal_exec_prepared(
416  statement, internal::params(std::forward<Args>(args)...));
417  }
418 
420 
422  template<typename... Args>
423  row exec_prepared1(std::string const &statement, Args &&... args)
424  {
425  return exec_prepared_n(1, statement, std::forward<Args>(args)...).front();
426  }
427 
428  template<typename... Args>
429  row exec_prepared1(zview statement, Args &&... args)
430  {
431  return exec_prepared_n(1, statement, std::forward<Args>(args)...).front();
432  }
433 
435 
437  template<typename... Args>
438  result exec_prepared0(std::string const &statement, Args &&... args)
439  {
440  return exec_prepared_n(0, statement, std::forward<Args>(args)...);
441  }
442 
443  template<typename... Args>
444  result exec_prepared0(zview statement, Args &&... args)
445  {
446  return exec_prepared_n(0, statement, std::forward<Args>(args)...);
447  }
448 
450 
453  template<typename... Args>
455  result::size_type rows, std::string const &statement, Args &&... args)
456  {
457  auto const r{exec_prepared(statement, std::forward<Args>(args)...)};
458  check_rowcount_prepared(statement, rows, r.size());
459  return r;
460  }
461 
462  template<typename... Args>
463  result
464  exec_prepared_n(result::size_type rows, zview statement, Args &&... args)
465  {
466  auto const r{exec_prepared(statement, std::forward<Args>(args)...)};
467  check_rowcount_prepared(statement, rows, r.size());
468  return r;
469  }
470 
472 
477  void process_notice(char const msg[]) const { m_conn.process_notice(msg); }
480  void process_notice(std::string const &msg) const
481  {
482  m_conn.process_notice(msg);
483  }
485 
487  [[nodiscard]] connection &conn() const { return m_conn; }
488 
490 
500  void set_variable(std::string_view var, std::string_view value);
501 
503 
506  std::string get_variable(std::string_view);
507 
508 protected:
510 
513  explicit transaction_base(connection &c);
514 
516  void register_transaction();
517 
519  void close() noexcept;
520 
522  virtual void do_commit() = 0;
524  virtual void do_abort() = 0;
525 
526  // For use by implementing class:
527 
529  result direct_exec(std::string_view);
530  result direct_exec(std::shared_ptr<std::string>);
531 
532 private:
533  enum class status
534  {
535  nascent,
536  active,
537  aborted,
538  committed,
539  in_doubt
540  };
541 
542  PQXX_PRIVATE void check_pending_error();
543 
544  template<typename T> bool parm_is_null(T *p) const noexcept
545  {
546  return p == nullptr;
547  }
548  template<typename T> bool parm_is_null(T) const noexcept { return false; }
549 
550  result internal_exec_prepared(zview statement, internal::params const &args);
551 
552  result
553  internal_exec_params(std::string const &query, internal::params const &args);
554 
556  void check_rowcount_prepared(
557  std::string const &statement, result::size_type expected_rows,
558  result::size_type actual_rows);
559 
561  void
562  check_rowcount_params(std::size_t expected_rows, std::size_t actual_rows);
563 
564  friend class pqxx::internal::gate::transaction_transactionfocus;
565  PQXX_PRIVATE void register_focus(internal::transactionfocus *);
566  PQXX_PRIVATE void unregister_focus(internal::transactionfocus *) noexcept;
567  PQXX_PRIVATE void register_pending_error(std::string const &) noexcept;
568 
569  connection &m_conn;
570 
572  status m_status = status::active;
573  bool m_registered = false;
574  std::string m_pending_error;
575 };
576 } // namespace pqxx
577 
578 
579 namespace pqxx::internal
580 {
582 template<pqxx::isolation_level isolation, pqxx::write_policy rw>
583 extern const zview begin_cmd;
584 
585 // These are not static members, so "constexpr" does not imply "inline".
586 template<>
587 inline constexpr zview begin_cmd<read_committed, write_policy::read_write>{
588  "BEGIN"};
589 template<>
590 inline constexpr zview begin_cmd<read_committed, write_policy::read_only>{
591  "BEGIN READ ONLY"};
592 template<>
593 inline constexpr zview begin_cmd<repeatable_read, write_policy::read_write>{
594  "BEGIN ISOLATION LEVEL REPEATABLE READ"};
595 template<>
596 inline constexpr zview begin_cmd<repeatable_read, write_policy::read_only>{
597  "BEGIN ISOLATION LEVEL REPEATABLE READ READ ONLY"};
598 template<>
599 inline constexpr zview begin_cmd<serializable, write_policy::read_write>{
600  "BEGIN ISOLATION LEVEL SERIALIZABLE"};
601 template<>
602 inline constexpr zview begin_cmd<serializable, write_policy::read_only>{
603  "BEGIN ISOLATION LEVEL SERIALIZABLE READ ONLY"};
604 } // namespace pqxx::internal
605 
606 #include "pqxx/internal/compiler-internal-post.hxx"
607 #endif
result exec0(std::string const &query, std::string const &desc=std::string{})
Execute query, which should zero rows of data.
Definition: transaction_base.hxx:221
result exec_prepared0(std::string const &statement, Args &&... args)
Execute a prepared statement, and expect a result with zero rows.
Definition: transaction_base.hxx:438
const zview begin_cmd
The SQL command for starting a given type of transaction.
connection & conn() const
The connection in which this transaction lives.
Definition: transaction_base.hxx:487
Private namespace for libpqxx&#39;s internal use; do not access.
Definition: connection.hxx:60
constexpr char const * c_str() const noexcept
Either a null pointer, or a zero-terminated text buffer.
Definition: zview.hxx:53
Reference to one row in a result.
Definition: row.hxx:43
std::string esc_like(std::string const &bin, char escape_char='\\') const
Escape string for literal LIKE match.
Definition: transaction_base.hxx:185
result exec_prepared(zview statement, Args &&... args)
Definition: transaction_base.hxx:413
std::string esc(std::string const &text) const
Escape string for use as SQL string literal in this transaction.
Definition: transaction_base.hxx:113
std::string esc(char const text[], std::size_t maxlen) const
Escape string for use as SQL string literal in this transaction.
Definition: transaction_base.hxx:108
void process_notice(std::string const &msg) const
Have connection process a warning message.
Definition: transaction_base.hxx:480
result exec_params(std::string const &query, Args &&... args)
Execute an SQL statement with parameters.
Definition: transaction_base.hxx:338
std::string unesc_raw(char const *text) const
Unescape binary data, e.g. from a table field or notification payload.
Definition: transaction_base.hxx:156
result exec_prepared_n(result::size_type rows, std::string const &statement, Args &&... args)
Execute a prepared statement, expect a result with given number of rows.
Definition: transaction_base.hxx:454
std::string to_string(field const &value)
Convert a field to a string.
Definition: result.cxx:498
result exec_params_n(std::size_t rows, std::string const &query, Args &&... args)
Definition: transaction_base.hxx:367
result exec(std::stringstream const &query, std::string const &desc=std::string{})
Definition: transaction_base.hxx:209
result exec_prepared(std::string const &statement, Args &&... args)
Execute a prepared statement, with optional arguments.
Definition: transaction_base.hxx:405
The home of all libpqxx classes, functions, templates, etc.
Definition: array.hxx:25
Connection to a database.
Definition: connection.hxx:136
std::string unesc_raw(std::string const &text) const
Unescape binary data, e.g. from a table field or notification payload.
Definition: transaction_base.hxx:147
row exec_params1(std::string const &query, Args &&... args)
Definition: transaction_base.hxx:348
row exec1(std::string const &query, std::string const &desc=std::string{})
Execute query returning a single row of data.
Definition: transaction_base.hxx:233
result exec_params0(std::string const &query, Args &&... args)
Definition: transaction_base.hxx:357
Helper base class: object descriptions for error messages and such.
Definition: util.hxx:216
auto stream(std::string_view query)
Execute a query, and loop over the results row by row.
Definition: transaction_base.hxx:301
row exec_prepared1(zview statement, Args &&... args)
Definition: transaction_base.hxx:429
reference front() const noexcept
Definition: row.cxx:54
std::string esc_raw(unsigned char const data[], std::size_t len) const
Escape binary data for use as SQL string literal in this transaction.
Definition: transaction_base.hxx:136
std::string quote_raw(unsigned char const bin[], std::size_t len) const
Binary-escape and quote a binarystring for use as an SQL constant.
Definition: transaction_base.hxx:170
result exec_prepared_n(result::size_type rows, zview statement, Args &&... args)
Definition: transaction_base.hxx:464
TYPE query_value(std::string const &query, std::string const &desc=std::string{})
Execute query, expecting exactly 1 row with 1 field.
Definition: transaction_base.hxx:250
std::string quote_name(std::string_view identifier) const
Escape an SQL identifier for use in a query.
Definition: transaction_base.hxx:178
Definition: connection.hxx:66
Result set containing data returned by a query or command.
Definition: result.hxx:70
Marker-type wrapper: zero-terminated std::string_view.
Definition: zview.hxx:32
result_size_type size_type
Definition: result.hxx:73
Interface definition (and common code) for "transaction" classes.
Definition: transaction_base.hxx:67
Error in usage of libpqxx library, similar to std::logic_error.
Definition: except.hxx:165
std::string esc(std::string_view text) const
Escape string for use as SQL string literal in this transaction.
Definition: transaction_base.hxx:118
row exec_prepared1(std::string const &statement, Args &&... args)
Execute a prepared statement, and expect a single-row result.
Definition: transaction_base.hxx:423
result exec_prepared0(zview statement, Args &&... args)
Definition: transaction_base.hxx:444
Marker for stream_from constructors: "stream from query.".
Definition: types.hxx:59
std::string quote(T const &t) const
Represent object as SQL string, including quoting & escaping.
Definition: transaction_base.hxx:163