PostgreSQL如何解析表达式.

共计 4874 个字符，预计需要花费 13 分钟才能阅读完成。

本篇内容介绍了“PostgreSQL 如何解析表达式.”的有关知识，在实际案例的操作过程中，不少人都会遇到这样的困境，接下来就让丸趣 TV 小编带领大家学习一下如何处理这些情况吧！希望大家仔细阅读，能够学有所成！

SQL 样例脚本.

testdb=# select 1+id,c2 from t_expr where id   3;

一、数据结构

FmgrInfo
在函数通过 fmgr 调用前, 该结构体持有系统目录 (字典) 信息, 用于检索相关信息.
如果相同的函数将被调用多次, 检索只需要完成一次即可, 该结构体会缓存多次使用.

/*
 * This struct holds the system-catalog information that must be looked up
 * before a function can be called through fmgr. If the same function is
 * to be called multiple times, the lookup need be done only once and the
 * info struct saved for re-use.
 *  在函数通过 fmgr 调用前, 该结构体持有系统目录 (字典) 信息, 用于检索相关信息.
 *  如果相同的函数将被调用多次, 检索只需要完成一次即可, 该结构体会缓存多次使用.
 *
 * Note that fn_expr really is parse-time-determined information about the
 * arguments, rather than about the function itself. But it s convenient
 * to store it here rather than in FunctionCallInfoData, where it might more
 * logically belong.
 *  注意,fn_expr 实际上是关于参数的解析时确定的信息, 而不是函数自身.
 *  但 fn_expr 在这里存储而不是 FunctionCallInfoData 中存储, 因为从逻辑上来说, 它就应该属于那.
 *
 * fn_extra is available for use by the called function; all other fields
 * should be treated as read-only after the struct is created.
 * fn_extra 可用于被调用函数的使用; 所有其他字段应该在结构体创建后被处理为只读.
 */
typedef struct FmgrInfo
 // 指向函数或者将被调用的处理器
 PGFunction fn_addr; /* pointer to function or handler to be called */
 // 函数的 oid
 Oid fn_oid; /* OID of function (NOT of handler, if any) */
 // 输入参数的个数,0..FUNC_MAX_ARGS
 short fn_nargs; /* number of input args (0..FUNC_MAX_ARGS) */
 // 函数是否严格(strict), 输入 NULL, 输出 NULL
 bool fn_strict; /* function is  strict  (NULL in =  NULL out) */
 // 函数是否返回集合
 bool fn_retset; /* function returns a set */
 // 如 track_functions   this, 则收集统计信息
 unsigned char fn_stats; /* collect stats if track_functions   this */
 //handler 使用的额外空间
 void *fn_extra; /* extra space for use by handler */
 // 存储 fn_extra 的内存上下文
 MemoryContext fn_mcxt; /* memory context to store fn_extra in */
 // 表达式解析树, 或者为 NULL
 fmNodePtr fn_expr; /* expression parse tree for call, or NULL */
} FmgrInfo;
typedef struct Node *fmNodePtr;

FunctionCallInfoData
该结构体存储了实际传递给 fmgr-called 函数的参数

/*
 * This struct is the data actually passed to an fmgr-called function.
 *  该结构体存储了实际传递给 fmgr-called 函数的参数
 *
 * The called function is expected to set isnull, and possibly resultinfo or
 * fields in whatever resultinfo points to. It should not change any other
 * fields. (In particular, scribbling on the argument arrays is a bad idea,
 * since some callers assume they can re-call with the same arguments.)
 *  被调用的函数期望设置 isnull 以及可能的 resultinfo 或者 resultinfo 指向的域字段.
 *  不应该改变其他字段.
 * (特别的, 在参数数组上乱写是个坏主意, 因为某些调用者假定它们可以使用相同的参数重复调用)
 */
typedef struct FunctionCallInfoData
 // 指向该调用的检索信息
 FmgrInfo *flinfo; /* ptr to lookup info used for this call */
 // 调用上下文
 fmNodePtr context; /* pass info about context of call */
 // 传递或返回关于结果的特别信息
 fmNodePtr resultinfo; /* pass or return extra info about result */
 // 函数的 collation
 Oid fncollation; /* collation for function to use */
#define FIELDNO_FUNCTIONCALLINFODATA_ISNULL 4
 // 如结果为 NULL, 则必须设置为 T
 bool isnull; /* function must set true if result is NULL */
 // 实际传递的参数个数
 short nargs; /* # arguments actually passed */
#define FIELDNO_FUNCTIONCALLINFODATA_ARG 6
 // 传递给函数的参数
 Datum arg[FUNC_MAX_ARGS]; /* Arguments passed to function */
#define FIELDNO_FUNCTIONCALLINFODATA_ARGNULL 7
 // 如 arg[i]为 NULL, 则对应的值为 T
 bool argnull[FUNC_MAX_ARGS]; /* T if arg[i] is actually NULL */
} FunctionCallInfoData;
 * All functions that can be called directly by fmgr must have this signature.
 * (Other functions can be called by using a handler that does have this
 * signature.)
 *  所有函数可以通过 fmgr 直接调用, 但必须持有签名.
 * (其他函数可通过使用 handler 的方式调用, 也有此签名)
 */
typedef struct FunctionCallInfoData *FunctionCallInfo;

二、源码解读

ExecInterpExpr
ExecInterpExpr 中与表达式求值相关的代码片段如下:

EEO_CASE(EEOP_FUNCEXPR)
 {
 FunctionCallInfo fcinfo = op- d.func.fcinfo_data;
 Datum d;
 fcinfo- isnull = false;
 d = op- d.func.fn_addr(fcinfo);
 *op- resvalue = d;
 *op- resnull = fcinfo- isnull;
 EEO_NEXT();
 }

如为函数表达式, 则从 ExecInitFunc 初始化的步骤信息中获取统一的调用参数 fcinfo, 然后通过函数指针 (用于封装) 调用实际的函数进行表达式求值. 通过统一的参数, 统一的返回值, 做到了实现的统一, 体现了面向对象 OO 中多态的思想, 这再次说明了 OO 是思想, 用过程性语言一样可以实现.

int4pl
SQL 样例脚本相应的实现函数是 int4pl, 其实现代码如下:

Datum
int4pl(PG_FUNCTION_ARGS)
 int32 arg1 = PG_GETARG_INT32(0);
 int32 arg2 = PG_GETARG_INT32(1);
 int32 result;
 if (unlikely(pg_add_s32_overflow(arg1, arg2,  result)))
 ereport(ERROR,
 (errcode(ERRCODE_NUMERIC_VALUE_OUT_OF_RANGE),
 errmsg(integer out of range)));
 PG_RETURN_INT32(result);
 * If a + b overflows, return true, otherwise store the result of a + b into
 * *result. The content of *result is implementation defined in case of
 * overflow.
 */
static inline bool
pg_add_s32_overflow(int32 a, int32 b, int32 *result)
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
 return __builtin_add_overflow(a, b, result);
#else
 int64 res = (int64) a + (int64) b;
 if (res   PG_INT32_MAX || res   PG_INT32_MIN)
 {
 *result = 0x5EED; /* to avoid spurious warnings */
 return true;
 }
 *result = (int32) res;
 return false;
#endif
}

函数实现相对比较简单, 两个数简单相加, 如溢出则返回 T, 否则返回 F.

“PostgreSQL 如何解析表达式.”的内容就介绍到这里了，感谢大家的阅读。如果想了解更多行业相关的知识可以关注丸趣 TV 网站，丸趣 TV 小编将为大家输出更多高质量的实用文章！