Proporcionar menos de operador para un elemento de un par

Question

¿Cuál sería la forma más elegante también fijar el siguiente código:

#include <vector> 
#include <map> 
#include <set> 
using namespace std; 

typedef map< int, int > row_t; 
typedef vector<row_t> board_t; 
typedef row_t::iterator area_t; 

bool operator< (area_t const& a, area_t const& b) { 
    return(a->first < b->first); 
}; 

int main(int argc, char* argv[]) 
{ 
    int row_num; 
    area_t it; 

    set< pair< int, area_t > > queue; 
    queue.insert(make_pair(row_num, it)); // does not compile 
}; 

Una forma de solucionarlo se está moviendo la definición de menos < a namespace std (lo sé,     que no se supone que hacerlo.)

namespace std { 
    bool operator< (area_t const& a, area_t const& b) { 
     return(a->first < b->first); 
    }; 
}; 

Otra solución obvia es la definición de menos de < para par < int, area_t> pero me gustaría evitar eso y ser capaz de definir el operador solo para el elemento del par donde no está definido.

Answer 1

Cuando está implementando un comparador que implementa un enfoque de comparación específico y/o bastante exótico, es mejor usar una función nombrada o un objeto de función en lugar de secuestrar el operator < para tal fin. Diría que la forma natural de comparar un objeto std::pair sería usar una comparación lexicográfica. Como su comparación no es lexicográfica, tomar el control operator < podría no ser una buena idea. Mejor implementar una clase comparador

typedef pair< int, area_t > Pair; // give it a more meaningful name 

struct CompareFirstThroughSecond { 
    bool operator()(const Pair& p1, const Pair& p2) const { 
    if (p1.first != p2.first) return p1.first < p2.first; 
    return p1.second->first < p2.second->first; 
    } 
}; 

y utilizarlo con su contenedor

std::set< Pair, CompareFirstThroughSecond > queue; 

(espero Descifré su intención desde el código original correctamente).

También puede implementar el método anterior operator() como un método de la plantilla, por lo que es utilizable con todos los tipos basados ​​en std::pair con un iterador como miembro second. Sin embargo, puede que no tenga sentido, ya que su comparación es lo suficientemente "exótica".