g ++ ¿opciones de advertencia para el par de lanzamiento?

Question

Acabo de encontrar que C++ no da ninguna advertencia para el lanzamiento desde pair<double, int> hasta pair<int, int>, lo cual es un poco sorprendente. Aquí está mi programa test_pair.cpp:

#include <vector> 
#include <utility> 
using namespace std; 


int main() 
{ 
    std::vector<pair<int, int> > v; 
    pair<double, int> p = make_pair(3.8, 3); 
    v.push_back(p);               
} 

Compilo usando g++ test_type.cpp -Wall -Wconversion, pero todavía no se generan advertencias. Estoy usando g ++ v4.6.1. Alguien tiene alguna idea de cómo hacer que g ++ genere una advertencia para esto, o simplemente no se puede hacer?

Answer 1

Los pares (y las tuplas) son construibles a partir de casi cualquier cosa que quepa. En particular, cada elemento se puede construir a partir de cualquier elemento que sea implícitamente convertible a él. Básicamente, "hace lo que esperas". El pair tiene plantillas constructor que ser algo como esto:

template <typename U, typename V> 
pair(U && u, V && v) : first(std::forward<U>(u)), second(std::forward<V>(v)) 
{ } 

Sin embargo, sólo debe decir:

v.emplace_back(3.8, 3);