2017-12-20 8 views
-1

以下では、コンパイルしないC++で書かれたコードスニペットがあります。 理由は、not1()を使ってラムダ関数の結果を逆にしようとしているからです。誰かがアプローチのラムダ関数の結果を否定する方法

#include <iostream>  // std::cout 
using namespace std; 
#include <functional> // std::not1 
#include <algorithm> // std::count_if 
#include <vector> 

int main() { 
    vector<int> sv = {3, 5, 10,12 }; 
    vector<int> v = { 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15 }; 
    auto validSelection = [&](auto& e) { 
     auto isSelected = [&] (auto& sve) { 
      return e == sve; 
     }; 
     return find_if(sv.begin(), sv.end(), isSelected) != sv.end(); 
    }; 
    stable_partition(v.begin(), next(v.begin(),8) , not1(validSelection)); 
    for (int n : v) { 
     std::cout << n << ' '; 
    } 
    std::cout << '\n'; 
    return 0; 
} 
+5

"コンパイルしない"というエラーメッセージはありません。 –

+1

lambdaを使って 'notl'をやってみるのはなぜですか?(少なくとも私にとっては)もっと明確です。 –

+1

@appleapple特にこのコードが既に必要でないところでラムダを使用している場合 – Slava

答えて

2

一つは、ラッパーstd::functionを使用することです、このコードを修正することができれば私は非常に感謝します。例

auto even = [](int x) { return x % 2 == 0; }; 

std::cout << std::not1(std::function<bool(int)>(even))(11) << std::endl; 

の関数オブジェクトアダプタnot1は、引数として使用される対応する述語がtypedef名argument_typeresult_typeを持っていたラッパーstd::functionがそれらを提供する必要があります。あなたのケースでは

同等の呼び出しは次のようになります。

stable_partition(v.begin(), next(v.begin(), 8) , not1(function<bool(int&)>(validSelection))); 

Demo.

または私はあなたがそれをに示すように対応するコードを見ることができ、その後やろうとしている正確に何を理解していれば以下実証プログラム

#include <iostream> 
#include <vector> 
#include <functional> 
#include <algorithm> 

int main() 
{ 
    std::vector<int> sv = { 3, 5, 10, 12 }; 
    std::vector<int> v = { 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15 }; 

    auto validSelection = [&](int x) 
    { 
     return std::binary_search(sv.begin(), sv.end(), x); 
    }; 

    std::stable_partition(v.begin(), v.end(), validSelection); 

    for (int x : v) std::cout << x << ' '; 
    std::cout << std::endl; 

    std::stable_partition(v.begin(), v.end(), std::not1(std::function<bool(int)>(validSelection))); 

    for (int x : v) std::cout << x << ' '; 
    std::cout << std::endl; 

    return 0; 
} 

この場合、出力は

0123であります
3 5 10 12 1 2 4 6 7 8 9 11 13 14 15 
1 2 4 6 7 8 9 11 13 14 15 3 5 10 12 

ベクトルsvがソートされているので、アルゴリズムstd::binary_searchの使用に注意してください。

+0

ラッパーなしで動作しない理由を説明する必要があります。「単項述部タイプは、述部のパラメーター・タイプに変換可能なメンバー・タイプargument_typeを定義する必要があります。 – Slava

+0

実際には、ベクトルはソートされません。それはデモ目的のために書かれています。 –

+0

@SabetayTorosこの場合、式std :: find(..)!= sv.end()の代わりにstd :: binary searchの呼び出しを使用することができます –

関連する問題