Следующий код имеет ошибку приведения типа
#define IMG_I (std::complex<double>(0, 1))
#define PI 3.1415926535
for (unsigned long int j = 0; j < 10; ++j)
std::cout << exp(-IMG_I * PI * j);
Приведение типов можно легко решить, используя дополнительные скобки или изменяя порядок умножения. Но мне непонятно, почему вообще возникает проблема приведения типов и почему С++ не может обрабатывать приведенный выше код как есть.
кто-нибудь может объяснить это для меня?
const std::complex<double> IMG_I(0, 1);? 23.02.2011 Эта перегрузка operator* для std::complex представляет собой шаблон функции с объявлением, которое выглядит так:
template<typename T>
complex<T> operator*(const complex<T>& lhs, const T& val);
T в complex<T> для аргумента lhs должно совпадать с T для аргумента val, чтобы вывод аргумента шаблона работал.
Вы пытаетесь вызвать его с помощью std::complex<double> (тип -IMG_I * PI) и unsigned long (тип j). double и unsigned long не относятся к одному и тому же типу, поэтому вывод аргумента шаблона невозможен.
-IMG_I * (PI * j) работает, потому что тип PI * j — это double, поэтому нет никакой двусмысленности относительно того, что такое T. Аналогично, -IMG_I * PI * static_cast<double>(j) работает по той же причине.
Если вы посмотрите на заголовочный файл, определяющий комплекс:
template
inline complex<_Tp>
operator*(const complex<_Tp>& __x, const _Tp& __y)
{
complex<_Tp> __r = __x;
__r *= __y;
return __r;
}
Вы увидите, что вместо _Tp (в данном случае double) вторым параметром является const _Tp&. Это означает, что C++ не желает выполнять неявное приведение из целого числа j, отсюда и ошибка.
Если бы второй параметр был переписан как _Tp, встроенное в C++ неявное преобразование типов преобразовало бы целое число в двойное, и ваш код скомпилировался бы.
complex<T> и U), временный double был бы создан из unsigned long и этот временный мог быть передан operator*. Только если параметр является неконстантной ссылкой (T& вместо const T&), он не может быть привязан к временной. 23.02.2011 
static_cast<double>(j)23.02.2011