Question

Consider

WITH t (f0, f1) as (
  values 
     (1, 10),
     (2, 20)     
)...

How do I specify that f0 and f1 are of type bigint?

Answer 1

I think you’d have to specify the types inside the VALUES expression in your case:

WITH t (f0, f1) as (
  values 
     (1::bigint, 10::bigint),
     (2, 20)
)...

You only need the types on the first set of values, PostgreSQL can infer the rest.

For example, suppose we have two functions:

create function f(bigint, bigint) returns bigint as $$
begin
    raise notice 'bigint';
    return $1 * $2;
end;
$$ language plpgsql;

create function f(int, int) returns int as $$
begin
    raise notice 'int';
    return $1 * $2;
end;
$$ language plpgsql;

Then

WITH t (f0, f1) as (
    values
        (1, 10),
        (2, 20)
)
select f(f0, f1) from t;

will give you two int notices whereas

WITH t (f0, f1) as (
    values
        (1::bigint, 10::bigint),
        (2, 20)
)
select f(f0, f1) from t;

would give you two bigint notices.