3

C++11に実装されているstd::regexについて、一部うまく動かない機能があるようです。

std::regex_searchのオーバーロードのうち、以下のコードで使われているものがコンパイルが通りません。

#include <iostream>
#include <regex>



int main(void) {
    std::string str = std::string("foobar");
    std::regex re(R"(foo)");
    std::smatch match;

    std::regex_search(str.begin(), str.end(), match, re);

    if(match.size() > 0)
        std::cout << match[0].str();

    return 0;
}

このコードをコンパイルすると、「std::regex_searchに与えられた引数と一致するオーバーロードが存在しない」という旨のエラーを吐きます。
そこで原因を調べてみると、どうやら「stringのイテレーターを与え」、なおかつ「match_resultsとしてstd::smatchを与える」ときにこのエラーを吐くようだということがわかってきました。

ここでregex_searchのうち、目的のオーバーロードの定義を見てみますと、

template<class _BidIt,
    class _Alloc,
    class _Elem,
    class _RxTraits> inline
    bool regex_match(_BidIt _First, _BidIt _Last,
        match_results<_BidIt, _Alloc>& _Matches,
        const basic_regex<_Elem, _RxTraits>& _Re,
        regex_constants::match_flag_type _Flgs =
            regex_constants::match_default);

となっています。ここで先ほどの関数呼び出しと照らし合わせてみますと、テンプレートのそれぞれの型は、
_BidIt = std::string::iterator
_Elem = char (std::regexの定義が「typedef basic_regex<char> regex;」になっていることより)
になっています。(_Alloc,_RxTraitsは今回は関係ないので省略(デフォルト指定がなされているので無視できる))

よって、関数の定義を書き直すと以下のようになります。

bool regex_match(std::string::iterator _First,
    std::string::iterator _Last,
    match_results<std::string::iterator>& _Matches,
    const basic_regex<char>& _Re);

さて、これに引数の型がマッチしないということですから、_Matchesの型がマッチしていないということになります。(_Matchesのみテンプレート型の決定に関与していないため)
ここでstd::smatchの定義を確認すると、

typedef match_results<string::const_iterator> smatch;

となっており、match_resultsに与えられているテンプレート型が「iterator」と「const_iterator」との異なる型になっており、確かに一致していません。(やっと原因判明)
まあ、確かにこれではコンパイルが通らないのもうなずけます。

そこで、以下のようなコードに書き換えると、確かにうまく動きます。

#include <iostream>
#include <regex>

namespace myStd {
    typedef std::match_results<std::string::iterator> smatch;
}

int main(void) {
    std::string str = std::string("foobar");
    std::regex re(R"(foo)");
    myStd::smatch match;

    std::regex_search(str.begin(), str.end(), match, re);

    if(match.size() > 0)
        std::cout << match[0].str();

    return 0;
}

(逆に、関数std::regex_searchにイテレーターを与える際に(std::string::const_iterator)にキャストしてやってもうまく動きます)

しかし、このようにstdの定義を自分で勝手に書き換えて使うというのは何だか変な感じです。
インターネット上で調べてもこの問題に関する言及が特にありませんし、原因もよくわかりませんでした。

そこで、この問題に対する最適解はどのようになるのか、結局この問題の根本的な原因はいったい何なのか、を教えていただけるとありがたいです。

3
  • 3
    const iterator なので、str.cbegin()str.cend() を使うのではないでしょうか。std::regex_search(str.cbegin(), str.cend(), match, re);
    – user39889
    Commented 2016年7月27日 13:47
  • 確かにそれでコンパイルは通りますが、結局イテレーターを使う根本的な目的というのはサーチの開始位置や終了位置をプログラムで自在に制御するためであって、そのためにはイテレーターをconst値として使うのはあまり意味がないといえます。今回は簡単のためにイテレーターを操作する処理を入れていなかったため、その趣旨がわかりにくかったかもしれません。
    – grainrigi
    Commented 2016年7月27日 13:52
  • 2
    「​イテレーターをconst値として使うのはあまり意味がない」とありますが、「const_iterator型」と「const修飾されたiterator型」を混同していませんか?今回対象となるconst_iteratorは、イテレータが指す先の変更は不可ですが、イテレータ自身の値は変更可能(つまり位置の移動は可能)です。
    – yohjp
    Commented 2016年7月29日 0:38

1 件の回答 1

5

std::regex_searchに用意されている7つのオーバーロードのうちの

template< class BidirIt, 
          class Alloc, class CharT, class Traits >
bool regex_search( BidirIt first, BidirIt last,
                   std::match_results<BidirIt,Alloc>& m,
                   const std::basic_regex<CharT,Traits>& e,
                   std::regex_constants::match_flag_type flags = 
                       std::regex_constants::match_default );

を期待しているわけですが、第1・2引数はstr.begin()ということでBidirItテンプレート仮引数はstd::string::iterator型を指定しようとします。その上で第3引数はmatchということでstd::smatch&型となっています。

ここでstd::match_resultsでは

typedef std::match_results<std::string::const_iterator> std::smatch;

と定義されていてBidirItテンプレート仮引数はstd::string::const_iterator型にならなければなりません。

コンパイルエラーの原因はstring::iterator string::const_iteratorの不一致ですので解消方法としてもcbegin(str) cend(str)を使用する方法や、逆に

std::match_results<std::string::iterator> match;

と定義する方法もあります。

​イテレーターを使う根本的な目的というのはサーチの開始位置や終了位置をプログラムで自在に制御するためであって、そのためには‌​イテレーターをconst値として使うのはあまり意味がない

C++ conceptsで言うとIteratorInputIteratorのことを指されているかもしれませんが、std::string::iteratorOutputIteratorでもあります。つまりイテレーターを受け取った側(今回で言えばregex_search())が値を変更することも許してしまっています。

変更を認めないことを明示するためにも呼び出し側がstring::const_iteratorを明示的に選択する場面もあるかと。


実装の問題を指摘するのであれば動作確認を行った具体的な実装を提示すべきなような…。

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。