28

IMO,此查询应返回A=1,B=2,

SELECT regexp_substr('A=1,B=2,C=3,', '.*B=.*?,') as A_and_B FROM dual

但它会返回整个字符串 ,A=1,B=2,C=3,而不是。为什么?


更新1:

Oracle 10.2+ 需要在正则表达式中使用 Perl 样式的元字符。

更新 2:

我的问题的更清晰的形式(以避免有关 Oracle 版本和 Perl 风格的正则表达式扩展的可用性的问题):

在同一个系统上,为什么非贪心量词有时会按预期工作,有时却不能?

这可以正常工作:

regexp_substr('A=1,B=2,C=3,', 'B=.*?,')

这不起作用:

regexp_substr('A=1,B=2,C=3,', '.*B=.*?,')

小提琴

更新 3:

是的,这似乎是一个错误。

Oracle 支持人员对此问题有何反应?

该错误是否已经知道?它有身份证吗?

4

4 回答 4

24

这是一个BUG!

你是对的,在 Perl 中,'A=1,B=2,C=3,' =~ /.*B=.*?,/; print $&打印A=1,B=2,

您偶然发现了一个仍然存在于 Oracle Database 11g R2 中的错误。如果完全相同的正则表达式原子(包括量词但不包括贪婪修饰符)在正则表达式中出现两次,则无论第二次指定的贪婪如何,两次出现都将具有第一次出现所指示的贪婪。这些结果清楚地证明了这是一个错误(这里,“完全相同的正则表达式原子”是[^B]*):

SQL> SELECT regexp_substr('A=1,B=2,C=3,', '[^B]*B=[^Bx]*?,') as good FROM dual;

GOOD
--------
A=1,B=2,

SQL> SELECT regexp_substr('A=1,B=2,C=3,', '[^B]*B=[^B]*?,') as bad FROM dual;

BAD
-----------
A=1,B=2,C=3,

两个正则表达式之间的唯一区别是“好”表达式在第二个匹配列表中排除了“x”作为可能的匹配项。由于 'x' 没有出现在目标字符串中,因此排除它应该没有什么区别,但正如您所见,删除 'x' 会产生很大的不同。那一定是个bug。

以下是 Oracle 11.2 中的更多示例:(SQL Fiddle 有更多示例

SELECT regexp_substr('A=1,B=2,C=3,', '.*B=.*?,')  FROM dual; =>  A=1,B=2,C=3,
SELECT regexp_substr('A=1,B=2,C=3,', '.*B=.*,')   FROM dual; =>  A=1,B=2,C=3,
SELECT regexp_substr('A=1,B=2,C=3,', '.*?B=.*?,') FROM dual; =>  A=1,B=2,
SELECT regexp_substr('A=1,B=2,C=3,', '.*?B=.*,')  FROM dual; =>  A=1,B=2,
-- Changing second operator from * to +
SELECT regexp_substr('A=1,B=2,C=3,', '.*B=.+?,')  FROM dual; =>  A=1,B=2,
SELECT regexp_substr('A=1,B=2,C=3,', '.*B=.+,')   FROM dual; =>  A=1,B=2,C=3,
SELECT regexp_substr('A=1,B=2,C=3,', '.+B=.+,')   FROM dual; =>  A=1,B=2,C=3,
SELECT regexp_substr('A=1,B=2,C=3,', '.+?B=.+,')  FROM dual; =>  A=1,B=2,

模式是一致的:第一次出现的贪婪被用于第二次出现,无论是否应该。

于 2013-05-26T06:12:48.810 回答
7

看着反馈,我犹豫要不要加入,但我走了;-)

根据Oracle 文档,*? 和+?匹配“前面的子表达式”。为了 *?具体来说:

匹配零次或多次出现的前面的子表达式 (nongreedyFootref 1)。尽可能匹配空字符串。

要创建子表达式组,请使用括号 ():

将括号内的表达式视为一个单位。表达式可以是字符串或包含运算符的复杂表达式。

您可以在反向引用中引用子表达式。

这将允许您在同一个正则表达式中使用贪婪和非贪婪(实际上是多次交替),并获得预期的结果。对于您的示例:

select regexp_substr('A=1,B=2,C=3,', '(.)*B=(.)*?,') from dual;

为了更清楚地说明这一点(我希望),这个例子在同一个 regexp_substr 中使用了贪婪和非贪婪,根据 ? 被放置(它不只是使用它看到的第一个子表达式的规则)。另请注意,子表达式 (\w) 将仅匹配字母数字和下划线,而不匹配 @。

-- non-greedy followed by greedy 
select regexp_substr('1_@_2_a_3_@_4_a', '(\w)*?@(\w)*') from dual;

结果:1_@_2_a_3_

-- greedy followed by non-greedy
select regexp_substr('1_@_2_a_3_@_4_a', '(\w)*@(\w)*?') from dual;

结果:1_@

于 2013-05-28T17:50:33.110 回答
0

你有一个非常大的赏金,所以我将尝试全面地确定它。

您在正则表达式处理中做出不正确的假设。

  1. Oracle 与 Perl 正则表达式不兼容,它与 POSIX 兼容。它将其对 Perl 的支持描述为“Perl-Influenced”
  2. 使用 Perl "*?" 存在内在的语法冲突。在 Oracle 中,如果您按照我的方式阅读该参考资料,并且 Oracle 合法地选择了 POSIX 用法
  3. 您对 perl 如何处理“*?”的描述 不太对。

这是我们讨论过的选项的混搭。这个问题的关键在于案例 30

    CASE SRC TEXT RE FROM_WHOM 结果        
    -------- ------------------- ------------ ------ ----- ---------------------------- ---------- --------------
          1 Egor的原始源字符串A=1,B=2,C=3,.*B=.*?, Egor的原始模式“不起作用” A=1,B=2,C=3,  
          2 Egor 的原始源字符串 A=1,B=2,C=3, .*B=.?, Egor 的“正常工作” A=1,B=2,      
          3 Egor的原始源字符串A=1,B=2,C=3,.*B=.+?,Old Pro注释1表格2 A=1,B=2,      
          4 Egor的原始源字符串A=1,B=2,C=3, .+B=.*?, Old Pro comment 1 form 1 A=1,B=2,      
          5 Egor的原始源字符串A=1,B=2,C=3, .*B=.{0,}?, 老专业评论2 A=1,B=2,      
          6 Egor的原始源字符串A=1,B=2,C=3, [^B]*B=[^Bx]*?, Old Pro answer form 1 "good" A=1,B=2,      
          7 Egor的原始源字符串A=1,B=2,C=3, [^B]*B=[^B]*?, Old Pro answer form 2 "bad" A=1,B=2,C=3 ,  
          8 Egor的原始源字符串A=1,B=2,C=3, (.)*B=(.)*?, TBone 答案形式1 A=1,B=2,      
          9 TBone 答案示例 2 1_@_2_a_3_@_4_a (\w)*?@(\w)* TBone 答案示例 2 表格 1 1_@_2_a_3_    
         10 TBone 答案示例 2 1_@_2_a_3_@_4_a (\w)*@(\w)*? TBone 答案示例 2 表格 2 1_@           
         30 Egor的原始源字符串A=1,B=2,C=3,.*B=(.)*?,Schemaczar Variant强制Perl操作A=1,B=2,      
         31 Egor的原始源字符串A=1,B=2,C=3,.*B=(.*)?, Schemaczar Variant of Egor to force POSIX A=1,B=2,C=3,  
         32 Egor 的原始源字符串 A=1,B=2,C=3, .*B=.*{0,1} Schemaczar 应用 Egor 的 'non-greedy' A=1,B=2,C=3,  
         33 Egor 的原始源字符串 A=1,B=2,C=3, .*B=(.)*{0,1} Schemaczar Egor 的“非贪婪”的另一个变体 A=1,B=2,C= 3、  

我很确定 CASE 30 就是你认为你在写的——也就是说,你认为“*?” 比“*”本身具有更强的关联性。我猜对 Perl 来说是正确的,但对于 Oracle(可能是规范的 POSIX)RE,“*?” 具有比“*”更低的优先级和关联性。所以甲骨文将其读作“(。*)?” (case 31) 而 Perl 将其读作“(.)*?”,即 case 30。

注意案例 32 和 33 表明“*{0,1}”不像“*?”那样工作。

请注意,Oracle REGEXP 不像 LIKE 那样工作,也就是说,它不需要匹配模式来覆盖整个测试字符串。使用“^”开始和“$”结束标记也可能对您有所帮助。

我的脚本:

SET SERVEROUTPUT ON

<<DISCREET_DROP>> begin
  DBMS_OUTPUT.ENABLE;
  for dropit in (select 'DROP TABLE ' || TABLE_NAME || ' CASCADE CONSTRAINTS' AS SYNT
  FROM TABS WHERE TABLE_NAME IN ('TEST_PATS', 'TEST_STRINGS')
  )
  LOOP
    DBMS_OUTPUT.PUT_LINE('Dropping via ' || dropit.synt);
    execute immediate dropit.synt;
  END LOOP;
END DISCREET_DROP;
/

--------------------------------------------------------
--  DDL for Table TEST_PATS
--------------------------------------------------------

  CREATE TABLE TEST_PATS 
   (    RE VARCHAR2(2000), 
  FROM_WHOM VARCHAR2(50), 
  PAT_GROUP VARCHAR2(50), 
  PAT_ORDER NUMBER(9,0)
   ) ;
/
--------------------------------------------------------
--  DDL for Table TEST_STRINGS
--------------------------------------------------------

  CREATE TABLE TEST_STRINGS 
   (    TEXT VARCHAR2(2000), 
  SRC VARCHAR2(200), 
  TEXT_GROUP VARCHAR2(50), 
  TEXT_ORDER NUMBER(9,0)
   ) ;
/
--------------------------------------------------------
--  DDL for View REGEXP_TESTER_V
--------------------------------------------------------

  CREATE OR REPLACE FORCE VIEW REGEXP_TESTER_V (CASE_NUMBER, SRC, TEXT, RE, FROM_WHOM, RESULT) AS 
  select pat_order as case_number,
  src, text, re, from_whom, 
  regexp_substr (text, re) as result
from test_pats full outer join test_strings on (text_group = pat_group)
order by pat_order, text_order;
/
REM INSERTING into TEST_PATS
SET DEFINE OFF;
Insert into TEST_PATS (RE,FROM_WHOM,PAT_GROUP,PAT_ORDER) values ('.*B=.*?,','Egor''s original pattern "doesn''t work"','Egor',1);
Insert into TEST_PATS (RE,FROM_WHOM,PAT_GROUP,PAT_ORDER) values ('.*B=.?,','Egor''s "works correctly"','Egor',2);
Insert into TEST_PATS (RE,FROM_WHOM,PAT_GROUP,PAT_ORDER) values ('.*B=(.)*?,','Schemaczar Variant to force Perl operation','Egor',30);
Insert into TEST_PATS (RE,FROM_WHOM,PAT_GROUP,PAT_ORDER) values ('.*B=(.*)?,','Schemaczar Variant of Egor to force POSIX','Egor',31);
Insert into TEST_PATS (RE,FROM_WHOM,PAT_GROUP,PAT_ORDER) values ('.*B=.*{0,1}','Schemaczar Applying Egor''s  ''non-greedy''','Egor',32);
Insert into TEST_PATS (RE,FROM_WHOM,PAT_GROUP,PAT_ORDER) values ('.*B=(.)*{0,1}','Schemaczar Another variant of Egor''s "non-greedy"','Egor',33);
Insert into TEST_PATS (RE,FROM_WHOM,PAT_GROUP,PAT_ORDER) values ('[^B]*B=[^Bx]*?,','Old Pro answer form 1 "good"','Egor',6);
Insert into TEST_PATS (RE,FROM_WHOM,PAT_GROUP,PAT_ORDER) values ('[^B]*B=[^B]*?,','Old Pro answer form 2 "bad"','Egor',7);
Insert into TEST_PATS (RE,FROM_WHOM,PAT_GROUP,PAT_ORDER) values ('.*B=.+?,','Old Pro comment 1 form 2','Egor',3);
Insert into TEST_PATS (RE,FROM_WHOM,PAT_GROUP,PAT_ORDER) values ('.*B=.{0,}?,','Old Pro comment 2','Egor',5);
Insert into TEST_PATS (RE,FROM_WHOM,PAT_GROUP,PAT_ORDER) values ('.+B=.*?,','Old Pro comment 1 form 1','Egor',4);
Insert into TEST_PATS (RE,FROM_WHOM,PAT_GROUP,PAT_ORDER) values ('(.)*B=(.)*?,','TBone answer form 1','Egor',8);
Insert into TEST_PATS (RE,FROM_WHOM,PAT_GROUP,PAT_ORDER) values ('(\w)*?@(\w)*','TBone answer example 2 form 1','TBone',9);
Insert into TEST_PATS (RE,FROM_WHOM,PAT_GROUP,PAT_ORDER) values ('(\w)*@(\w)*?','TBone answer example 2 form 2','TBone',10);
REM INSERTING into TEST_STRINGS
SET DEFINE OFF;
Insert into TEST_STRINGS (TEXT,SRC,TEXT_GROUP,TEXT_ORDER) values ('A=1,B=2,C=3,','Egor''s original source string','Egor',1);
Insert into TEST_STRINGS (TEXT,SRC,TEXT_GROUP,TEXT_ORDER) values ('1_@_2_a_3_@_4_a','TBone answer example 2','TBone',2);

COLUMN SRC FORMAT A50 WORD_WRAP
COLUMN TEXT  FORMAT A50 WORD_WRAP
COLUMN RE FORMAT A50 WORD_WRAP
COLUMN FROM_WHOM FORMAT A50 WORD_WRAP
COLUMN RESULT  FORMAT A50 WORD_WRAP

SELECT * FROM REGEXP_TESTER_V;
于 2013-05-31T03:39:59.703 回答
-1

因为你选择太多:

SELECT
  regexp_substr(
    'A=1,B=2,C=3,',
    '.*?B=.*?,'
  ) as A_and_B,  -- Now works as expected
  regexp_substr(
    'A=1,B=2,C=3,',
    'B=.*?,'
  ) as B_only    -- works just fine
FROM dual

SQL小提琴:http ://www.sqlfiddle.com/#!4/d41d8/11450

于 2013-06-01T01:25:04.297 回答