Wie verwenden Sie std :: not1 und std :: not2?

Question

Derzeit, wenn Sie ein Prädikat negieren möchten, müssen Sie eine std::<algorithm>_if_not Variante oder ein Lambda verwenden. Aber im Interesse der Wissenschaftler Ich möchte wissen, ob dies möglich ist:

std::string s("hello"); 
std::find_if(s.begin(), s.end(), std::not1(::ispunct)); 

Ohne meine eigene Funktion Objekt zu schreiben, wie dieser Code funktioniert?

Answer 1

Denken Sie daran, dass die richtige Art und Weise char s die Zeichenklassifikationsfunktionen passieren (zusammen mit toupper und tolower), die aus der C-Standard-Bibliothek kamen ist, es zuerst zu unsigned char und dann zu int zu konvertieren.

Mit std::ref und reference_wrapper ist dies leicht und falsch. Mit std::function<bool(int)> oder std::function<bool(char)> sind schwerer, und auch falsch. In all diesen Fällen wird char in der Zeichenfolge direkt in int konvertiert, was nicht der richtige Weg ist.

Wenn Sie darauf bestehen, nicht einen Lambda verwenden, dann

std::find_if(s.begin(), s.end(), std::not1(std::function<bool(unsigned char)>(::ispunct))); 

ist eine richtige Weg, es zu tun. Ansonsten

std::find_if(s.begin(), s.end(), [](unsigned char c) { return !ispunct(c); }); 

ist einfacher zu verstehen - und kürzer.

Answer 2

Der unäre Prädikat-Typ muss einen Mitgliedstyp argument_type definieren, der in den Prädikatparametertyp konvertierbar ist.

Der leichteste Weg ::ispunct zu wickeln ist std::reference_wrapper zu verwenden:

std::find_if(s.begin(), s.end(), std::not1(std::ref(::ispunct))); 
              ^^^^^^^^ 

Answer 3

Einer von Ansätzen ist std::reference_wrapper zu verwenden. Hier ist ein Demonstrationsprogramm

#include <iostream> 
#include <functional> 
#include <string> 
#include <cctype> 
#include <algorithm> 

int main() 
{ 
    std::string s("...hello"); 

    auto it = std::find_if(s.begin(), s.end(), std::not1(std::ref(::ispunct))); 

    std::cout << *it << std::endl; 

    return 0; 
} 

Der Ausgang ist

h