Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat(compiler): Support subqueries in the FROM clause #3322

Open
wants to merge 5 commits into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 8 additions & 3 deletions internal/compiler/output_columns.go
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@ package compiler
import (
"errors"
"fmt"
"math/rand"

"github.com/sqlc-dev/sqlc/internal/sql/ast"
"github.com/sqlc-dev/sqlc/internal/sql/astutils"
Expand Down Expand Up @@ -596,10 +597,14 @@ func (c *Compiler) sourceTables(qc *QueryCatalog, node ast.Node) ([]*Table, erro
if err != nil {
return nil, err
}
rel := &ast.TableName{}
if n.Alias != nil && n.Alias.Aliasname != nil {
rel.Name = *n.Alias.Aliasname
} else {
rel.Name = fmt.Sprintf("unnamed_subquery_%d", rand.Int63())
}
tables = append(tables, &Table{
Rel: &ast.TableName{
Name: *n.Alias.Aliasname,
},
Rel: rel,
Columns: cols,
})

Expand Down
55 changes: 51 additions & 4 deletions internal/compiler/query_catalog.go
Original file line number Diff line number Diff line change
Expand Up @@ -2,33 +2,44 @@ package compiler

import (
"fmt"
"math/rand"

"github.com/sqlc-dev/sqlc/internal/sql/ast"
"github.com/sqlc-dev/sqlc/internal/sql/catalog"
"github.com/sqlc-dev/sqlc/internal/sql/rewrite"
)

type QueryCatalog struct {
catalog *catalog.Catalog
ctes map[string]*Table
embeds rewrite.EmbedSet
catalog *catalog.Catalog
ctes map[string]*Table
fromClauses map[string]*Table
embeds rewrite.EmbedSet
}

func (comp *Compiler) buildQueryCatalog(c *catalog.Catalog, node ast.Node, embeds rewrite.EmbedSet) (*QueryCatalog, error) {
var with *ast.WithClause
var from *ast.List
switch n := node.(type) {
case *ast.DeleteStmt:
with = n.WithClause
case *ast.InsertStmt:
with = n.WithClause
case *ast.UpdateStmt:
with = n.WithClause
from = n.FromClause
case *ast.SelectStmt:
with = n.WithClause
from = n.FromClause
default:
with = nil
from = nil
}
qc := &QueryCatalog{
catalog: c,
ctes: map[string]*Table{},
fromClauses: map[string]*Table{},
embeds: embeds,
}
qc := &QueryCatalog{catalog: c, ctes: map[string]*Table{}, embeds: embeds}
if with != nil {
for _, item := range with.Ctes.Items {
if cte, ok := item.(*ast.CommonTableExpr); ok {
Expand Down Expand Up @@ -60,6 +71,42 @@ func (comp *Compiler) buildQueryCatalog(c *catalog.Catalog, node ast.Node, embed
}
}
}
if from != nil {
for _, item := range from.Items {
if rs, ok := item.(*ast.RangeSubselect); ok {
cols, err := comp.outputColumns(qc, rs.Subquery)
if err != nil {
return nil, err
}
var names []string
if rs.Alias != nil && rs.Alias.Colnames != nil {
for _, item := range rs.Alias.Colnames.Items {
if val, ok := item.(*ast.String); ok {
names = append(names, val.Str)
} else {
names = append(names, "")
}
}
}
rel := &ast.TableName{}
if rs.Alias != nil && rs.Alias.Aliasname != nil {
rel.Name = *rs.Alias.Aliasname
} else {
rel.Name = fmt.Sprintf("unaliased_table_%d", rand.Int63())
}
for i := range cols {
cols[i].Table = rel
if len(names) > i {
cols[i].Name = names[i]
}
}
qc.fromClauses[rel.Name] = &Table{
Rel: rel,
Columns: cols,
}
}
}
}
return qc, nil
}

Expand Down
24 changes: 24 additions & 0 deletions internal/compiler/resolve.go
Original file line number Diff line number Diff line change
Expand Up @@ -80,6 +80,30 @@ func (comp *Compiler) resolveCatalogRefs(qc *QueryCatalog, rvs []*ast.RangeVar,
aliasMap[*rv.Alias.Aliasname] = fqn
}
}
if qc != nil {
for _, f := range qc.fromClauses {
catCols := make([]*catalog.Column, 0, len(f.Columns))
for _, col := range f.Columns {
catCols = append(catCols, &catalog.Column{
Name: col.Name,
Type: ast.TypeName{Name: col.DataType},
IsNotNull: col.NotNull,
IsUnsigned: col.Unsigned,
IsArray: col.IsArray,
ArrayDims: col.ArrayDims,
Comment: col.Comment,
Length: col.Length,
})
}

if err := indexTable(catalog.Table{
Rel: f.Rel,
Columns: catCols,
}); err != nil {
return nil, err
}
}
}

// resolve a table for an embed
for _, embed := range embeds {
Expand Down
81 changes: 81 additions & 0 deletions internal/endtoend/testdata/join_alias/mysql/go/query.sql.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 9 additions & 0 deletions internal/endtoend/testdata/join_alias/mysql/query.sql
Original file line number Diff line number Diff line change
Expand Up @@ -9,3 +9,12 @@ SELECT *
FROM foo f
JOIN bar b ON b.id = f.id
WHERE f.id = ?;

-- name: SubqueryAlias :many
SELECT * FROM (SELECT 1 AS n) AS x WHERE x.n <= ?;

-- name: ColumnAlias :many
SELECT * FROM (SELECT 1 AS n) WHERE n <= ?;

-- name: ColumnAndQueryAlias :many
SELECT * FROM (SELECT 1 AS n) AS x WHERE n <= ?;

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading