Bruno Wolff III <bruno@wolff.to> writes:
> I have a question about the use of domains in 7.3.
> Will I be able to use them to catch mistakes in doing comparisons
> or value setting between objects with the same underlying type but
> in different domains (without doing an explicit type cast)?
No, I don't think so. It certainly doesn't work at the moment:
regression=# create domain d1 int4;
CREATE DOMAIN
regression=# create domain d2 int4;
CREATE DOMAIN
regression=# select '1'::d1 = '1'::d2;
?column?
----------
t
(1 row)
The reason it doesn't work is that d1 and d2 are treated as
binary-compatible with int4, so the int4 = operator is found and
applied.
If we did not have this binary-compatibility behavior, domains would be
near useless, because out-of-the-box they'd have no applicable functions
or operators at all. Do you want to have to issue a ton of CREATE
FUNCTION and CREATE OPERATOR commands for every domain you make?
regards, tom lane