Непонятное использование оператора double()

class Rectangle
{
public:
    Rectangle(double x, double y) : _x(x), _y(y) {}
    operator std::string ();
    operator double ();
private:
    double _x, _y;
    double getArea() {return _x * _y;}
};

int main()
{
    Rectangle r(3, 2.5);
    cout << r << endl;
    return 0;
}

Ответ 2 · рейтинг 6 · Oktalist

Поскольку вы не предоставили перегрузку operator<< для Rectangle, компилятор рассматривает другие перегрузки, для которых аргументы могут быть преобразованы в типы параметров.

Если какая-либо из перегрузок является шаблоном, то подстановка аргумента шаблона происходит с ними до разрешения перегрузки. Компилятор пытается вывести параметры шаблона из типов аргументов, переданных функции.

Перегрузка string не рассматривается из-за ошибки подстановки аргумента шаблона:

template <class CharT, class Traits, class Allocator>
std::basic_ostream<CharT, Traits>&
    operator<<(std::basic_ostream<CharT, Traits>& os,
               const std::basic_string<CharT, Traits, Allocator>& str);

Подстановка аргументов шаблона не учитывает пользовательские преобразования, поэтому компилятор не может вывести типы CharT, Traits или Allocator из типа Rectangle, поэтому эта перегрузка не участвует в разрешении перегрузки. (Напомним, что std::string - это просто определение типа std::basic_string<char, std::char_traits<char>, std::allocator<char>>.)

Следовательно, есть одна перегрузка operator<<, которая лучше подходит, чем любая другая, и это перегрузка double. Не шаблон, а функция-член шаблона класса.

basic_ostream<CharT, Traits>& basic_ostream<CharT, Traits>::operator<<(double);

Ответ 3 · AmirArbel

В двойной перегрузке нет ничего особенного, кроме перегрузок других примитивных типов. В данном случае это единственная доступная примитивная перегрузка. Компилятор будет вести себя одинаково для int, char и т. д.

Обратите внимание, что если у нас будет более одной перегрузки примитивного типа, компилятор выдаст

error: ambiguous overload for 'operator<<' ...