Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings

Commitbac3e83

Browse files
committed
Replace the hard-wired type knowledge in TypeCategory() and IsPreferredType()
with system catalog lookups, as was foreseen to be necessary almost sincetheir creation. Instead put the information into two new pg_type columns,typcategory and typispreferred. Add support for setting these whencreating a user-defined base type.The category column is just a "char" (i.e. a poor man's enum), allowinga crude form of user extensibility of the category list: just use anotherwise-unused character. This seems sufficient for foreseen uses,but we could upgrade to having an actual category catalog someday, ifthere proves to be a huge demand for custom type categories.In this patch I have attempted to hew exactly to the behavior of theprevious hardwired logic, except for introducing new type categories forarrays, composites, and enums. In particular the default preferred statefor user-defined types remains TRUE. That seems worth revisiting, but itshould be done as a separate patch from introducing the infrastructure.Likewise, any adjustment of the standard set of categories should be doneseparately.
1 parentab9907f commitbac3e83

File tree

20 files changed

+617
-497
lines changed

20 files changed

+617
-497
lines changed

‎doc/src/sgml/catalogs.sgml‎

Lines changed: 114 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
<!-- $PostgreSQL: pgsql/doc/src/sgml/catalogs.sgml,v 2.171 2008/07/18 03:32:51 tgl Exp $ -->
1+
<!-- $PostgreSQL: pgsql/doc/src/sgml/catalogs.sgml,v 2.172 2008/07/30 17:05:04 tgl Exp $ -->
22
<!--
33
Documentation of the system catalogs, directed toward PostgreSQL developers
44
-->
@@ -994,7 +994,7 @@
994994
<entry><type>int4</type></entry>
995995
<entry></entry>
996996
<entry>
997-
The number of direct ancestors this column has. A column with a
997+
The number of direct ancestors this column has. A column with a
998998
nonzero number of ancestors cannot be dropped nor renamed
999999
</entry>
10001000
</row>
@@ -1005,7 +1005,7 @@
10051005

10061006
<para>
10071007
In a dropped column's <structname>pg_attribute</structname> entry,
1008-
<structfield>atttypid</structfield> is reset to zero, but
1008+
<structfield>atttypid</structfield> is reset to zero, but
10091009
<structfield>attlen</structfield> and the other fields copied from
10101010
<structname>pg_type</> are still valid. This arrangement is needed
10111011
to cope with the situation where the dropped column's data type was
@@ -1118,7 +1118,7 @@
11181118
<entry><structfield>rolconnlimit</structfield></entry>
11191119
<entry><type>int4</type></entry>
11201120
<entry>
1121-
For roles that can log in, this sets maximum number of concurrent
1121+
For roles that can log in, this sets maximum number of concurrent
11221122
connections this role can make. -1 means no limit
11231123
</entry>
11241124
</row>
@@ -2169,7 +2169,7 @@
21692169
<entry><type>int4</type></entry>
21702170
<entry></entry>
21712171
<entry>
2172-
Sets maximum number of concurrent connections that can be made
2172+
Sets maximum number of concurrent connections that can be made
21732173
to this database. -1 means no limit
21742174
</entry>
21752175
</row>
@@ -4855,7 +4855,7 @@
48554855

48564856
<para>
48574857
The catalog <structname>pg_type</structname> stores information about data
4858-
types. Base types (scalar types) are created with
4858+
types. Base typesand enum types(scalar types) are created with
48594859
<xref linkend="sql-createtype" endterm="sql-createtype-title">, and
48604860
domains with
48614861
<xref linkend="sql-createdomain" endterm="sql-createdomain-title">.
@@ -4926,8 +4926,7 @@
49264926
where Datum is 8 bytes).
49274927
Variable-length types are always passed by reference. Note that
49284928
<structfield>typbyval</structfield> can be false even if the
4929-
length would allow pass-by-value; this is currently true for
4930-
type <type>float4</type>, for example
4929+
length would allow pass-by-value
49314930
</entry>
49324931
</row>
49334932

@@ -4947,6 +4946,28 @@
49474946
</entry>
49484947
</row>
49494948

4949+
<row>
4950+
<entry><structfield>typcategory</structfield></entry>
4951+
<entry><type>char</type></entry>
4952+
<entry></entry>
4953+
<entry>
4954+
<structfield>typcategory</structfield> is an arbitrary classification
4955+
of data types that is used by the parser to determine which implicit
4956+
casts should be <quote>preferred</>.
4957+
See <xref linkend="catalog-typcategory-table">
4958+
</entry>
4959+
</row>
4960+
4961+
<row>
4962+
<entry><structfield>typispreferred</structfield></entry>
4963+
<entry><type>bool</type></entry>
4964+
<entry></entry>
4965+
<entry>
4966+
True if the type is a preferred cast target within its
4967+
<structfield>typcategory</structfield>
4968+
</entry>
4969+
</row>
4970+
49504971
<row>
49514972
<entry><structfield>typisdefined</structfield></entry>
49524973
<entry><type>bool</type></entry>
@@ -5217,6 +5238,86 @@
52175238
</tbody>
52185239
</tgroup>
52195240
</table>
5241+
5242+
<para>
5243+
<xref linkend="catalog-typcategory-table"> lists the system-defined values
5244+
of <structfield>typcategory</>. Any future additions to this list will
5245+
also be upper-case ASCII letters. All other ASCII characters are reserved
5246+
for user-defined categories.
5247+
</para>
5248+
5249+
<table id="catalog-typcategory-table">
5250+
<title><structfield>typcategory</> Codes</title>
5251+
5252+
<tgroup cols=2>
5253+
<thead>
5254+
<row>
5255+
<entry>Code</entry>
5256+
<entry>Category</entry>
5257+
</row>
5258+
</thead>
5259+
5260+
<tbody>
5261+
<row>
5262+
<entry><literal>A</literal></entry>
5263+
<entry>Array types</entry>
5264+
</row>
5265+
<row>
5266+
<entry><literal>B</literal></entry>
5267+
<entry>Boolean types</entry>
5268+
</row>
5269+
<row>
5270+
<entry><literal>C</literal></entry>
5271+
<entry>Composite types</entry>
5272+
</row>
5273+
<row>
5274+
<entry><literal>D</literal></entry>
5275+
<entry>Date/time types</entry>
5276+
</row>
5277+
<row>
5278+
<entry><literal>E</literal></entry>
5279+
<entry>Enum types</entry>
5280+
</row>
5281+
<row>
5282+
<entry><literal>G</literal></entry>
5283+
<entry>Geometric types</entry>
5284+
</row>
5285+
<row>
5286+
<entry><literal>I</literal></entry>
5287+
<entry>Network address types</entry>
5288+
</row>
5289+
<row>
5290+
<entry><literal>N</literal></entry>
5291+
<entry>Numeric types</entry>
5292+
</row>
5293+
<row>
5294+
<entry><literal>P</literal></entry>
5295+
<entry>Pseudo-types</entry>
5296+
</row>
5297+
<row>
5298+
<entry><literal>S</literal></entry>
5299+
<entry>String types</entry>
5300+
</row>
5301+
<row>
5302+
<entry><literal>T</literal></entry>
5303+
<entry>Timespan types</entry>
5304+
</row>
5305+
<row>
5306+
<entry><literal>U</literal></entry>
5307+
<entry>User-defined types</entry>
5308+
</row>
5309+
<row>
5310+
<entry><literal>V</literal></entry>
5311+
<entry>Bit-string types</entry>
5312+
</row>
5313+
<row>
5314+
<entry><literal>X</literal></entry>
5315+
<entry><type>unknown</> type</entry>
5316+
</row>
5317+
</tbody>
5318+
</tgroup>
5319+
</table>
5320+
52205321
</sect1>
52215322

52225323
<sect1 id="views-overview">
@@ -5787,7 +5888,7 @@
57875888
for another transaction, it does so by attempting to acquire share lock on
57885889
the other transaction ID (either virtual or permanent ID depending on the
57895890
situation). That will succeed only when the other transaction
5790-
terminates and releases its locks.
5891+
terminates and releases its locks.
57915892
</para>
57925893

57935894
<para>
@@ -6036,7 +6137,7 @@
60366137
<para>
60376138
The view <structname>pg_roles</structname> provides access to
60386139
information about database roles. This is simply a publicly
6039-
readable view of
6140+
readable view of
60406141
<link linkend="catalog-pg-authid"><structname>pg_authid</structname></link>
60416142
that blanks out the password field.
60426143
</para>
@@ -6121,7 +6222,7 @@
61216222
<entry><type>int4</type></entry>
61226223
<entry></entry>
61236224
<entry>
6124-
For roles that can log in, this sets maximum number of concurrent
6225+
For roles that can log in, this sets maximum number of concurrent
61256226
connections this role can make. -1 means no limit
61266227
</entry>
61276228
</row>
@@ -6316,7 +6417,7 @@
63166417
</tbody>
63176418
</tgroup>
63186419
</table>
6319-
6420+
63206421
<para>
63216422
The <structname>pg_settings</structname> view cannot be inserted into or
63226423
deleted from, but it can be updated. An <command>UPDATE</command> applied
@@ -6774,7 +6875,7 @@
67746875
<para>
67756876
The view <structname>pg_user</structname> provides access to
67766877
information about database users. This is simply a publicly
6777-
readable view of
6878+
readable view of
67786879
<link linkend="view-pg-shadow"><structname>pg_shadow</structname></link>
67796880
that blanks out the password field.
67806881
</para>

‎doc/src/sgml/ref/create_type.sgml‎

Lines changed: 49 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<!--
2-
$PostgreSQL: pgsql/doc/src/sgml/ref/create_type.sgml,v 1.74 2008/05/27 18:05:13 tgl Exp $
2+
$PostgreSQL: pgsql/doc/src/sgml/ref/create_type.sgml,v 1.75 2008/07/30 17:05:04 tgl Exp $
33
PostgreSQL documentation
44
-->
55

@@ -38,6 +38,8 @@ CREATE TYPE <replaceable class="parameter">name</replaceable> (
3838
[ , PASSEDBYVALUE ]
3939
[ , ALIGNMENT = <replaceable class="parameter">alignment</replaceable> ]
4040
[ , STORAGE = <replaceable class="parameter">storage</replaceable> ]
41+
[ , CATEGORY = <replaceable class="parameter">category</replaceable> ]
42+
[ , PREFERRED = <replaceable class="parameter">preferred</replaceable> ]
4143
[ , DEFAULT = <replaceable class="parameter">default</replaceable> ]
4244
[ , ELEMENT = <replaceable class="parameter">element</replaceable> ]
4345
[ , DELIMITER = <replaceable class="parameter">delimiter</replaceable> ]
@@ -281,6 +283,27 @@ CREATE TYPE <replaceable class="parameter">name</replaceable>
281283
<literal>external</literal> items.)
282284
</para>
283285

286+
<para>
287+
The <replaceable class="parameter">category</replaceable> and
288+
<replaceable class="parameter">preferred</replaceable> parameters can be
289+
used to help control which implicit cast will be applied in ambiguous
290+
situations. Each data type belongs to a category named by a single ASCII
291+
character, and each type is either <quote>preferred</> or not within its
292+
category. The parser will prefer casting to preferred types (but only from
293+
other types within the same category) when this rule is helpful in
294+
resolving overloaded functions or operators. For more details see <xref
295+
linkend="typeconv">. For types that have no implicit casts to or from any
296+
other types, it is sufficient to leave these settings at the defaults.
297+
However, for a group of related types that have implicit casts, it is often
298+
helpful to mark them all as belonging to a category and select one or two
299+
of the <quote>most general</> types as being preferred within the category.
300+
The <replaceable class="parameter">category</replaceable> parameter is
301+
especially useful when adding a user-defined type to an existing built-in
302+
category, such as the numeric or string types. However, it is also
303+
possible to create new entirely-user-defined type categories. Select any
304+
ASCII character other than an upper-case letter to name such a category.
305+
</para>
306+
284307
<para>
285308
A default value can be specified, in case a user wants columns of the
286309
data type to default to something other than the null value.
@@ -494,6 +517,31 @@ CREATE TYPE <replaceable class="parameter">name</replaceable>
494517
</listitem>
495518
</varlistentry>
496519

520+
<varlistentry>
521+
<term><replaceable class="parameter">category</replaceable></term>
522+
<listitem>
523+
<para>
524+
The category code (a single ASCII character) for this type.
525+
The default is <literal>'U'</> for <quote>user-defined type</>.
526+
Other standard category codes can be found in
527+
<xref linkend="catalog-typcategory-table">. You may also choose
528+
other ASCII characters in order to create custom categories.
529+
</para>
530+
</listitem>
531+
</varlistentry>
532+
533+
<varlistentry>
534+
<term><replaceable class="parameter">preferred</replaceable></term>
535+
<listitem>
536+
<para>
537+
True if this type is a preferred type within its type category,
538+
else false. The default is true (which is appropriate for
539+
all entries in category <literal>U</>, but is usually not
540+
appropriate for new types in other categories &mdash; beware!).
541+
</para>
542+
</listitem>
543+
</varlistentry>
544+
497545
<varlistentry>
498546
<term><replaceable class="parameter">default</replaceable></term>
499547
<listitem>

0 commit comments

Comments
 (0)
[8]ページ先頭
©2009-2025 Movatter.jp