fix(binder): insert column count validation (#111)

* fix(binder): insert column count validation

* fix(binder): values length check

When column names are not specified, the length of values ​​cannot exceed the number of columns of the table.
When column names are specified, values ​​need to be the same length to given column names.

src/binder/insert.rs

@@ -26,9 +26,13 @@ impl<'a, T: Transaction> Binder<'a, T> {
 
         if let Some(table) = self.context.table(table_name.clone()) {
             let mut columns = Vec::new();
+            let values_len = expr_rows[0].len();
 
             if idents.is_empty() {
                 columns = table.all_columns();
+                if values_len > columns.len() {
+                    return Err(BindError::ValuesLenMismatch(columns.len(), values_len));
+                }
             } else {
                 let bind_table_name = Some(table_name.to_string());
                 for ident in idents {
@@ -40,9 +44,15 @@ impl<'a, T: Transaction> Binder<'a, T> {
                         _ => unreachable!(),
                     }
                 }
+                if values_len != columns.len() {
+                    return Err(BindError::ValuesLenMismatch(columns.len(), values_len));
+                }
             }
             let mut rows = Vec::with_capacity(expr_rows.len());
             for expr_row in expr_rows {
+                if expr_row.len() != values_len {
+                    return Err(BindError::ValuesLenNotSame());
+                }
                 let mut row = Vec::with_capacity(expr_row.len());
 
                 for (i, expr) in expr_row.iter().enumerate() {

src/binder/mod.rs

@@ -219,6 +219,10 @@ pub enum BindError {
     InvalidColumn(String),
     #[error("ambiguous column {0}")]
     AmbiguousColumn(String),
+    #[error("values length not match, expect {0}, got {1}")]
+    ValuesLenMismatch(usize, usize),
+    #[error("values list must all be the same length")]
+    ValuesLenNotSame(),
     #[error("binary operator types mismatch: {0} != {1}")]
     BinaryOpTypeMismatch(String, String),
     #[error("subquery error: {0}")]