我创建了一个自定义类型gp来模拟 DND 5e 货币系统。我在gp.c中定义了自定义输入和输出函数：

#include "postgres.h"
#include <string.h>
#include "fmgr.h"
#include <stdio.h>
#ifdef PG_MODULE_MAGIC
PG_MODULE_MAGIC;
#endif
static const char* inputFormat = " %i %s2 ";
static const char* invalidFormat = "invalid input syntax for gp: \"%s\"";
PG_FUNCTION_INFO_V1(gp_input);
Datum gp_input(PG_FUNCTION_ARGS) {
    char* raw = PG_GETARG_CSTRING(0);
    int32 amt;
    char unit[3];
    if (sscanf(raw, inputFormat, &amt, &unit[0]) != 2) {
        ereport(ERROR, (errcode(ERRCODE_INVALID_TEXT_REPRESENTATION), errmsg(invalidFormat, raw)));
    }
    switch(unit[1]) {
        case 'p':
            break;
        default:
            ereport(ERROR, (errcode(ERRCODE_INVALID_TEXT_REPRESENTATION), errmsg(invalidFormat, raw)));
    }
    switch(unit[0]) {
        case 'c':
            break;
        case 's':
            amt *= 10;
            break;
        case 'e':
            amt *= 50;
            break;
        case 'g':
            amt *= 100;
            break;
        case 'p':
            amt *= 1000;
            break;
        default:
            ereport(ERROR, (errcode(ERRCODE_INVALID_TEXT_REPRESENTATION), errmsg(invalidFormat, raw)));
    }
    int32* result = (int32*)palloc(sizeof(int32));
    *result = amt;
    PG_RETURN_POINTER(result);
}
PG_FUNCTION_INFO_V1(gp_output);
Datum gp_output(PG_FUNCTION_ARGS) {
    int32* raw = (int32*)PG_GETARG_POINTER(0);
    int32 val = *raw;
    unsigned int bufsz = sizeof(unsigned char)*9 + 2;// allow up to 999999999[pgsc]p
    char* buf = (char*) palloc(bufsz+1); // +1 b/c '\0'
    if (val >= 10 && val % 10 == 0) {
        val /= 10;
        if (val >= 10 && val % 10 == 0) {
            val /= 10;
            if (val >= 10 && val % 10 == 0) {
                val /= 10;
                if (sprintf(buf, "%", val) <= 0) {
                    ereport(ERROR, (errcode(ERRCODE_UNTRANSLATABLE_CHARACTER), errmsg("Bad value for gp")));
                }
            }
            else {
                if (sprintf(buf, "%dgp", val) <= 0) {
                    ereport(ERROR, (errcode(ERRCODE_UNTRANSLATABLE_CHARACTER), errmsg("Bad value for gp")));
                }
            }
        }
        else {
            if (sprintf(buf, "%dsp", val) <= 0) {
                ereport(ERROR, (errcode(ERRCODE_UNTRANSLATABLE_CHARACTER), errmsg("Bad value for gp")));
            }
        }
    }
    else {
        if (sprintf(buf, "%dcp", val) <= 0) {
            ereport(ERROR, (errcode(ERRCODE_UNTRANSLATABLE_CHARACTER), errmsg("Bad value for gp")));
        }
    }
    PG_RETURN_CSTRING(buf);
}

我知道我没有检查数字是否越界或存储的值是否适合缓冲区,但我还没有遇到这个问题。我的问题是 postgres 似乎正在编辑,在某些情况下我正在存储的值。我有这个测试 SQL 文件:

DROP TYPE IF EXISTS gp CASCADE;
DROP TABLE IF EXISTS test;
CREATE TYPE gp;
CREATE FUNCTION gp_input(cstring) RETURNS gp AS '$libdir/gp.so' LANGUAGE C IMMUTABLE STRICT;
CREATE FUNCTION gp_output(gp) RETURNS cstring AS '$libdir/gp.so' LANGUAGE C IMMUTABLE STRICT;
CREATE TYPE gp (input=gp_input, output=gp_output);
CREATE TABLE test (val gp);
INSERT INTO test VALUES ('12sp'), ('100gp'), ('1000cp'), ('101cp');
SELECT * FROM test;
INSERT INTO test VALUES ('101sp');

该SELECT的输出是：

  val  
-------
 12sp
 10pp
 1pp
 212cp
(4 rows)

因此，我们可以看到，除了最后一个之外，所有的值都被正确存储和表示：101cp被存储为指向int32值212的指针。使用ereport警告，我能够确定在输入函数的返回之前，result指向正确的值：101。

但现在真正奇怪的部分;最后INSERT崩溃客户端。在解析该 gp 值时，它会打印错误：

psql:./gptest.sql:15: ERROR:  compressed data is corrupted
LINE 1: INSERT INTO test VALUES ('101sp');
                                 ^

这个总是值101sp发生，不管表状态或任何其他值在它旁边插入。使用ereport警告，我能够在返回语句之前看到，result指向正确的值：1010。这也意味着崩溃发生在返回宏扩展或一些底层代码中。

所以我真的不知道发生了什么。我正在做palloc所以覆盖内存不应该被允许，并且我想不出任何原因包含101的值总是有问题-以及不同的问题取决于单位。int32应该能够存储我正在测试的小值，所以它不是这样。Idk 如果这是如何实现的palloc