При множественной декларации вызов через шаблон типа?

Question

[Nightmare A]

В общем есть функция у которой есть несколько определений, допустим

sin(int)
sin(flota)
sin(double)
sin(long)
sin (long long)

Есть шаблон вызова функции

template<typename T> call_func(T param) {sin(param);}

Возникает ошибка неопределённого вызова, как решить данную проблему?

Comments

[Евгений Шатунов]

Вадим Ушаков , а где эта ошибка возникает? В каком коде?
У тебя в вопросе нет того кода, который инстанцирует шаблон этой функции, по которому можно сделать вывод о совершенных тобой ошибках.

[Nightmare A]

Евгений Шатунов, Ну есть несколкьо функций одноимённых, вызываются в шаблоне с разными типами. Возникает ошибка.

[Nightmare A]

Евгений Шатунов, Серьезность Код Описание Проект Файл Строка Состояние подавления
Ошибка C2668 abs: неоднозначный вызов перегруженной функции Машинный Выполнение G:\Workspace\cpp.machinarium.gui\Исходники\Classes\Geometry\Primitives\Point.cpp 19

[Nightmare A]

Евгений Шатунов,

#include <cmath>

template<typename T> T Point2D<T>::distance(const Point2D<T>& to) const
{
    T dx = abs(get_x() - to.get_x()),
      dy = abs(get_y() - to.get_y());

    return sqrt(dx*dx + dy*dy);
}

Answer 1

[Wataru]

Вы бы хоть ошибку-то привели. У меня возникает:

error: ISO C++ forbids declaration of 'call_func' with no type [-fpermissive]

И чтобы ее иcправить, надо лишь дописать тип возвращаемого значения. Например:

template<typename T>
void call_func(T param) {sin(param);}

Comments

[Nightmare A]

На винде это тестируется?

[Wataru]

Вадим Ушаков, тут должно быть без разницы. Я вбил в гугл online c++ compiler и на первом же сайте все заработало.

[Nightmare A]

Wataru, в визуал студио почему то не работает

[Wataru]

Вадим Ушаков, покажите код. Весь релевантный. Скопируйте ошибку. Всю целиком.

[Nightmare A]

Wataru, uje reshil tak

#define abs_macro(TYPE_1) dx, dy = abs((TYPE_1)get_x() - to.get_x()), abs((TYPE_1)get_y() - to.get_y()); return sqrt((TYPE_1)dx*dx + dy*dy);

template<typename T> T Point2D<T>::distance(const Point2D<T>& to) const
{
#ifdef __Linux__
    T dx = abs(get_x() - to.get_x()),
      dy = abs(get_y() - to.get_y());

    return sqrt(dx*dx + dy*dy);
#else if (__Windows__)
    using namespace Machinery::Types;
    T dx, dy;

    switch (typeid(T))
    {
        case int: abs_macro(int)
        case float: abs_macro(float)
        case double: abs_macro(double)
        case llong: abs_macro(llong)
        case ullong: abs_macro(ullong)
        case uint: abs_macro(uint)
        case ushort: abs_macro(ushort)
        case uchar: abs_macro(uchar)
        case byte: abs_macro(byte)
        default:
            throw;
    }
#endif
}

[Wataru]

Вадим Ушаков,

(TYPE_1)get_x() 
...
 switch (typeid(T))

Не кажется ли вам, что если get_x возвращает T, то вся эта конструкция вообще ничего не делает?

Кстати, abs тут вам вообще не нужны, ведь в формуле расстояния вы возводите dx в квадрат, а квадрат отрицательного равен квадрату модуля.

[Wataru]

Вадим Ушаков, Ах, да у вас там в макросе Python-style множественное присвоение. Оно так не работет. Код распарсится как (dx), (dy = ...), ....

[Nightmare A]

Wataru,

Рабочий вариант,

using namespace Machinery::Types;
    T dx, dy;

    constexpr switch (typeid(T))
    {
        case typeid(int): abs_macro(int)
        case typeid(float): abs_macro(float)
        case typeid(double): abs_macro(double)
        case typeid(llong): abs_macro(llong)
        case typeid(ullong): abs_macro(ullong)
        case typeid(uint): abs_macro(uint)
        case typeid(ushort): abs_macro(ushort)
        case typeid(uchar): abs_macro(uchar)
        case typeid(byte): abs_macro(byte)
        default:
            throw;
    }

[Wataru]

Вадим Ушаков, вы тестировали, что расстояние правильно считается-то?