postgresql - 有一个可以抛出异常的 STABLE 函数可以吗？

Question

在不熟悉 Postgres 的情况下，我会谨慎地定义一个函数，这样它可能会被计划器/优化器跳过，否则它会引发异常。函数的 volatile (STABLE、VOLATILE 或 IMMUTABLE)是否应该在引发异常时更改，或者这些异常是否以与返回相同的方式缓存-值(value)观是什么？

是否有关于如何定义可以抛出的函数的既定约定？

根据docs :

• A VOLATILE function can do anything, including modifying the database. It can return different results on successive calls with the same arguments. The optimizer makes no assumptions about the behavior of such functions. [...]

• A STABLE function cannot modify the database and is guaranteed to return the same results given the same arguments for all rows within a single statement. This category allows the optimizer to optimize multiple calls of the function to a single call. [...]

• An IMMUTABLE function cannot modify the database and is guaranteed to return the same results given the same arguments forever. This category allows the optimizer to pre-evaluate the function when a query calls it with constant arguments. [...]

关于返回值的行为方式，这是非常清楚的，但是没有解决异常(发生在 RETURN 之前)。 ...我知道函数定义的其他部分(例如使用 STRICT)可能会导致规划器跳过潜在的异常，但是这里呢？

是否存在潜在的边缘情况，其中 STABLE 函数定义为具有高调用成本(反过来使用其他 STABLE 和/或 IMMUTABLE 帮助它的功能)可能会在通常抛出时被跳过？

另一种回答这个问题的方法是解释 plpgsql 编译器/解释器如何/是否以不同方式处理包含 RAISE EXCEPTION 的函数，例如注意波动状态是否被出现在函数体。

Answer 1

任何函数(VOLATILE、STABLE、IMMUTABLE)都可以引发异常。异常停止执行，然后回滚。

目前没有结果被缓存。在某些情况下，STABLE 或 IMMUTABLE 函数的调用可以在计划时间内由它们的结果替换。如果函数索引可以使用IMMUTABLE函数，然后不调用该函数，使用索引中的值。