それはclang c++ 11 std::regex_matchの機能またはバグですか?

OR 条件を持つ 2 つのパターンを含む正規表現は、最初のパターンが 2 番目のパターンの開始部分である場合、サンプル文字列と一致しないことに注意しました (clang 3.5 および clang 3.8 でテスト):

std::regex_match("ab", std::regex("(ab|a)")) == true

でも

std::regex_match("ab", std::regex("(a|ab)")) == false

trueだと思いますどちらの場合も論理的に正しいです。

Clang &OSX:

$ cat > test.cpp
 #include <string>
 #include <regex>
 #include <iostream>
 int main() {
     std::cout << std::regex_match("ab", std::regex("(a|ab)")) << std::endl;
     std::cout << std::regex_match("ab", std::regex("(ab|a)")) << std::endl;
     return 0;
 }
 ^C
 $ clang++ -v
 Apple LLVM version 8.1.0 (clang-802.0.41)
 Target: x86_64-apple-darwin16.5.0
 Thread model: posix
 InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin
 $ clang++ ./test.cpp -o test
 $ ./test 
 0
 1

Clang &FreeBSD:

$ cat > test.cpp
 #include <string>
 #include <regex>
 #include <iostream>
 int main() {
     std::cout << std::regex_match("ab", std::regex("(a|ab)")) << std::endl;
     std::cout << std::regex_match("ab", std::regex("(ab|a)")) << std::endl;
     return 0;
 }
 ^C
 $ clang++ -v
 FreeBSD clang version 3.8.0 (tags/RELEASE_380/final 262564) (based on LLVM 3.8.0)
 Target: x86_64-unknown-freebsd11.0
 Thread model: posix
 InstalledDir: /usr/bin
 $ clang++ ./test.cpp -o test
 $ ./test
 0
 1

Linux と GCC:

$ cat > test.cpp
 #include <string>
 #include <regex>
 #include <iostream>
 int main() {
     std::cout << std::regex_match("ab", std::regex("(a|ab)")) << std::endl;
     std::cout << std::regex_match("ab", std::regex("(ab|a)")) << std::endl;
     return 0;
 }
 ^C
 $ g++ -v
 Using built-in specs.
 COLLECT_GCC=g++
 COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/5/lto-wrapper
 Target: x86_64-linux-gnu
 Configured with: ../src/configure -v --with-pkgversion='Ubuntu 5.4.1-2ubuntu1~16.04' --with-bugurl=file:///usr/share/doc/gcc-5/README.Bugs --enable-languages=c,ada,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-5 --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-vtable-verify --enable-libmpx --enable-plugin --with-system-zlib --disable-browser-plugin --enable-java-awt=gtk --enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-5-amd64/jre --enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-5-amd64 --with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-5-amd64 --with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --enable-objc-gc --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
 Thread model: posix
 gcc version 5.4.1 20160904 (Ubuntu 5.4.1-2ubuntu1~16.04) 
 $ g++ -std=gnu++11 ./test.cpp -o test
 $ ./test 
 1
 1

Max Fomichevによる質問

答え:

ECMAScript (デフォルトの正規表現構文) は、代替案を順番に照合しようとし、最初の成功で停止します。つまり、通常の検索では (a la regex_search ) 正規表現 a|ab ab 全体に一致することはありません;常に a だけに一致します

標準はregex_matchについて曖昧でしたこの場合、実装の相違につながるはずでした。競合する解釈については、LWG issue 2273 を参照してください。最終的に、regex_match を明確にするために標準が修正されました (その問題の解決策を参照)。標準に追加された例から明らかなように、入力シーケンス全体に一致する可能性のある一致のみが考慮されます。

std::regex re("Get|GetValue");
 std::cmatch m;
 regex_search("GetValue", m, re);    // returns true, and m[0] contains "Get"
 regex_match ("GetValue", m, re);    // returns true, and m[0] contains "GetValue"

元の <regex> しかし、libc++ での実装は別の解釈を使用しており、最近まで解決策に一致するように更新されていませんでした。 Clang 4.0 は 1 1 を出力するようになりました .

いくつかのコードの回答

std::regex_match("ab", std::regex("(ab|a)")) == true

std::regex_match("ab", std::regex("(a|ab)")) == false

$ cat >
test.cpp #include <string>
#include <regex>
#include <iostream>
 int main() {
std::cout <<
std::regex_match("ab", std::regex("(a|ab)")) <<
std::endl;
std::cout <<
std::regex_match("ab", std::regex("(ab|a)")) <<
std::endl;
return 0;
} ^C  $ clang++ -v Apple LLVM version 8.1.0 (clang-802.0.41) Target: x86_64-apple-darwin16.5.0 Thread model: posix InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin  $ clang++ ./test.cpp -o test  $ ./test  0 1

$ cat >
test.cpp #include <string>
#include <regex>
#include <iostream>
 int main() {
std::cout <<
std::regex_match("ab", std::regex("(a|ab)")) <<
std::endl;
std::cout <<
std::regex_match("ab", std::regex("(ab|a)")) <<
std::endl;
return 0;
} ^C $ clang++ -v FreeBSD clang version 3.8.0 (tags/RELEASE_380/final 262564) (based on LLVM 3.8.0) Target: x86_64-unknown-freebsd11.0 Thread model: posix InstalledDir: /usr/bin $ clang++ ./test.cpp -o test $ ./test 0 1

$ cat >
test.cpp #include <string>
#include <regex>
#include <iostream>
 int main() {
std::cout <<
std::regex_match("ab", std::regex("(a|ab)")) <<
std::endl;
std::cout <<
std::regex_match("ab", std::regex("(ab|a)")) <<
std::endl;
return 0;
} ^C  $ g++ -v Using built-in specs. COLLECT_GCC=g++ COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/5/lto-wrapper Target: x86_64-linux-gnu Configured with: ../src/configure -v --with-pkgversion='Ubuntu 5.4.1-2ubuntu1~16.04' --with-bugurl=file:///usr/share/doc/gcc-5/README.Bugs --enable-languages=c,ada,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-5 --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-vtable-verify --enable-libmpx --enable-plugin --with-system-zlib --disable-browser-plugin --enable-java-awt=gtk --enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-5-amd64/jre --enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-5-amd64 --with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-5-amd64 --with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --enable-objc-gc --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu Thread model: posix gcc version 5.4.1 20160904 (Ubuntu 5.4.1-2ubuntu1~16.04)   $ g++ -std=gnu++11 ./test.cpp -o test  $ ./test  1 1

std::regex re("Get|GetValue");
std::cmatch m;
regex_search("GetValue", m, re);
   // returns true, and m[0] contains "Get" regex_match ("GetValue", m, re);
   // returns true, and m[0] contains "GetValue"