std::forward()について

Question

可変個数の引数の有無を確認できるようにする処理ですが、
return !contains_any(c, std::forward<T>(value)...);
部分だけどうしてstd::forwardである必要がありますか？

#include <iostream>
#include <vector>
#include <array>
#include <list>
#include <assert.h>

template<class C, class T>
bool contains(C const & c, T const & value)
{
   return std::end(c) != std::find(std::begin(c), std::end(c), value);
}

template<class C, class... T>
bool contains_any(C const & c, T &&... value)
{
   return (... || contains(c, value));
}

template<class C, class... T>
bool contains_all(C const & c, T &&... value)
{
   return (... && contains(c, value));
}

template<class C, class... T>
bool contains_none(C const & c, T &&... value)
{
   return !contains_any(c, std::forward<T>(value)...);
}

int main()
{
   std::vector<int> v{ 1,2,3,4,5,6 };
   std::array<int, 6> a{ { 1,2,3,4,5,6 } };
   std::list<int> l{ 1,2,3,4,5,6 };

   assert(contains(v, 3));
   assert(contains(a, 3));
   assert(contains(l, 3));

   assert(!contains(v, 30));
   assert(!contains(v, 30));
   assert(!contains(v, 30));

   assert(contains_any(v, 0, 3, 30));
   assert(contains_any(a, 0, 3, 30));
   assert(contains_any(l, 0, 3, 30));

   assert(!contains_any(v, 0, 30));
   assert(!contains_any(a, 0, 30));
   assert(!contains_any(l, 0, 30));

   assert(contains_all(v, 1, 3, 6));
   assert(contains_all(a, 1, 3, 6));
   assert(contains_all(l, 1, 3, 6));

   assert(!contains_all(v, 0, 1));
   assert(!contains_all(a, 0, 1));
   assert(!contains_all(l, 0, 1));

   assert(contains_none(v, 0, 7));
   assert(contains_none(a, 0, 7));
   assert(contains_none(l, 0, 7));

   assert(!contains_none(v, 0, 6, 7));
   assert(!contains_none(a, 0, 6, 7));
   assert(!contains_none(l, 0, 6, 7));
}

Answer 1

Forwarding reference(Universal reference)で引数を受け取っているときにもっとも効率的に他の関数に渡す方法だからですね。

ほかのForwarding referenceで引数を受け取っている関数は畳み込み式(fold expression)でそれを使用していますからstd::forwardは必要ありません。

Comments

[Y.R.T]

contains_any / contains_all もユニバーサル参照になっていますが、
なにか違いがあるのですか？

[Y.R.T]

あ、2項演算だからですね。
ありがとうございます。