Terminologie rund um functors

Question

Lassen Sie uns ein einfaches Funktors

class LessThan { 
public: 
    explicit LessThan (int in) : val(in) {} 
    bool operator() (int param) const { 
     return param < val; 
    } 
private: 
    int val; 
}; 

, die ich so zum Beispiel verwenden können -

vector<int> myVector = factory(); 
size_t count = count_if(begin(myVector), end(myVector), LessThan(10)); 

Mein Verständnis der Terminologie rund um functors ist, dass die Klasse LessThan ein Funktor ist. d.h. es ist ein Typ, kein Objekt. es ist abstrakt, nicht konkret.

Also, was nennen wir LessThan(10)? Hier erstellen wir ein Objekt, indem wir den Funktortyp LessThan instanziieren. Also, nennen wir es ein Funktor-Objekt? Funktoren sind jedoch Funktionsobjekte. Also, LessThan(10) ist ein Funktionsobjekt Objekt ??

Ist das nicht absurd?

Answer 1

Terminologie für Funktionsobjekte ist die gleiche wie die Terminologie für reguläre Objekte: Ihr Funktor LessThan(10) hat einen Typ, der class LessThan ist.

Beachten Sie, dass Ihr Funktor eine Kombination aus einer Funktion (d. H. "Weniger als") und einem seiner Argumente (z. B. int val) ist. Der gleiche Effekt kann durch Funktors Zusammensetzung erreicht werden:

auto f = bind(less<int>(), _1, 10); // f is LessThan(10) 

Demo.