>>>>> "Wells" == Wells Oliver <wells.oliver@xxxxxxxxx> writes: Wells> Hi guys, hoping you can help clarify what the 'hierarchy' of Wells> casts might be in function arguments. In terms of which casts will be selected in some given context, there isn't exactly a "hierarchy", but some types are designated as "preferred" types in their category. Of the builtin types, the preferred ones are boolean, text, oid, double precision, inet, timestamptz, interval and varbit. (See pg_type.typispreferred and pg_type.typcategory.) If there are several ways to implicitly cast function arguments to match signatures of known functions, then the result is ambiguous (and hence an error) _unless_ there is one (and only one) combination of casts to preferred types in matching categories. So in your example, if you had a variant of the function (a float8, b float8) then smallint inputs would call that variant, in preference to the bigint or real ones, because float8 (aka double precision) is a preferred type in category N (number types). You have to be a bit careful with this because it sometimes leads to unexpected casts or loss of precision. If your function will be casting the input values to "numeric", for example, then it is better to have just one function with numeric type args, rather than risk getting casts like numeric -> float8 -> numeric. Another commonly seen example is the mis-casting of "date" type to timestamptz (as the preferred type) where timestamp without tz was intended or semantically required. -- Andrew (irc:RhodiumToad)
