4

私は C++11 とすべての優れた新機能に追いつこうとしています。私はラムダに少しこだわっています。

これが私が仕事に取り掛かることができたコードです：

#include <iostream>
#include <cstdlib>
#include <vector>
#include <string>
#include <functional>

using namespace std;

template<typename BaseT, typename Func>
vector<BaseT> findMatches(vector<BaseT> search, Func func)
{
    vector<BaseT> tmp;

    for(auto item : search)
    {
        if( func(item) )
        {
            tmp.push_back(item);
        }
    }

    return tmp;
}

void Lambdas()
{
    vector<int> testv = { 1, 2, 3, 4, 5, 6, 7 };

    auto result = findMatches(testv, [] (const int &x) { return x % 2 == 0; });

    for(auto i : result)
    {
        cout << i << endl;
    }
}

int main(int argc, char* argv[])
{

    Lambdas();

    return EXIT_SUCCESS;
}

私がしたいのはこれです：

template<typename BaseT>
vector<BaseT> findMatches(vector<BaseT> search, function <bool (const BaseT &)> func)
{
    vector<BaseT> tmp;

    for(auto item : search)
    {
        if( func(item) )
        {
            tmp.push_back(item);
        }
    }

    return tmp;
}

基本的に、可能なラムダを適切な関数のサブセットに絞り込みたいと考えています。私は何が欠けていますか？これは可能ですか？GCC/G++ 4.6 を使用しています。

4

2 に答える 2

10

Stephan T. Lavavej が、このビデオでこれがうまくいかない理由を説明しています。基本的に、問題は、コンパイラがとパラメータの両方BaseTから推測しようとすることです。C++ のラムダはtypeではありません。名前のない一意の非共用体型であり、キャプチャ リストがない場合 (空) は関数ポインターに変換できます。一方、オブジェクトは、可能なタイプの呼び出し可能なエンティティ (関数ポインター、メンバー関数ポインター、関数オブジェクト) から作成できます。std::vector std::functionstd::function[]std::function

入ってくるファンクターをその特定のシグネチャに制限したい理由を個人的には理解していないことに注意してください（さらに、 のような多相関数ラッパーによる間接化はstd::function、ファンクターへの直接呼び出しよりもはるかに非効率的です（インライン化されている可能性もあります))が、これが実際のバージョンです。基本的に、それは部分の引数推定を無効にし、引数からstd::functionのみ推定します:BaseTstd::vector

template<class T>
struct Identity{
  typedef T type;
};

template<typename BaseT>
vector<BaseT> findMatches(vector<BaseT> search, 
    typename Identity<function<bool (const BaseT &)>>::type func)
{
    vector<BaseT> tmp;

    for(auto item : search)
    {
        if( func(item) )
        {
            tmp.push_back(item);
        }
    }

    return tmp;
}

Ideone での実例。

別の可能な方法は、ファンクターの型を直接制限するのではなく、SFINAE を介して間接的に制限することです。

template<class T, class F>
auto f(std::vector<T> v, F fun)
    -> decltype(bool(fun(v[0])), void())
{
  // ...
}

Ideone での実例。

fun型の引数を取らないT&場合、または戻り値の型が に変換できない場合、この関数はオーバーロード セットから削除されboolます。makeの, void()戻りf値の型void。

于 2012-08-02T09:22:01.050 に答える