web-dev-qa-db-ja.com

C ++で2つのstd :: setの交差点を見つける方法は？

C++で2つのstd :: setの交差点を見つけようとしましたが、エラーが発生し続けます。

このための小さなサンプルテストを作成しました

_#include <iostream>
#include <vector>
#include <algorithm>
#include <set>
using namespace std;

int main() {
  set<int> s1;
  set<int> s2;

  s1.insert(1);
  s1.insert(2);
  s1.insert(3);
  s1.insert(4);

  s2.insert(1);
  s2.insert(6);
  s2.insert(3);
  s2.insert(0);

  set_intersection(s1.begin(),s1.end(),s2.begin(),s2.end());
  return 0;
}
_

後者のプログラムは出力を生成しませんが、次の値を持つ新しいセット（_s3_と呼びましょう）が必要です。

_s3 = [ 1 , 3 ]
_

代わりに、エラーが発生しています：

_test.cpp: In function ‘int main()’:
test.cpp:19: error: no matching function for call to ‘set_intersection(std::_Rb_tree_const_iterator<int>, std::_Rb_tree_const_iterator<int>, std::_Rb_tree_const_iterator<int>, std::_Rb_tree_const_iterator<int>)’
_

このエラーから理解できるのは、_set_intersection_をパラメーターとして受け入れる_Rb_tree_const_iterator<int>_には定義がないということです。

さらに、std::set.begin()メソッドがそのようなタイプのオブジェクトを返すと仮定します。

c ++で2つの_std::set_の交差を見つけるより良い方法はありますか？組み込み関数が望ましいですか？

どうもありがとう！

c++stdstl-algorithmstdset
73
ILikeTacos

set_intersection の出力反復子を提供していない

template <class InputIterator1, class InputIterator2, class OutputIterator>
OutputIterator set_intersection ( InputIterator1 first1, InputIterator1 last1,
                                InputIterator2 first2, InputIterator2 last2,
                                OutputIterator result );

これを修正して

...;
set<int> intersect;
set_intersection(s1.begin(),s1.end(),s2.begin(),s2.end(),
                  std::inserter(intersect,intersect.begin()));

あなたには必要だ std::insertイテレータ。セットは現在空であるため。 setはこれらの操作をサポートしていないため、back_またはfront_inserterは使用できません。

88
Karthik T

リンクのサンプルをご覧ください： http://en.cppreference.com/w/cpp/algorithm/set_intersection

交差データを保存するために別のコンテナが必要です。以下のコードは動作するはずです：

std::vector<int> common_data;
set_intersection(s1.begin(),s1.end(),s2.begin(),s2.end(), std::back_inserter(common_data));
22
billz

std :: set_intersection を参照してください。結果を保存する出力イテレータを追加する必要があります。

#include <iterator>
std::vector<int> s3;
set_intersection(s1.begin(),s1.end(),s2.begin(),s2.end(), std::back_inserter(s3));

完全なリストについては、 Ideone を参照してください。

6
Olaf Dietsche

ここにコメントしてください。集合、交差操作を設定インターフェイスに追加する時が来たと思います。これを将来の標準で提案しましょう。私は長い間stdを使用してきましたが、set操作を使用するたびにstdが良いことを望みました。交差のような複雑な集合演算の場合、次のコードを簡単に（簡単に）変更できます。

template <class InputIterator1, class InputIterator2, class OutputIterator>
  OutputIterator set_intersection (InputIterator1 first1, InputIterator1 last1,
                                   InputIterator2 first2, InputIterator2 last2,
                                   OutputIterator result)
{
  while (first1!=last1 && first2!=last2)
  {
    if (*first1<*first2) ++first1;
    else if (*first2<*first1) ++first2;
    else {
      *result = *first1;
      ++result; ++first1; ++first2;
    }
  }
  return result;
}

http://www.cplusplus.com/reference/algorithm/set_intersection/ からコピー

たとえば、出力がセットの場合、output.insert（* first1）を使用できます。さらに、関数はテンプレート化されていない場合があります。コードがstd set_intersection関数を使用するよりも短くなる場合は、先に進みます。

2つのセットを結合したい場合は、単にsetA.insert（setB.begin（）、setB.end（））;これはset_unionメソッドよりもはるかに簡単です。ただし、これはベクターでは機能しません。

4
Kemin Zhou

受け入れられた回答 の最初の（よく投票された）コメントは、既存のstd set操作に対する演算子の欠落について不平を言っています。

一方では、標準ライブラリにそのような演算子がないことを理解しています。一方、必要に応じて（個人的な喜びのために）追加するのは簡単です。オーバーロードしました

  • operator *()セットの共通部分
  • operator +()セットの和集合用。

サンプル_test-set-ops.cc_：

_#include <algorithm>
#include <iterator>
#include <set>

template <class T, class CMP = std::less<T>, class ALLOC = std::allocator<T> >
std::set<T, CMP, ALLOC> operator * (
  const std::set<T, CMP, ALLOC> &s1, const std::set<T, CMP, ALLOC> &s2)
{
  std::set<T, CMP, ALLOC> s;
  std::set_intersection(s1.begin(), s1.end(), s2.begin(), s2.end(),
    std::inserter(s, s.begin()));
  return s;
}

template <class T, class CMP = std::less<T>, class ALLOC = std::allocator<T> >
std::set<T, CMP, ALLOC> operator + (
  const std::set<T, CMP, ALLOC> &s1, const std::set<T, CMP, ALLOC> &s2)
{
  std::set<T, CMP, ALLOC> s;
  std::set_union(s1.begin(), s1.end(), s2.begin(), s2.end(),
    std::inserter(s, s.begin()));
  return s;
}

// sample code to check them out:

#include <iostream>

using namespace std;

template <class T>
ostream& operator << (ostream &out, const set<T> &values)
{
  const char *sep = " ";
  for (const T &value : values) {
    out << sep << value; sep = ", ";
  }
  return out;
}

int main()
{
  set<int> s1 { 1, 2, 3, 4 };
  cout << "s1: {" << s1 << " }" << endl;
  set<int> s2 { 0, 1, 3, 6 };
  cout << "s2: {" << s2 << " }" << endl;
  cout << "I: {" << s1 * s2 << " }" << endl;
  cout << "U: {" << s1 + s2 << " }" << endl;
  return 0;
}
_

コンパイルおよびテスト済み：

_$ g++ -std=c++11 -o test-set-ops test-set-ops.cc 

$ ./test-set-ops     
s1: { 1, 2, 3, 4 }
s2: { 0, 1, 3, 6 }
I: { 1, 3 }
U: { 0, 1, 2, 3, 4, 6 }

$ 
_

私が嫌いなのは、演算子の戻り値のコピーです。多分、これは移動割り当てを使用して解決できますが、これはまだ私のスキルを超えています。

これらの「新しい派手な」移動セマンティクスに関する知識が限られているため、返されるセットのコピーを引き起こす可能性のある演算子の戻りが心配でした。 Olaf Dietsche _std::set_には既に移動コンストラクター/割り当てが装備されているため、これらの懸念は不要であると指摘されました。

私は彼を信じていましたが、これをチェックアウトする方法を考えていました（「自己説得」など）。実際、それは非常に簡単です。テンプレートはソースコードで提供する必要があるため、デバッガーを使用して簡単にステップスルーできます。したがって、operator *()の_return s;_にブレークポイントを配置し、シングルステップですぐにstd::set::set(_myt&& _Right)：etvoilà– move constructorに進みました。オラフ、（私の）啓発に感謝します。

完全を期すために、対応する代入演算子も実装しました

  • operator *=()は、セットの「破壊的な」交差を表します
  • operator +=()は、セットの「破壊的な」結合を表します。

サンプル_test-set-assign-ops.cc_：

_#include <iterator>
#include <set>

template <class T, class CMP = std::less<T>, class ALLOC = std::allocator<T> >
std::set<T, CMP, ALLOC>& operator *= (
  std::set<T, CMP, ALLOC> &s1, const std::set<T, CMP, ALLOC> &s2)
{
  auto iter1 = s1.begin();
  for (auto iter2 = s2.begin(); iter1 != s1.end() && iter2 != s2.end();) {
    if (*iter1 < *iter2) iter1 = s1.erase(iter1);
    else {
      if (!(*iter2 < *iter1)) ++iter1;
      ++iter2;
    }
  }
  while (iter1 != s1.end()) iter1 = s1.erase(iter1);
  return s1;
}

template <class T, class CMP = std::less<T>, class ALLOC = std::allocator<T> >
std::set<T, CMP, ALLOC>& operator += (
  std::set<T, CMP, ALLOC> &s1, const std::set<T, CMP, ALLOC> &s2)
{
  s1.insert(s2.begin(), s2.end());
  return s1;
}

// sample code to check them out:

#include <iostream>

using namespace std;

template <class T>
ostream& operator << (ostream &out, const set<T> &values)
{
  const char *sep = " ";
  for (const T &value : values) {
    out << sep << value; sep = ", ";
  }
  return out;
}

int main()
{
  set<int> s1 { 1, 2, 3, 4 };
  cout << "s1: {" << s1 << " }" << endl;
  set<int> s2 { 0, 1, 3, 6 };
  cout << "s2: {" << s2 << " }" << endl;
  set<int> s1I = s1;
  s1I *= s2;
  cout << "s1I: {" << s1I << " }" << endl;
  set<int> s2I = s2;
  s2I *= s1;
  cout << "s2I: {" << s2I << " }" << endl;
  set<int> s1U = s1;
  s1U += s2;
  cout << "s1U: {" << s1U << " }" << endl;
  set<int> s2U = s2;
  s2U += s1;
  cout << "s2U: {" << s2U << " }" << endl;
  return 0;
}
_

コンパイルおよびテスト済み：

_$ g++ -std=c++11 -o test-set-assign-ops test-set-assign-ops.cc 

$ ./test-set-assign-ops
s1: { 1, 2, 3, 4 }
s2: { 0, 1, 3, 6 }
s1I: { 1, 3 }
s2I: { 1, 3 }
s1U: { 0, 1, 2, 3, 4, 6 }
s2U: { 0, 1, 2, 3, 4, 6 }

$
_
2
Scheff