这个 SPI 用法的示例演示了可见性规则。在 src/test/regress/regress.c 和 contrib/spi 中还有更复杂的示例。

这是一个非常简单的 SPI 用法示例。过程 execq 的第一个参数接受一条 SQL 查询，第二个参数接受 tcount，它使用 SPI_exec 执行该查询，并返回该查询所处理的元组数：

#include "executor/spi.h"   /* this is what you need to work with SPI */

int execq(text *sql, int cnt);

int
execq(text *sql, int cnt)
{
    char *query;
    int ret;
    int proc;

    /* Convert given TEXT object to a C string */
    query = DatumGetCString(DirectFunctionCall1(textout,
                                                PointerGetDatum(sql)));

    SPI_connect();
    
    ret = SPI_exec(query, cnt);
    
    proc = SPI_processed;
    /*
     * If this is SELECT and some tuple(s) fetched -
     * returns tuples to the caller via elog (INFO).
     */
    if ( ret == SPI_OK_SELECT && SPI_processed > 0 )
    {
        TupleDesc tupdesc = SPI_tuptable->tupdesc;
        SPITupleTable *tuptable = SPI_tuptable;
        char buf[8192];
        int i,j;
        
        for (j = 0; j < proc; j++)
        {
            HeapTuple tuple = tuptable->vals[j];
            
            for (i = 1, buf[0] = 0; i <= tupdesc->natts; i++)
                snprintf(buf + strlen (buf), sizeof(buf) - strlen(buf)," %s%s",
                        SPI_getvalue(tuple, tupdesc, i),
                        (i == tupdesc->natts) ? " " : " |");
            elog (INFO, "EXECQ: %s", buf);
        }
    }

    SPI_finish();

    pfree(query);

    return (proc);
}

现在，编译并创建该函数：

CREATE FUNCTION execq (text, integer) RETURNS integer
    AS '...path_to_so'
    LANGUAGE C;

vac=> SELECT execq('CREATE TABLE a (x INTEGER)', 0);
execq
-----
    0
(1 row)

vac=> INSERT INTO a VALUES (execq('INSERT INTO a VALUES (0)',0));
INSERT 167631 1
vac=> SELECT execq('SELECT * FROM a',0);
INFO:  EXECQ:  0 <<< 由 execq 插入

INFO:  EXECQ:  1 <<< 由 execq 返回并被外层 INSERT 插入的值

execq
-----
    2
(1 row)

vac=> SELECT execq('INSERT INTO a SELECT x + 2 FROM a',1);
execq
-----
    1
(1 row)

vac=> SELECT execq('SELECT * FROM a', 10);
INFO:  EXECQ:  0 

INFO:  EXECQ:  1 

INFO:  EXECQ:  2 <<< 0 + 2，只插入了一个元组 —— 正如所指定的那样

execq
-----
    3            <<< 10 只是最大值，3 才是实际的元组数
(1 row)

vac=> DELETE FROM a;
DELETE 3
vac=> INSERT INTO a VALUES (execq('SELECT * FROM a', 0) + 1);
INSERT 167712 1
vac=> SELECT * FROM a;
x
-
1                <<< a 中没有元组（0）+ 1
(1 row)

vac=> INSERT INTO a VALUES (execq('SELECT * FROM a', 0) + 1);
INFO:  EXECQ:  0 
INSERT 167713 1
vac=> SELECT * FROM a;
x
-
1
2                <<< a 中原先只有一个元组 + 1
(2 rows)

--   这演示了数据更改可见性规则：

vac=> INSERT INTO a SELECT execq('SELECT * FROM a', 0) * x FROM a;
INFO:  EXECQ:  1 
INFO:  EXECQ:  2 
INFO:  EXECQ:  1 
INFO:  EXECQ:  2 
INFO:  EXECQ:  2 
INSERT 0 2
vac=> SELECT * FROM a;
x
-
1
2
2                <<< 2 个元组 * 1（第一个元组中的 x）
6                <<< 3 个元组（刚插入的 2 + 1）* 2（第二个元组中的 x）
(4 rows)             ^^^^^^^^ 
                     execq() 在不同调用中可见的元组