36.13. User-Defined Types#
As described inSection 36.2,PostgreSQL can be extended to support new data types. This section describes how to define new base types, which are data types defined below the level of theSQL language. Creating a new base type requires implementing functions to operate on the type in a low-level language, usually C. The examples in this section can be found in A user-defined type must always have input and output functions. These functions determine how the type appears in strings (for input by the user and output to the user) and how the type is organized in memory. The input function takes a null-terminated character string as its argument and returns the internal (in memory) representation of the type. The output function takes the internal representation of the type as argument and returns a null-terminated character string. If we want to do anything more with the type than merely store it, we must provide additional functions to implement whatever operations we'd like to have for the type. Suppose we want to define a type We will need to make this a pass-by-reference type, since it's too large to fit into a single As the external string representation of the type, we choose a string of the form The input and output functions are usually not hard to write, especially the output function. But when defining the external string representation of the type, remember that you must eventually write a complete and robust parser for that representation as your input function. For instance: The output function can simply be: You should be careful to make the input and output functions inverses of each other. If you do not, you will have severe problems when you need to dump your data into a file and then read it back in. This is a particularly common problem when floating-point numbers are involved. Optionally, a user-defined type can provide binary input and output routines. Binary I/O is normally faster but less portable than textual I/O. As with textual I/O, it is up to you to define exactly what the external binary representation is. Most of the built-in data types try to provide a machine-independent binary representation. For Once we have written the I/O functions and compiled them into a shared library, we can define the This serves as a placeholder that allows us to reference the type while defining its I/O functions. Now we can define the I/O functions: Finally, we can provide the full definition of the data type: When you define a new base type,PostgreSQL automatically provides support for arrays of that type. The array type typically has the same name as the base type with the underscore character ( Once the data type exists, we can declare additional functions to provide useful operations on the data type. Operators can then be defined atop the functions, and if needed, operator classes can be created to support indexing of the data type. These additional layers are discussed in following sections. If the internal representation of the data type is variable-length, the internal representation must follow the standard layout for variable-length data: the first four bytes must be a For further details see the description of theCREATE TYPE command. If the values of your data type vary in size (in internal form), it's usually desirable to make the data typeTOAST-able (seeSection 65.2). You should do this even if the values are always too small to be compressed or stored externally, becauseTOAST can save space on small data too, by reducing header overhead. To supportTOAST storage, the C functions operating on the data type must always be careful to unpack any toasted values they are handed by using If data alignment is unimportant (either just for a specific function or because the data type specifies byte alignment anyway) then it's possible to avoid some of the overhead of Older code frequently declarescomplex.sql
andcomplex.c
in thesrc/tutorial
directory of the source distribution. See theREADME
file in that directory for instructions about running the examples.complex
that represents complex numbers. A natural way to represent a complex number in memory would be the following C structure:typedef struct Complex { double x; double y;} Complex;
Datum
value.(x,y)
.PG_FUNCTION_INFO_V1(complex_in);Datumcomplex_in(PG_FUNCTION_ARGS){ char *str = PG_GETARG_CSTRING(0); double x, y; Complex *result; if (sscanf(str, " ( %lf , %lf )", &x, &y) != 2) ereport(ERROR, (errcode(ERRCODE_INVALID_TEXT_REPRESENTATION), errmsg("invalid input syntax for type %s: \"%s\"", "complex", str))); result = (Complex *) palloc(sizeof(Complex)); result->x = x; result->y = y; PG_RETURN_POINTER(result);}
PG_FUNCTION_INFO_V1(complex_out);Datumcomplex_out(PG_FUNCTION_ARGS){ Complex *complex = (Complex *) PG_GETARG_POINTER(0); char *result; result = psprintf("(%g,%g)", complex->x, complex->y); PG_RETURN_CSTRING(result);}
complex
, we will piggy-back on the binary I/O converters for typefloat8
:PG_FUNCTION_INFO_V1(complex_recv);Datumcomplex_recv(PG_FUNCTION_ARGS){ StringInfo buf = (StringInfo) PG_GETARG_POINTER(0); Complex *result; result = (Complex *) palloc(sizeof(Complex)); result->x = pq_getmsgfloat8(buf); result->y = pq_getmsgfloat8(buf); PG_RETURN_POINTER(result);}PG_FUNCTION_INFO_V1(complex_send);Datumcomplex_send(PG_FUNCTION_ARGS){ Complex *complex = (Complex *) PG_GETARG_POINTER(0); StringInfoData buf; pq_begintypsend(&buf); pq_sendfloat8(&buf, complex->x); pq_sendfloat8(&buf, complex->y); PG_RETURN_BYTEA_P(pq_endtypsend(&buf));}
complex
type in SQL. First we declare it as a shell type:CREATE TYPE complex;
CREATE FUNCTION complex_in(cstring) RETURNS complex AS '
filename
' LANGUAGE C IMMUTABLE STRICT;CREATE FUNCTION complex_out(complex) RETURNS cstring AS 'filename
' LANGUAGE C IMMUTABLE STRICT;CREATE FUNCTION complex_recv(internal) RETURNS complex AS 'filename
' LANGUAGE C IMMUTABLE STRICT;CREATE FUNCTION complex_send(complex) RETURNS bytea AS 'filename
' LANGUAGE C IMMUTABLE STRICT;CREATE TYPE complex ( internallength = 16, input = complex_in, output = complex_out, receive = complex_recv, send = complex_send, alignment = double);
_
) prepended.char[4]
field which is never accessed directly (customarily namedvl_len_
). You must use theSET_VARSIZE()
macro to store the total size of the datum (including the length field itself) in this field andVARSIZE()
to retrieve it. (These macros exist because the length field may be encoded depending on platform.)36.13.1. TOAST Considerations#
PG_DETOAST_DATUM
. (This detail is customarily hidden by defining type-specificGETARG_DATATYPE_P
macros.) Then, when running theCREATE TYPE
command, specify the internal length asvariable
and select some appropriate storage option other thanplain
.PG_DETOAST_DATUM
. You can usePG_DETOAST_DATUM_PACKED
instead (customarily hidden by defining aGETARG_DATATYPE_PP
macro) and using the macrosVARSIZE_ANY_EXHDR
andVARDATA_ANY
to access a potentially-packed datum. Again, the data returned by these macros is not aligned even if the data type definition specifies an alignment. If the alignment is important you must go through the regularPG_DETOAST_DATUM
interface.Note
vl_len_
as anint32
field instead ofchar[4]
. This is OK as long as the struct definition has other fields that have at leastint32
alignment. But it is dangerous to use such a struct definition when working with a potentially unaligned datum; the compiler may take it as license to assume the datum actually is aligned, leading to core dumps on architectures that are strict about alignment.