Con este sencillo objeto:
struct S
{
operator std::string() const { return "S"; }
};
Esperaba que este programa mostrase S
:
int main()
{
S s;
std::cout << s;
retutrn 0;
}
Sin embargo muestra una larga colección de errores de compilación relacionados con std::ostream
, entre ellos:
error: no match for 'operator<<' (operand types are 'std::ostream' {aka 'std::basic_ostream<char>'} and 'S') | std::cout << s; | ~~~~~~~~~ ^~ ~ | | | | | S note: candidate: 'template<class _CharT, class _Traits, class _Alloc> std::basic_ostream<_CharT, _Traits>& std::operator<<(std::basic_ostream<_CharT, _Traits>&, const std::__cxx11::basic_string<_CharT, _Traits, _Allocator>&)' | operator<<(basic_ostream<_CharT, _Traits>& __os, | ^~~~~~~~ note: template argument deduction/substitution failed: note: 'S' is not derived from 'const std::__cxx11::basic_string<_CharT, _Traits, _Allocator>' | std::cout << s; | ^
Se queja de que S
no deriva de std::string
, si creo dicha relación:
struct S : public std::string
{
operator std::string() const { return "S"; }
};
Desaparecen los errores, pero no muestra S
por pantalla y el compilador da una alarma:
warning: converting 'S' to a base class 'std::string' {aka 'std::__cxx11::basic_string<char>'} will never use a type conversion operator [-Wclass-conversion] | operator std::string() const { return "S"; } | ^~~~~~~~
Indica que la conversión a la clase base nunca usará el operador de conversión. Obviamente, con una conversión explícita el problema desaparece:
S s;
std::cout << static_cast<std::string>(s); // llama al operador de conversión
También desaparece el problema con el operador de std::ostream
adecuado:
std::ostream &operator<<(std::ostream &o, const S &s)
{
return o << static_cast<std::string>(s);
}
Pero me gustaría saber por qué std::ostream
no es capaz de usar el operador de conversión a std::string
del objeto S
.