操作符运算兼容
在将参数开关dolphin.b_compatibility_mode设置为on时,表示启用四则运算的MySQL兼容。相比于原始的openGauss,dolphin对于四则运算的修改主要为:
支持更多类型参与四则运算,具体如下:
- 数字类型:tinyint(unsigned)、smallint(unsigned)、integer(unsigned)、bigint(unsigned)、float4、float8、decimal/numeric以及bit。
- 字符串类型:char、varchar、binary、varbinary、tinyblob、blob、mediumblob、longblob、enum、set、json以及text(目前openGauss没有实际上的tinytext、mediumtext和longtext,因此不考虑)。
- 时间日期类型:date、datetime、timestamp、time、year。
一些原操作符返回值兼容MySQL,具体的兼容规则如下:
- 整型 X 整型:针对”+”、”-“、”*“这三个操作符,如果两个都是有符号的整型,则返回结果也是有符号的整型,否则返回无符号整型;针对”/“,其返回值为定点型(numeric类型)。
- 整型 X 定点型:针对”+”、”-“、”*“、”/“四则运算,返回定点型。注:openGauss定点数未实现无符号,所以无符号整型参与运算返回的结果均为有符号的。
- 整型 X 浮点型:针对”+”、”-“、”*“、”/“四则运算,返回浮点型。注:openGauss浮点数未实现无符号,所以无符号整型参与运算返回的结果均为有符号的。
- 定点型 X 定点型:针对”+”、”-“、”*“、”/“四则运算,返回定点型。
- 定点型 X 浮点型:针对”+”、”-“、”*“、”/“四则运算,返回浮点型。
- 浮点型 X 浮点型:针对”+”、”-“、”*“、”/“四则运算,返回浮点型。
基于上述规则,只需要运用字符串类型、时间类型等的类型转换规则,就可以推算出这些类型进行混合运算时的返回值,类型转换规则如下:
- 字符串类型:在进行四则运算是统一转换为浮点类型
- 时间日期类型:date固定转换为有符号整型,year固定转换为无符号整型;针对datetime、timestamp、time三个类型,如果没有指定typmod(表示毫秒和微秒)的话,就转换为有符号整型,否则会转换为一个定点数,其小数位数与指定的typmod相同。
示例:
测试用例:
create database test_db dbcompatibility 'B';
\c test_db
set dolphin.b_compatibility_mode to on;
-- 整型 X 整型
select 1::int4 + 1::int4;
select 1::int4 - 1::int4;
select 1::int4 * 1::int4;
select 1::int4 / 1::int4;
-- 整型 X 整型(带无符号)
select 1::int4 + 1::uint4;
select 1::int4 - 1::uint4;
select 1::int4 * 1::uint4;
select 1::int4 / 1::uint4;
-- 整型 X 定点型
select 1::int4 + 1::numeric;
select 1::int4 - 1::numeric;
select 1::int4 * 1::numeric;
select 1::int4 / 1::numeric;
-- 整型 X 浮点型
select 1::int4 + 1::float8;
select 1::int4 - 1::float8;
select 1::int4 * 1::float8;
select 1::int4 / 1::float8;
-- 定点型 X 浮点型
select 1::numeric + 1::float8;
select 1::numeric - 1::float8;
select 1::numeric * 1::float8;
select 1::numeric / 1::float8;
-- 整型 X 字符串
select 1::int4 + '1.23'::text;
select 1::int4 - '1.23'::text;
select 1::int4 * '1.23'::text;
select 1::int4 / '1.23'::text;
-- 整型 X 日期
select 1::int4 + '2022-01-01'::date;
select 1::int4 - '2022-01-01'::date;
select 1::int4 * '2022-01-01'::date;
select 1::int4 / '2022-01-01'::date;
-- 整型 X 时间(不带微秒)
select 1::int4 + '12:12:12'::time;
select 1::int4 - '12:12:12'::time;
select 1::int4 * '12:12:12'::time;
select 1::int4 / '12:12:12'::time;
-- 整型 X 时间(带微秒)
select 1::int4 + '12:12:12.36'::time(3);
select 1::int4 - '12:12:12.36'::time(3);
select 1::int4 * '12:12:12.36'::time(3);
select 1::int4 / '12:12:12.36'::time(3);
结果:
openGauss=# create database test_db dbcompatibility 'B';
CREATE DATABASE
openGauss=# \c test_db
test_db=# set dolphin.b_compatibility_mode to on;
SET
test_db=# -- 整型 X 整型
test_db=# select 1::int4 + 1::int4;
?column?
----------
2
(1 row)
test_db=# select 1::int4 - 1::int4;
?column?
----------
0
(1 row)
test_db=# select 1::int4 * 1::int4;
?column?
----------
1
(1 row)
test_db=# select 1::int4 / 1::int4;
?column?
------------------------
1.00000000000000000000
(1 row)
test_db=# -- 整型 X 整型(带无符号)
test_db=# select 1::int4 + 1::uint4;
?column?
----------
2
(1 row)
test_db=# select 1::int4 - 1::uint4;
?column?
----------
0
(1 row)
test_db=# select 1::int4 * 1::uint4;
?column?
----------
1
(1 row)
test_db=# select 1::int4 / 1::uint4;
?column?
------------------------
1.00000000000000000000
(1 row)
test_db=# -- 整型 X 定点型
test_db=# select 1::int4 + 1::numeric;
?column?
----------
2
(1 row)
test_db=# select 1::int4 - 1::numeric;
?column?
----------
0
(1 row)
test_db=# select 1::int4 * 1::numeric;
?column?
----------
1
(1 row)
test_db=# select 1::int4 / 1::numeric;
?column?
------------------------
1.00000000000000000000
(1 row)
test_db=# -- 整型 X 浮点型
test_db=# select 1::int4 + 1::float8;
?column?
----------
2
(1 row)
test_db=# select 1::int4 - 1::float8;
?column?
----------
0
(1 row)
test_db=# select 1::int4 * 1::float8;
?column?
----------
1
(1 row)
test_db=# select 1::int4 / 1::float8;
?column?
----------
1
(1 row)
test_db=# -- 定点型 X 浮点型
test_db=# select 1::numeric + 1::float8;
?column?
----------
2
(1 row)
test_db=# select 1::numeric - 1::float8;
?column?
----------
0
(1 row)
test_db=# select 1::numeric * 1::float8;
?column?
----------
1
(1 row)
test_db=# select 1::numeric / 1::float8;
?column?
----------
1
(1 row)
test_db=# -- 整型 X 字符串
test_db=# select 1::int4 + '1.23'::text;
?column?
----------
2.23
(1 row)
test_db=# select 1::int4 - '1.23'::text;
?column?
----------
-0.23
(1 row)
test_db=# select 1::int4 * '1.23'::text;
?column?
----------
1.23
(1 row)
test_db=# select 1::int4 / '1.23'::text;
?column?
-------------------
0.813008130081301
(1 row)
test_db=# -- 整型 X 日期
test_db=# select 1::int4 + '2022-01-01'::date;
?column?
----------
20220102
(1 row)
test_db=# select 1::int4 - '2022-01-01'::date;
?column?
-----------
-20220100
(1 row)
test_db=# select 1::int4 * '2022-01-01'::date;
?column?
----------
20220101
(1 row)
test_db=# select 1::int4 / '2022-01-01'::date;
?column?
----------------------------
0.000000049455737139987580
(1 row)
test_db=# -- 整型 X 时间(不带微秒)
test_db=# select 1::int4 + '12:12:12'::time;
?column?
----------
121213
(1 row)
test_db=# select 1::int4 - '12:12:12'::time;
?column?
----------
-121211
(1 row)
test_db=# select 1::int4 * '12:12:12'::time;
?column?
----------
121212
(1 row)
test_db=# select 1::int4 / '12:12:12'::time;
?column?
----------------------------
0.000008250008250008250008
(1 row)
test_db=# -- 整型 X 时间(带微秒)
test_db=# select 1::int4 + '12:12:12.36'::time(3);
?column?
---------------
121213.360000
(1 row)
test_db=# select 1::int4 - '12:12:12.36'::time(3);
?column?
----------------
-121211.360000
(1 row)
test_db=# select 1::int4 * '12:12:12.36'::time(3);
?column?
---------------
121212.360000
(1 row)
test_db=# select 1::int4 / '12:12:12.36'::time(3);
?column?
----------------------------
0.000008249983747532017362
(1 row)