C++, neka greska sa templatom ?

[clzola]

Jezik: C++

Prijavljuje mi gresku na sledeci kod...
Predajem funkciju tipa bool, kao argument, a zatim sa tom funkcijom kreiram template strukturu edgeComparator i nju predajem za priority_queue.

// Struktura edge
struct edge {
    int startNode;
    int endNode;
    int value;
};

// Funkcija za uporedjivanje
bool compare(edge lhs, edge rhs)
{
    return lhs.value>rhs.value;
}

// Ovo je template. za uporedjivanje dvije strukture, koji zavisi od edge.
template<bool(*f)(edge, edge)>
  struct edgeComparator {
      bool operator()(const edge& lhs, const edge& rhs) const {
          return f(lhs, rhs);
      }
  };

int put(graph* g, int start, int end, bool(*f)(edge, edge))
{
    edgeComparator<f> comparator; // Ovjde prijavi gresku
    priority_queue<edge, vector<edge>, comparator> edgeQ; // ovdje prijavi gresku
   
    ...
}

Error:

error: ‘f’ cannot appear in a constant-expression|
error: template argument 1 is invalid|
error: invalid type in declaration before ‘;’ token|

error: ‘comparator’ cannot appear in a constant-expression|
error: template argument 3 is invalid|
error: invalid type in declaration before ‘;’ token|

[Geomaster]

Loše. Mešaš templejtove i run-time vrednosti varijabla.
Template očekuje nešto što se može utvrditi tokom kompajlovanja. Ti mu prosleđuješ funkciju koju si dobio kao argument - totalni type mismatch. Korišćenje function pointera je prilično loše rešenje, ali bi mogao da umesto sa templejtom, to da uradiš kao member vairable:

struct edge_comp
{
protected:
     bool (*mFunction)(const edge&, const edge&);
public:
     edge_comp(bool (*f)(const edge&, const edge&)) : mFunction(f)
     { ; }

     inline bool operator()(const edge& one, const edge& two) const
     { return mFunction(one, two); }
};

int main(int argc, char** argv) 
{
    // neka je compare globalna funkcija za upoređivanje
    edge_comp comp(&compare);
    
    return 0;
}

Ali function pointeri su jako loše rešnje. Menjaj to