php - 分割字符串，除非包含在其他字符串之间

Question

我知道这个问题被问了无数次，但是我找不到适合我的情况的可行解决方案。

我想使用分号作为分隔符在PHP(5.3)中拆分字符串，除非它们在$BODY$字符串之间。目标是拆分SQL语句，其中语句可以是过程(在这种情况下为postgresql)。

例:

选择;开始$ BODY $开始；结束; $ BODY $ lang;更新

应导致:

选择
开始$ BODY $开始；结束; $ BODY $ lang
更新

我一直在用preg_split玩弄一段时间，但找不到有效的解决方案。

非常感谢

编辑:它必须与多行输入一起使用(但我可以事先使用str_replace删除换行符)

Answer 1

$a = explode(';', 'select; $BODY$ begin; end; $BODY$ lang; update');
$b = array();
$index = 0;
$waiting = false;
foreach($a as $str) {
    if(strpos($str,'$BODY$') !== false) {
        $waiting = !$waiting;
    }
    $b[$index] .= $str.';';
    if(!$waiting) {
        $index++;
    }
}
print_r($b);

假设没有多层嵌套的$ BODY $，这将起作用。我觉得必须要有一个可以完成的正则表达式，但目前我的大脑还没有合作。