/* Copyright (c) 2006, 2024, Oracle and/or its affiliates. This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License, version 2.0, as published by the Free Software Foundation. This program is designed to work with certain software (including but not limited to OpenSSL) that is licensed under separate terms, as designated in a particular file or component or in included license documentation. The authors of MySQL hereby grant you an additional permission to link the program and your derivative works with the separately licensed software that they have either included with the program or referenced in the documentation. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License, version 2.0, for more details. You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA */ #ifndef SQL_INSERT_INCLUDED #define SQL_INSERT_INCLUDED #include #include #include "mem_root_deque.h" #include "my_inttypes.h" #include "my_sqlcommand.h" #include "sql/query_result.h" // Query_result_interceptor #include "sql/sql_cmd_dml.h" // Sql_cmd_dml #include "sql/sql_data_change.h" // enum_duplicates #include "sql/table.h" #include "sql/thr_malloc.h" class Alter_info; class Field; class Item; class Query_expression; class Select_lex_visitor; class THD; struct HA_CREATE_INFO; struct handlerton; struct MYSQL_LEX_CSTRING; struct MY_BITMAP; using List_item = mem_root_deque; struct MYSQL_LOCK; bool check_that_all_fields_are_given_values(THD *thd, TABLE *entry, Table_ref *table_list); void prepare_triggers_for_insert_stmt(THD *thd, TABLE *table); bool write_record(THD *thd, TABLE *table, COPY_INFO *info, COPY_INFO *update); bool validate_default_values_of_unset_fields(THD *thd, TABLE *table); class Query_result_insert : public Query_result_interceptor { public: /// The table used for insertion of rows Table_ref *table_list; TABLE *table{nullptr}; private: /** The columns of the table to be inserted into, *or* the columns of the table from which values are selected. For legacy reasons both are allowed. */ mem_root_deque *fields; protected: /// ha_start_bulk_insert has been called. Never cleared. bool bulk_insert_started{false}; public: ulonglong autoinc_value_of_last_inserted_row{0}; // autogenerated or not COPY_INFO info; COPY_INFO update; ///< the UPDATE part of "info" bool insert_into_view; /** Creates a Query_result_insert for routing a result set to an existing table. @param table_list_par The table reference for the destination table. @param target_columns See details. @param target_or_source_columns See details. @param update_fields The columns to be updated in case of duplicate keys. May be NULL. @param update_values The values to be assigned in case of duplicate keys. May be NULL. @param duplic The policy for handling duplicates. @todo This constructor takes 8 arguments, 6 of which are used to immediately construct a COPY_INFO object. Obviously the constructor should take the COPY_INFO object as argument instead. Also, some Query_result_insert members initialized here are totally redundant, as they are found inside the COPY_INFO. The target_columns and target_or_source_columns arguments are set by callers as follows: @li if CREATE SELECT: - target_columns == NULL, - target_or_source_columns == expressions listed after SELECT, as in CREATE ... SELECT expressions @li if INSERT SELECT: target_columns == target_or_source_columns == columns listed between INSERT and SELECT, as in INSERT INTO t (columns) SELECT ... We set the manage_defaults argument of info's constructor as follows ([...] denotes something optional): @li If target_columns==NULL, the statement is @verbatim CREATE TABLE a_table [(columns1)] SELECT expressions2 @endverbatim so 'info' must manage defaults of columns1. @li Otherwise it is: @verbatim INSERT INTO a_table [(columns1)] SELECT ... @endverbatim target_columns is columns1, if not empty then 'info' must manage defaults of other columns than columns1. */ Query_result_insert(Table_ref *table_list_par, mem_root_deque *target_columns, mem_root_deque *target_or_source_columns, mem_root_deque *update_fields, mem_root_deque *update_values, enum_duplicates duplic) : Query_result_interceptor(), table_list(table_list_par), fields(target_or_source_columns), info(COPY_INFO::INSERT_OPERATION, target_columns, // manage_defaults (target_columns == nullptr || !target_columns->empty()), duplic), update(COPY_INFO::UPDATE_OPERATION, update_fields, update_values), insert_into_view(table_list_par && table_list_par->is_view()) { assert(target_or_source_columns != nullptr); assert(target_columns == target_or_source_columns || target_columns == nullptr); } public: bool need_explain_interceptor() const override { return true; } bool prepare(THD *thd, const mem_root_deque &list, Query_expression *u) override; bool start_execution(THD *thd) override; bool send_data(THD *thd, const mem_root_deque &items) override; virtual void store_values(THD *thd, const mem_root_deque &values); bool send_eof(THD *thd) override; void abort_result_set(THD *thd) override; void cleanup() override; private: /** Indicates whether this statement should be written to binary log's transactional cache in statement mode. */ virtual bool stmt_binlog_is_trans() const; }; /** @todo This class inherits a class which is non-abstract. This is not in line with good programming practices and the inheritance should be broken up. */ class Query_result_create final : public Query_result_insert { /// Handle for table to be created Table_ref *create_table; /// Contains further information for table creation HA_CREATE_INFO *create_info{nullptr}; /// Contains further information for table creation Alter_info *alter_info{nullptr}; Field **field; /// List of tables that are select from Table_ref *select_tables; /// Pointer to first field in table generated from query expression Field **table_fields{nullptr}; /// lock data for tmp table MYSQL_LOCK *m_lock{nullptr}; /// m_lock or thd->extra_lock MYSQL_LOCK **m_plock{nullptr}; /** If table being created has SE supporting atomic DDL, pointer to SE's handlerton object to be used for calling SE post-DDL hook, nullptr - otherwise. */ handlerton *m_post_ddl_ht{nullptr}; public: Query_result_create(Table_ref *create_table_arg, mem_root_deque *fields, enum_duplicates duplic, Table_ref *select_tables_arg); bool prepare(THD *thd, const mem_root_deque &list, Query_expression *u) override; void store_values(THD *thd, const mem_root_deque &values) override; bool send_eof(THD *thd) override; void abort_result_set(THD *thd) override; bool create_table_for_query_block(THD *thd) override; bool start_execution(THD *thd) override; void set_two_fields(HA_CREATE_INFO *create_info_arg, Alter_info *alter_info_arg) { create_info = create_info_arg; alter_info = alter_info_arg; } private: bool stmt_binlog_is_trans() const override; int binlog_show_create_table(THD *thd); void drop_open_table(THD *thd); }; /** Base class for all INSERT and REPLACE statements. Abstract class that is inherited by Sql_cmd_insert_values and Sql_cmd_insert_select. */ class Sql_cmd_insert_base : public Sql_cmd_dml { protected: bool precheck(THD *thd) override; bool check_privileges(THD *thd) override; bool prepare_inner(THD *thd) override; bool restore_cmd_properties(THD *thd) override; private: bool resolve_update_expressions(THD *thd); bool prepare_values_table(THD *thd); bool resolve_values_table_columns(THD *thd); bool get_default_columns(THD *thd, TABLE *table, MY_BITMAP **m_function_default_columns); protected: /// true when REPLACE statement, false when INSERT statement const bool is_replace; public: /** Field list to insert/replace One of two things: 1. For the INSERT/REPLACE ... (col1, ... colN) VALUES ... syntax this is a list of col1, ..., colN fields. 2. For the INSERT/REPLACE ... SET col1=x1, ... colM=xM syntax extension this is a list of col1, ... colM fields as well. */ mem_root_deque insert_field_list; /** Row data to insert/replace One of two things: 1. For the INSERT/REPLACE ... VALUES (row1), (row2), ... (rowN) syntax the list contains N List_item lists: one List_item per row. 2. For the INSERT/REPLACE ... SET col1=x1, ... colM=xM syntax extension this list contains only 1 List_item of M data values: this way we emulate this syntax: INSERT/REPLACE ... (col1, ... colM) VALUE (x1, ..., xM); */ mem_root_deque insert_many_values; /// True if VALUES clause contain column references that need privilege check bool values_need_privilege_check{false}; /// Number of columns in original insert column list uint column_count; /// Number of values per row in insert_many_values, available after resolving uint value_count; /// ON DUPLICATE KEY UPDATE field list mem_root_deque update_field_list; /// ON DUPLICATE KEY UPDATE data value list mem_root_deque update_value_list; /** ON DUPLICATE KEY UPDATE reference to VALUES.. as a derived table. */ Table_ref *values_table{nullptr}; Create_col_name_list *values_column_list{nullptr}; /** Field list for VALUES derived table. If no insert_field exists (e.g. INSERT INTO t0 ..), we have to create one to create Item_insert_values for ODKU statements. */ mem_root_deque values_field_list; const enum_duplicates duplicates; explicit Sql_cmd_insert_base(bool is_replace_arg, enum_duplicates duplicates_arg) : is_replace(is_replace_arg), insert_field_list(*THR_MALLOC), insert_many_values(*THR_MALLOC), column_count(0), value_count(0), update_field_list(*THR_MALLOC), update_value_list(*THR_MALLOC), values_field_list(*THR_MALLOC), duplicates(duplicates_arg) {} bool accept(THD *thd, Select_lex_visitor *visitor) override; }; /** Class that implements INSERT ... VALUES and REPLACE ... VALUES statements. */ class Sql_cmd_insert_values : public Sql_cmd_insert_base { public: explicit Sql_cmd_insert_values(bool is_replace_arg, enum_duplicates duplicates_arg) : Sql_cmd_insert_base(is_replace_arg, duplicates_arg) {} enum_sql_command sql_command_code() const override { return is_replace ? SQLCOM_REPLACE : SQLCOM_INSERT; } bool is_single_table_plan() const override { return true; } protected: bool execute_inner(THD *thd) override; }; /** Class that implements INSERT ... SELECT and REPLACE ... SELECT statements. */ class Sql_cmd_insert_select : public Sql_cmd_insert_base { public: explicit Sql_cmd_insert_select(bool is_replace_arg, enum_duplicates duplicates_arg) : Sql_cmd_insert_base(is_replace_arg, duplicates_arg) {} enum_sql_command sql_command_code() const override { return is_replace ? SQLCOM_REPLACE_SELECT : SQLCOM_INSERT_SELECT; } const MYSQL_LEX_CSTRING *eligible_secondary_storage_engine( THD *thd) const override; }; #endif /* SQL_INSERT_INCLUDED */