Terminologie entourant foncteurs

Question

Jetons un foncteur simple,

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

que je peux utiliser comme ceci par exemple -

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

Ma compréhension de la terminologie entourant foncteurs est que la classe LessThan est un foncteur. c'est-à-dire que c'est un type, pas un objet. c'est-à-dire abstrait, pas concret. Alors, comment appelons-nous LessThan(10)? Ici, nous créons un objet en instanciant le type de foncteur LessThan. Alors, l'appelons-nous un objet foncteur? Mais, les foncteurs sont des objets de fonction. Donc, LessThan(10) est un objet objet fonction?

N'est-ce pas absurde?

Answer 1

La terminologie pour les objets de fonction est la même que la terminologie pour les objets normaux: votre foncteur LessThan(10) a un type, qui est class LessThan. Notez que votre foncteur est une combinaison d'une fonction (c'est-à-dire "inférieure à") et de l'un de ses arguments (par exemple, int val). Le même effet peut être obtenu par la composition foncteur:

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

Demo.