为什么我们需要将 MDSYS.ST_GEOMETRY 视为 ST_LINESTRING 才能使用 ST_PointN(1)？

MDSYS.ST_GEOMETRY；甲骨文18c：

以下查询有效。它从 MDSYS.ST_GEOMETRY 中提取第一个点：

--Source: https://www.spdba.com.au/using-oracles-st_geometry-type-hierarchy-with-sdo_geometry-st_pointn-and-st_numpoints/

with    cte as (
select  treat(mdsys.st_geometry.from_wkt('LINESTRING(10 10, 20 20)',26917) as mdsys.st_linestring) as shape
from    dual
)
select 
    (shape).st_pointn(1) as first_point
from 
    cte

Result:
MDSYS.ST_POINT(MDSYS.SDO_GEOMETRY(2001, 26917, MDSYS.SDO_POINT_TYPE(10, 10, NULL), NULL, NULL))

我不明白为什么我们需要Treat()ST_GEOMETRY 超类型作为 ST_LINESTRING 子类型以便使用ST_PointN()明白要点。

例如，如果我删除Treat(... as ST_LINESTRING)，然后我得到一个错误：

with    cte as (
select  mdsys.st_geometry.from_wkt('LINESTRING(10 10, 20 20)',26917) as shape
from    dual
)
select 
    (shape).st_pointn(1) as first_point
from 
    cte

Error:
ORA-00904: "MDSYS"."ST_GEOMETRY"."ST_POINTN": invalid identifier

为什么我删除时会出现此错误Treat()?

为什么我删除时会出现此错误Treat()?

• ST_LINESTRING是一个子类型ST_CURVE反过来，它是一个子类型ST_GEOMETRY.
• ST_POINTN是在子类型上声明的成员函数ST_CURVE and ST_LINESTRING继承了这个功能。
• ST_POINTN未声明为父类型的成员函数ST_GEOMETRY.
• The ST_GEOMETRY.FROM_WKT()函数返回一个ST_GEOMETRY实例，在这种情况下实际上是ST_LINESTRING子类型，但函数的返回类型是ST_GEOMETRY因为它可以返回任何子子类型。

当您删除时TREAT()那么你正试图打电话给ST_POINTN父类型的成员函数ST_GEOMETRY并且，正如错误消息所述"MDSYS"."ST_GEOMETRY"."ST_POINTN"是无效标识符，因为该类型没有该成员函数。

当你包括TREAT()然后将超类型转换为子类型，然后调用该子类型的成员函数，并且该成员函数确实存在，因此它可以工作。

类似的例子是：

CREATE TYPE parent_type IS OBJECT (
 x NUMBER,
 y NUMBER
) NOT FINAL;

CREATE TYPE child_type UNDER parent_type (
  MEMBER FUNCTION get_x RETURN NUMBER
);

CREATE TYPE BODY child_type IS
  MEMBER FUNCTION get_x RETURN NUMBER
  IS
  BEGIN
    RETURN self.x;
  END;
END;
/

Then:

CREATE FUNCTION create_parent RETURN PARENT_TYPE
IS
BEGIN
  RETURN child_type(1, 2);
END;
/

如果您使用：

SELECT create_parent().get_x() FROM DUAL;

然后函数声明它返回一个PARENT_TYPE因此，即使实际返回值是一个，也会在该类型上调用成员函数CHILD_TYPE，因此引发错误：

ORA-00904: "SCHEMA_NAME"."PARENT_TYPE"."GET_X": invalid identifier

如果你使用TREAT将返回的父对象转换为其实际的子类型：

SELECT TREAT(create_parent() AS child_type).get_x() FROM DUAL;

那么输出是：

TREAT(CREATE_PARENT()ASCHILD_TYPE).GET_X()
1

数据库小提琴here