C++でJavaのcontainsAllを実現したい

Question

###前提・実現したいこと
C++のstd::setでJavaのcontainsAllを実現しようとしているのですが，イテレータの値を使ってset内を検索しようとすると以下のエラーが出ます．
おそらく変換ができていないですが，解決方法がわかりませんでした．

お分かりになる方いましたら，ご教示ください．
よろしくお願いします．

Debian 8.7
gcc 4.9.2
g++ 4.9.2
###発生している問題・エラーメッセージ

test.cc: In function ‘int main()’:
test.cc:11:20: error: could not convert ‘st1.std::set<_Key, _Compare, _Alloc>::find<int, std::less<int>, std::allocator<int> >((* & it.std::_Rb_tree_const_iterator<_Tp>::operator*<int>()))’ from ‘std::set<int>::iterator {aka std::_Rb_tree_const_iterator<int>}’ to ‘bool’
   if (st1.find(*it)) cnt++;
                    ^

###該当のソースコード

#include <iostream>
#include <set>

int main() {
	std::set< int > st1{1, 2, 3};
	std::set< int > st2{1, 2};
	int cnt = 0;

	for (auto it = st2.begin(); it != st2.end(); it++)
		if (st1.find(*it)) cnt++;

	if (cnt == st2.size()) 
		std::cout << "st2 all contans in st1" << std::endl;

	return 0;
}

Answer 1

std::includesでイッパツでしょ。

// #incude <algorithm>
bool result = std::includes(set1.begin(), set1.end(), set2.begin(), set2.end());

Answer 2

"st2はst1を含むか検査する"と解釈して回答します。

std::set::findはstd::set::iteratorまたはstd::set::const_iteratorを返し、それらの型は bool へのキャストについて定義しませんので、変換出来ずエラーとなります。提示されたコードを前掲の前提の基、極力変えずに修正するならば、以下のようになるでしょう。

#include <iostream>
#include <set>

int main() {
    std::set< int > st1{1, 2, 3};
    std::set< int > st2{1, 2};
    std::size_t cnt = 0;

    for (auto it = st2.begin(); it != st2.end(); it++)
        if (st1.end()!=st1.find(*it)) cnt++;

    if (cnt == st1.size()) 
        std::cout << "st2 contains st1" << std::endl;

    return 0;
}

尚、C++11以降であれば、std::all_ofを使う事で、簡単に記述できます。

#include <iostream>
#include <set>

int main() {
    std::set< int > st1{1, 2, 3};
    std::set< int > st2{1, 2};

    if (std::all_of(std::begin(st1),std::end(st1),[&st2](const auto& x){return st2.end()!=st2.find(x);}))
        std::cout << "st2 contains st1" << std::endl;
}

Comments

[tatataro]

プログラムまで書いていただきありがとうございます！
countをsize_t型にする部分でなるほど、となりました．
all_ofについては勉強不足でしたが，だいぶシンプルに書けるようなので勉強致します．
ありがとうございました！

[kjfkhfhgx]

私の上記回答では std::all_of に条件判定のラムダを渡していましたが、
episteme さんのおっしゃる通り、std::includes を使う事で、より意味合いとしても明快に、簡潔に記述できます。まずこちらを推めるべきでした。

Answer 3

find でイテレータが返ってきているので、これをそのまま bool として使うことはできない、と言われているだけですね。

Comments

[tatataro]

以下のように変更することで希望通りのプログラムを作れました，ありがとうございます！
この変更部分ですが，変数indexを作らずに無理なく書くことはできますでしょうか？
もし別の良い書き方があるようでしたら教えていただけるとありがたいです．

auto index = st1.find(*it);
if (*index) cnt++;

[koko_u]

> 以下のように変更することで希望通りのプログラムを作れました，

setの要素として 0 が格納されている場合に問題になります。ご確認下さい。

[tatataro]

その通りでしたので，ifの条件式を変更します．
ご指摘ありがとうございます！