Thinking Archive(仮)

• NOT関数

  (^abc)

  NOT関数。「指定した文字列ではない」事を否定先読みによってチェックする。
  左例では「"abc" ではない」事をチェック。

  「後ろに存在してはならない文字列」を指定し、否定先読みによって存在しない事をチェックします。
  先読みした文字列は消費しないので、NOT関数の後でもう一度文字列をテストすることが出来ます。

  例えば、<(^a\s) は「a要素ではない要素」にマッチします。
  a要素ではない要素にマッチさせたいだけなら、<[^a][^ ] のように文字クラスを使っても実現できます。
  が、文字クラスで1文字ずつ指定する記述は見辛いですし、何より文字列を消費してしまいます。
  NOT関数は文字列を消費しないので、<(^a\s)area\s のようにして、要素名のマッチングを後ろに続けることが出来ます。

  NOT関数の使用例

  (^abc)?

  "abc" ではない1文字にマッチ

  (^abc|xyz)?

  "abc" でも "xyz" でもない1文字にマッチ。
  NOT関数においては、| はAND条件の役割を果たす。

  (^(^(^abc)?))

  "abc" ではない1文字を否定先読みによってチェック。
  三重否定はNOT関数に変化する。

  (^?)

  「後ろに続く文字が存在しない」にマッチ。
  ?は任意の1文字を示し、それを否定するので「任意の1文字ではない = 文字が存在しない」となる。

  (^?)は空文字とは違います。
  URL欄で「文字列の終わり」にマッチさせたい時によく使われます。

  # ToDo: NOT関数をフィルタの最後に置き、Limit がNOT関数のチェックしているポイントにある時、最後までチェックしていないにも関わらず、NOT関数は真を返す