5. operator<=>

最終更新日時(UTC):
が更新

履歴 編集

function template
<regex>

std::operator<=>(C++20)

namespace std {
  template <class BiIter>
  auto operator<=>(
    const sub_match<BiIter>& lhs,
    const sub_match<BiIter>& rhs);                            // (1) C++20

  template <class BiIter, class ST, class SA>
  auto operator<=>(
    const sub_match<BiIter>& lhs,
    const basic_string<
      typename iterator_traits<BiIter>::value_type,
      ST,
      SA
    >& rhs);                                                  // (2) C++20

  template <class BiIter>
  auto operator<=>(
    const sub_match<BiIter>& lhs,
    const typename iterator_traits<BiIter>::value_type& rhs); // (3) C++20

  template <class BiIter>
  auto operator<=>(
    const sub_match<BiIter>& lhs,
    const typename iterator_traits<BiIter>::value_type* rhs); // (4) C++20
}

概要

マッチした文字列を等値比較する。

戻り値

以下の定義があるとして、

SM_CAT(I) = compare_three_way_result_t<basic_string<typename iterator_traits<I>::value_type>>

  • (1) : 

    return static_cast<SM_CAT(BiIter)>(lhs.compare(rhs) <=> 0);

  • (2) : 

    return static_cast<SM_CAT(BiIter)>(lhs.compare(
  typename sub_match<BiIter>::string_type(rhs.data(), rhs.size())
) <=> 0)

  • (3) : 

    static_cast<SM_CAT(BiIter)>(lhs.compare(
  typename sub_match<BiIter>::string_type(1, rhs)
) <=> 0)

  • (4) : 

    return static_cast<SM_CAT(BiIter)>(lhs.compare(rhs) <=> 0);

備考

  • (1) の形式でもマッチした文字列のみが比較され、マッチした位置は考慮されない。（例を参照）
  • (2) の形式でも比較に使用する文字特性クラスは標準の char_traits<value_type> が使用され、テンプレート引数に指定された文字特性クラス ST は考慮されない。
  • この演算子により、以下の演算子が使用可能にになる：
    • operator<
    • operator<=
    • operator>
    • operator>=

例

#include <iostream>
#include <regex>
#include <string>

int main()
{
  const char ca[] = "abc abc";
  const std::regex re(R"((\w+) (\w+))");

  std::cmatch m;
  if (std::regex_search(ca, m, re)) {
    std::csub_match sub1 = m[1];
    std::csub_match sub2 = m[2];
    const std::string s1 = "abc";
    const std::string s2 = "ABC";
    std::cout << std::boolalpha
              << ((sub1  <=> sub2 ) == 0) << std::endl  // (1) の形式
              << ((sub1  <=> s2   ) == 0) << std::endl  // (2) の形式
              << ((sub1  <=> "abc") == 0) << std::endl  // (3) の形式
              << ((sub1  <=> 'a'  ) == 0) << std::endl; // (4) の形式
  } else {
    std::cout << "not match" << std::endl;
  }
}

出力

true
false
true
false

バージョン

言語

  • C++20

処理系

参照