分析openGauss包内集合类型的实现方法

2024-03-06 08:30
文章标签 分析 类型 实现 方法 集合 opengauss 包内

本文主要是介绍分析openGauss包内集合类型的实现方法，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

前言

Oracle中集合类型覆盖了Postgresql数组的功能，在Oracle用户中时非常常用的。

尤其是包内定义的集合类型，在SPEC定义后即可直接使用，scope也只在包在生效，使用非常灵活。

开源PG因为有数组没有实现这部分语法，下面对openGauss的包内集合类型实现方法做一些分析。

总结

  • 构造类型：plpgsql_build_tableType
  • 构造变量：build_array_type_from_elemtype
  • 一层嵌套var中没有nesttable
    • {1,2,3,4}直接存到var中。
  • 两层嵌套var中有nesttable，从nesttable构造子元素，然后插到var中。
    • nesttable构造{1,2,3}、nesttable构造{1,2}、nesttable构造{1,2,3,4,5}
    • 三个元素插入var中：{{1,2,3}, {1,2}, {1,2,3,4,5}}
  • 三层嵌套var中有两层nesttable
    • 最底层nesttable构造基础类型数组两个，例如{1,2,3,4,5}、{1,2}
    • 中间层包装最底层数组{ {1,2,3,4,5}、{1,2} }
    • 顶层包装中间层数组{ { {1,2,3,4,5}、{1,2} } }

在这里插入图片描述

底层用的还是PG的数组。核心逻辑都在evalSubsciptsNested函数附近。

用例

drop schema if exists pkg_val_1 cascade;
drop schema if exists pkg_val_2 cascade;create schema pkg_val_1;
create schema pkg_val_2;set current_schema = pkg_val_2;
set behavior_compat_options='allow_procedure_compile_check';--test package val assign
create or replace package pck1 is
type r3 is table of float;
vc r3;
type r4 is table of r3;
vd r4;
type r5 is table of r4;
ve r5;
end pck1;
/
create or replace package body pck1 is
end pck1;
/create or replace package pck2 is
ve int;
procedure p1;
end pck2;
/
create or replace package body pck2  is
procedure p1 as 
begin
pck1.vc(1) := 1;
pck1.vc(2) := 2 + pck1.vc(1);
pck1.vd(1) := pck1.vc;
pck1.vd(2) := pck1.vc;
pck1.ve(1) := pck1.vd;
raise info '% % % %', pck1.vc(1), pck1.vd(1)(1), pck1.vd(1)(1), pck1.ve(1)(1)(2);
end;
end pck2;
/
call pck2.p1();

3 pck1编译

create or replace package pck1 is
type r3 is table of float;
vc r3;
type r4 is table of r3;
vd r4;
type r5 is table of r4;
ve r5;
end pck1;
/

堆栈

CreatePackageCommandPackageSpecCreateplpgsql_package_validatorplpgsql_pkg_compiledo_pkg_compileplpgsql_yyparse

变量列表和PG的差异

区别openGaussPostgreSQL
变量数u_sess->plsql_cxt.curr_compile_context->plpgsql_nDatumsplpgsql_nDatums
变量列表u_sess->plsql_cxt.curr_compile_context->plpgsql_Datumsplpgsql_Datums
包变量数u_sess->plsql_cxt.curr_compile_context->plpgsql_pkg_nDatums无
包变量列表u_sess->plsql_cxt.curr_compile_context->plpgsql_Datums无

怎么区分编包函数编函数？

u_sess->plsql_cxt.curr_compile_context->plpgsql_curr_compileplpgsql_curr_compile非空则是编函数，使用u_sess->plsql_cxt.curr_compile_context->plpgsql_nDatumsu_sess->plsql_cxt.curr_compile_context->plpgsql_Datumsplpgsql_curr_compile空则是编包函数，使用u_sess->plsql_cxt.curr_compile_context->plpgsql_pkg_nDatumsu_sess->plsql_cxt.curr_compile_context->plpgsql_Datums注意变量列表是一套plpgsql_Datums

命名空间区别：

openGaussPostgreSQL
命名空间区别u_sess->plsql_cxt.curr_compile_context->ns_topns_top
命名空间结构体区别int itemtype;PLpgSQL_nsitem_type itemtype;
int itemno;int itemno;
struct PLpgSQL_nsitem* prev;struct PLpgSQL_nsitem *prev;
char name[FLEXIBLE_ARRAY_MEMBER];char name[FLEXIBLE_ARRAY_MEMBER];
char* pkgname;
char* schemaName;

3.1 pck1编译结果

  • 语法解析时走plpgsql_build_tableType函数构造类型。
  • 语法解析时走build_array_type_from_elemtype构造集合类型。

从编译结果来看：

  1. 一层嵌套表类型，只需要自己的datatype是_float8数组类型就ok了，参考下图中变量"vc"。
  2. 两层嵌套表类型，var会创建nest_table变量指向内层数组类型，参考下图中变量"vd"。
  3. 三层嵌套表类型，var会创建nest_table变量→nest_table变量，两层变量记录内层数组类型，参考下图中变量"ve"。

请添加图片描述

3.2 调用者pck2执行结果

create or replace package pck2 is
ve int;
procedure p1;
end pck2;
/
create or replace package body pck2  is
procedure p1 as 
begin
pck1.vc(1) := 1;
pck1.vc(2) := 2 + pck1.vc(1);
pck1.vd(1) := pck1.vc;
pck1.vd(2) := pck1.vc;
pck1.ve(1) := pck1.vd;
raise info '% % % %', pck1.vc(1), pck1.vd(1)(1), pck1.vd(1)(1), pck1.ve(1)(1)(2);
end;
end pck2;
/call pck2.p1();

pck1.vc(1) := 1;

PLpgSQL_stmt_assign

PLpgSQL_stmt_assign = { cmd_type = 1, lineno = 3, varno = 11, expr = {dtype = 7, dno = 0, query = "SELECT 1"}, sqlString = "pck1.vc(1) := 1;"
}

varno = 11 PLpgSQL_tableelem

PLpgSQL_tableelem = {dtype = 6, dno = 11, ispkg = false, subscript = {query = "SELECT 1"}, tableparentno = 10, parenttypoid = 0, parenttypmod = 0, tabletypoid = 0, tabletypmod = 0, tabletyplen = 0,elemtypoid = 0, elemtyplen = 0, elemtypbyval = false, elemtypalign = 0 '\000', assignattrno = -1, pkg_name = 0x0, pkg = 0x0
}

运行时exec_assign_expr

  1. 计算右值：exec_eval_expr得到1。
  2. 结果赋值：exec_assign_value，赋值中走PLPGSQL_DTYPE_TABLEELEM分支。通过tableparentno=10找到数组结构，然后往数组结构中赋值即可。

pck1.vc(2) := 2 + pck1.vc(1);

PLpgSQL_stmt_assign

PLpgSQL_stmt_assign = { cmd_type = 1, lineno = 4, varno = 12, expr = {dtype = 7, dno = 0, query = "SELECT 2 + pck1.vc[1]"}, sqlString = "pck1.vc(2) := 2 + pck1.vc(1);"
}

varno = 12 PLpgSQL_tableelem

PLpgSQL_tableelem = {dtype = 6, dno = 12, ispkg = false, subscript = {query = "SELECT 2"}, tableparentno = 10, parenttypoid = 0, parenttypmod = 0, tabletypoid = 0, tabletypmod = 0, tabletyplen = 0,elemtypoid = 0, elemtyplen = 0, elemtypbyval = false, elemtypalign = 0 '\000', assignattrno = -1, pkg_name = 0x0, pkg = 0x0
}

运行时：和上述类似。

pck1.vd(1) := pck1.vc;

PLpgSQL_stmt_assign

PLpgSQL_stmt_assign = { cmd_type = 1, lineno = 5, varno = 14, expr = {dtype = 7, dno = 0, query = "SELECT pck1.vc"}, sqlString = "pck1.vd(1) := pck1.vc;"
}

varno = 14 PLpgSQL_tableelem

PLpgSQL_tableelem = {dtype = 6, dno = 14, ispkg = false, subscript = {query = "SELECT 1"}, tableparentno = 13, parenttypoid = 0, parenttypmod = 0, tabletypoid = 0, tabletypmod = 0, tabletyplen = 0,elemtypoid = 0, elemtyplen = 0, elemtypbyval = false, elemtypalign = 0 '\000', assignattrno = -1, pkg_name = 0x0, pkg = 0x0
}

运行时：

  1. 右值计算：exec_eval_expr拿到vc数组。
  2. 左值计算：exec_assign_value进入PLPGSQL_DTYPE_TABLEELEM。开始找数组target
    • 1 找到的目标数组是{dtype = 0, dno = 3, refname = 'vd'}，然后找到nested_table指向的{dtype = 0, dno = 9, ispkg = true, refname = "vd_nest"}
    • 2 这里会递归进入exec_assign_value，这次的目标是dno=9的vd_nest。
    • 3 把值赋给dno=9的vd_nest。

总结

在这里插入图片描述

这篇关于分析openGauss包内集合类型的实现方法的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/779422。

相关文章

Linux下删除乱码文件和目录的实现方式

Linux下删除乱码文件和目录的实现方式

《Linux下删除乱码文件和目录的实现方式》：本文主要介绍Linux下删除乱码文件和目录的实现方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录linux下删除乱码文件和目录方法1方法2总结Linux下删除乱码文件和目录方法1使用ls -i命令找到文件或目录
阅读更多...
MySQL中的LENGTH()函数用法详解与实例分析

MySQL中的LENGTH()函数用法详解与实例分析

《MySQL中的LENGTH()函数用法详解与实例分析》MySQLLENGTH()函数用于计算字符串的字节长度,区别于CHAR_LENGTH()的字符长度,适用于多字节字符集（如UTF-8）的数据验证... 目录1. LENGTH()函数的基本语法2. LENGTH()函数的返回值2.1 示例1：计算字符串
阅读更多...
SpringBoot+EasyExcel实现自定义复杂样式导入导出

SpringBoot+EasyExcel实现自定义复杂样式导入导出

《SpringBoot+EasyExcel实现自定义复杂样式导入导出》这篇文章主要为大家详细介绍了SpringBoot如何结果EasyExcel实现自定义复杂样式导入导出功能,文中的示例代码讲解详细,... 目录安装处理自定义导出复杂场景1、列不固定，动态列2、动态下拉3、自定义锁定行/列，添加密码4、合并
阅读更多...
mybatis执行insert返回id实现详解

mybatis执行insert返回id实现详解

《mybatis执行insert返回id实现详解》MyBatis插入操作默认返回受影响行数,需通过useGeneratedKeys+keyProperty或selectKey获取主键ID,确保主键为自... 目录 两种方式获取自增 ID：1. ​​useGeneratedKeys+keyProperty（推
阅读更多...
Spring Boot集成Druid实现数据源管理与监控的详细步骤

Spring Boot集成Druid实现数据源管理与监控的详细步骤

《SpringBoot集成Druid实现数据源管理与监控的详细步骤》本文介绍如何在SpringBoot项目中集成Druid数据库连接池,包括环境搭建、Maven依赖配置、SpringBoot配置文件... 目录1. 引言1.1 环境准备1.2 Druid介绍2. 配置Druid连接池3. 查看Druid监控
阅读更多...
Linux在线解压jar包的实现方式

Linux在线解压jar包的实现方式

《Linux在线解压jar包的实现方式》：本文主要介绍Linux在线解压jar包的实现方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录linux在线解压jar包解压 jar包的步骤总结Linux在线解压jar包在 Centos 中解压 jar 包可以使用 u
阅读更多...
Java中读取YAML文件配置信息常见问题及解决方法

Java中读取YAML文件配置信息常见问题及解决方法

《Java中读取YAML文件配置信息常见问题及解决方法》：本文主要介绍Java中读取YAML文件配置信息常见问题及解决方法,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要... 目录1 使用Spring Boot的@ConfigurationProperties2. 使用@Valu
阅读更多...
Android kotlin中 Channel 和 Flow 的区别和选择使用场景分析

Android kotlin中 Channel 和 Flow 的区别和选择使用场景分析

《Androidkotlin中Channel和Flow的区别和选择使用场景分析》Kotlin协程中,Flow是冷数据流,按需触发,适合响应式数据处理；Channel是热数据流,持续发送,支持... 目录一、基本概念界定FlowChannel二、核心特性对比数据生产触发条件生产与消费的关系背压处理机制生命周期
阅读更多...
c++ 类成员变量默认初始值的实现

c++ 类成员变量默认初始值的实现

《c++类成员变量默认初始值的实现》本文主要介绍了c++类成员变量默认初始值,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录C++类成员变量初始化c++类的变量的初始化在C++中，如果使用类成员变量时未给定其初始值，那么它将被
阅读更多...
Java中的数组与集合基本用法详解

Java中的数组与集合基本用法详解

《Java中的数组与集合基本用法详解》本文介绍了Java数组和集合框架的基础知识,数组部分涵盖了一维、二维及多维数组的声明、初始化、访问与遍历方法,以及Arrays类的常用操作,对Java数组与集合相... 目录一、Java数组基础1.1 数组结构概述1.2 一维数组1.2.1 声明与初始化1.2.2 访问
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2