Para que una plantilla (template
) reciba dos tipos de datos diferentes, debes indicarle que puede trabajar con dos tipos diferentes:
template <typename primer_tipo, typename segundo_tipo>
???? min(const primer_tipo &p, const segundo_tipo &s)
{
if ( p < s )
return p;
else return s;
}
Pero esto nos trae un problema ¿cuál de los dos tipos debe devolver la función? La respuesta obvia es "el tipo del valor que fuese menor", pero no existe ningún mecanismo en C++ para hacer que una función pueda devolver dos tipos diferentes.
Sin embargo podemos usar una std::variant
:
template <typename primer_tipo, typename segundo_tipo>
std::variant<primer_tipo, segundo_tipo> min(const primer_tipo &p, const segundo_tipo &s)
{
if ( p < s )
return p;
else return s;
}
La std::variant
es un tipo de datos que puede contener uno de los datos del tipo con que se la defina. Pero eso no significa que el código vaya a funcionar, significa que la función min
podrá aceptar dos tipos diferentes. Si hacemos la llamada que propones:
min( 7, string( "hola" ) )
El código no compilará porque no existe un operador menor que (<
) que compare enteros con cadenas, por suerte podemos definir uno:
bool operator<(const int &i, const std::string &s)
{
return i < s.length();
}
De esta manera, el siguiente código:
auto m1 = min(7, std::string{"hola"});
auto m2 = min(10, std::string{"patatas fritas con ketchup y mayonesa"});
En m1
tendremos "hola"
y en m2
tendremos 10
. Puedes ver el código funcionando en Wandbox 三へ( へ՞ਊ ՞)へ ハッハッ.
El operador que defines se hace para operar con un dato de tipo int
y otro string, pero ¿Cómo se podría hacer para dos tipos int
, para dos tipos string
? ¿Habría que repetir el código para cada uno o se puede hacer de forma genérica?
No se pueden sobrecargar operadores para tipos fundamentales así que no se podrá crear un operador de comparación para dos int
, en cuanto al operador de comparación de dos string
, éste ya existe. Si quieres generalizar la comparación "valor escalar" contra "cadena" debemos usar de nuevo plantillas:
template <typename escalar>
bool operator<(const escalar &e, const std::string &s)
{
static_assert(is_scalar_v<escalar>, "Debe ser un escalar!");
const auto length = s.length();
return static_cast<decltype(length)>(e) < length;
}
El operador anterior funcionará siempre que compares un escalar (números) contra un std::string
, pero sólo funciona con un tipo de cadena de caracteres, podemos ir un paso más allá:
template <typename escalar, typename caracter>
bool operator<(const escalar &e, const std::basic_string<caracter> &s)
{
static_assert(std::is_scalar_v<escalar>, "Debe ser un escalar!");
const auto length = s.length();
return static_cast<decltype(length)>(e) < length;
}
Con este cambio podrás comparar cualquier escalar con cualquier tipo de cadena (std::string
, std::wstring
, std::u16string
, ... ), si comparas un dato no escalar con una cadena dará un fallo de compilación con el mensaje:
static assertion failed: Debe ser un escalar!
Puedes ver el código funcionando en Wandbox 三へ( へ՞ਊ ՞)へ ハッハッ.