Не компилируется! *WALL*

[Locode]

Ребят, есть небольшая программка. Кто может сказать почему она не комплируется. Не кидайтесь камнями сразу, читать сообщения компилятора я умею) Но по стандарту вроде не должно быть никакой неоднозначности, 1 должна привестись к типу дабл, а затем должна вызваться прегруженная операция + для комплексного+вещественного. Разве не так?

#include <iostream>
using namespace std;

class Complex
{
	double re;
	double im;
public:
	Complex()
	{
		re=0;
		im=0;
	}
	Complex(double x, double y)
	{
		re=x;
		im=y;
	}

	Complex operator+(const Complex &x)
	{
		Complex temp;
		temp.re=re+x.re;
		temp.im=im+x.im;
		return temp;
	}
	
	operator double() 
	{
		return re*im;
	}

	friend Complex operator+(Complex x, double y);
};

Complex operator+(Complex x, double y)
{
	Complex temp;
	temp.re=x.re+y;
	temp.im=x.im;
	return temp;
}

int main()
{
	Complex x(2,3);
	double a(5);

	a=x+1;
	cout<<a<<endl;
}

[Blade]

На сколько я понимаю, переменная a у вас типа double. Функция operator+ возвращает значение типа Complex. Получается не соответствие типов

[Sweta]

не ручаюсь за правильность, но по-моему нужно добавить библиотеку математ. функций.

[Pashan]

А что конкретно компилятор-то пишет?

[Blade]

Сообщение от Sweta

не ручаюсь за правильность, но по-моему нужно добавить библиотеку математ. функций.

Зачем? Тут нет библиотечных функций

[Locode]

Компилятор пишет:

ex1.cpp: In function ‘int main()’:
ex1.cpp:49: ошибка: ISO C++ says that these are ambiguous, even though the worst conversion for the first is better than the worst conversion for the second:
ex1.cpp:36: замечание: кандидат 1: Complex operator+(Complex, double)
ex1.cpp:49: замечание: кандидат 2: operator+(double, int) <built-in>

[Locode]

Насколько я знаю по стандарту при подборе подходящей функции из перегруженных действуют следующие правила:

• Если существует перегруженная функция, типы формальных параметров которой в точности совпадают с типами фактических параметров, выбирается эта функция.
• Иначе если существует единственная перегруженная функция такая, что типы можно согласовать только с помощью стандартных преобразований, выбирается эта функция. Если подобных функций несколько, компилятор диагностирует ошибку.
• Иначе если существует единственная перегруженная функция такая, что типы фактических параметров приводимы к типам формальных параметров, выбирается эта функция. Если подобных функций несколько, компилятор диагностирует ошибку.
• Если ни один из вышеперечисленных вариантов не удовлетворяет, диагностируется ошибка.

Нам как раз вроде 2 пункт подходит. Соответственно прога должна вывести число 9.
Но она почему-то ругается (

[still_alive]

Нам как раз вроде 2 пункт подходит. Соответственно прога должна вывести число 9.

Вы не объяснили компилятору, что надо делать в этой строке:
a=x+1;
То ли преобразовывать x к double и складывать double с int, то ли преобразовывать 1 к double и складывать Complex и double. Компилятор в недоумении.
Замените 1 на 1.0 и программа выведет 9.

[Locode]

Сообщение от still_alive

Вы не объяснили компилятору, что надо делать в этой строке:
a=x+1;
То ли преобразовывать x к double и складывать double с int, то ли преобразовывать 1 к double и складывать Complex и double. Компилятор в недоумении.
Замените 1 на 1.0 и программа выведет 9.

Вопрос как раз в этом! Разве по стандарту в этом случае компилятор не должен выбрать вариант с преобразованием x к double?

Это понятно что если заменить 1 на 1.0 получится 9 ) Вопрос не в получении результата, а в осмыслении действий компилятора.

[wyvern]

Это относится к тем вещам, где каждый компилятор действует так, как виделась ситуация его создателям.

Стандарт языка и компилятор - совершенно разные понятия. Кстати, одним из самых приближенных к стандарту плюсов считается старый (98 года вроде) вижуаловский...

Например, майкрософтовский компилятор ругается на следующий код:

for(int i=0;i<100;i++){
    cout << i << endl;
}

int i; // здесь компилятор говорит, что переменная уже объявлена

Я очень удивился, когда узнал...
Начиная с 2005 студии так делать можно...