Come si usa std :: not1 e std :: not2?

Question

Attualmente se si desidera annullare un predicato, è necessario utilizzare una variante std::<algorithm>_if_not o una lambda. Ma per il bene degli accademici Voglio sapere se questo è possibile:

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

senza scrivere il mio oggetto funzione, come fare questo lavoro di codice?

Answer 1

Ricordate che il modo corretto di passare char s per le funzioni di classificazione dei caratteri (insieme a toupper e tolower) che è venuto dalla libreria standard C è per convertirlo prima a unsigned char e poi a int.

Utilizzare std::ref e uno reference_wrapper per questo è leggero e sbagliato. L'utilizzo di std::function<bool(int)> o std::function<bool(char)> è più pesante e anche sbagliato. In tutti questi casi, lo char nella stringa viene convertito direttamente in int, che non è il modo giusto per farlo.

Se ti ostini a non usare un lambda, quindi

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

è un modo giusto per farlo. Altrimenti

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

è più facile da capire - e più breve.

Answer 2

Il tipo di predicato unario deve definire un tipo di membro, argument_type, convertibile nel tipo di parametro del predicato.

Il modo più leggero per avvolgere ::ispunct è quello di utilizzare std::reference_wrapper:

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

Answer 3

Uno degli approcci è quello di utilizzare std::reference_wrapper. Ecco un programma dimostrativo

#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; 
} 

L'uscita è

h