Подскажите, как такое возможно? Ведь функции не могут отличаться только

Question

Подскажите, как такое возможно? Ведь функции не могут отличаться только

по return type:

template<typename T>
T add( double a, double b ) {
return static_cast<T>( a + b );
}

Если например будет два вызова функции, где T будет float и int

#c #embedded #programming #russian

0

28.12.2021

16 ответов

12 просмотров

Дмитрий Сергеев Автор вопроса

Anatoly Shirokov
возвращаемый тип не участвует в процессе разрешени...

Хм. Выходит будут сгенерированы вот такие функции: int add( double, double ); float add( double, double ); Это наверное работает только для фундаментальных типов?

0

28.12.2021

Anatoly Shirokov

Дмитрий Сергеев
Хм. Выходит будут сгенерированы вот такие функции:...

для любым типов, почему для фундаментальных только?

0

28.12.2021

Дмитрий Сергеев Автор вопроса

Anatoly Shirokov
для любым типов, почему для фундаментальных только...

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

0

28.12.2021

Anatoly Shirokov

Дмитрий Сергеев
Не пойму, как могут быть функции с одинаковыми наз...

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

0

28.12.2021

Stas

Дмитрий Сергеев
Не пойму, как могут быть функции с одинаковыми наз...

Шаблонные типы вообще не обязаны участвовать ни в return type ни в параметрах. Функция может быть и такой template<class UpdateStage> void update() например

0

28.12.2021

Дмитрий Сергеев Автор вопроса

Anatoly Shirokov
в данном случае вы имеете дело с полными специализ...

Понял, спасибо! А частичная специализация так не умеет, да? Как здесь например: template <> void add<int>(double, double); template <> void add<double>(double, double);

0

28.12.2021

Eyed Shovel

Дмитрий Сергеев
Понял, спасибо! А частичная специализация так не у...

Это не частичная специализация

0

28.12.2021

Дмитрий Сергеев Автор вопроса

Eyed Shovel
Это не частичная специализация

Я написал псевдо-код, вот реальный пример: template <typename T> inline typename std::enable_if<std::is_same<T, int>::value, void>::type add(double, double); template <typename T> inline typename std::enable_if<std::is_same<T, double>::value, void>::type add(double, double); Выглядит конечно офигеть как странно, но может быть сработает? :)

0

28.12.2021

Constantine Drozdov

Это не функция, а шаблон функции

0

28.12.2021

Eyed Shovel

Дмитрий Сергеев
Я написал псевдо-код, вот реальный пример: templa...

1. Прочитайте про helper types

0

28.12.2021

Eyed Shovel

Дмитрий Сергеев
Я написал псевдо-код, вот реальный пример: templa...

2. Что бы это ни было, это всё ещё не частичная специализация

0

28.12.2021

Constantine Drozdov

И да, в этом примере это не просто стилистическая поправка - если вы обратитесь к разделу стандарта defns вы узнаете, что для шаблона функции возвращаемое значение является частью сигнатуры (то есть допустима даже перегрузка по возвращаемому значению)

0

28.12.2021

Дмитрий Сергеев Автор вопроса

Eyed Shovel
2. Что бы это ни было, это всё ещё не частичная сп...

Интересно почему это не частичная специализация? Вроде специализация и вроде частичная. Или что-то упускаю?

0

28.12.2021

Eyed Shovel

Дмитрий Сергеев
Интересно почему это не частичная специализация? В...

Это SFINAE

0

28.12.2021

Eyed Shovel

Дмитрий Сергеев
Интересно почему это не частичная специализация? В...

Частичная специализация это: template <typename T, typename R> class A {}; template <typename T> class A<T, int> {}; Частичной специализации функций вообще нет

0

28.12.2021

Anatoly Shirokov · Accepted Answer

Anatoly Shirokov

возвращаемый тип не участвует в процессе разрешения перегрузки, но вызвать-то ты ее можешь: auto r1 = add<int>(10., 20.); auto r2 = add<double>(4., 5.);

0

28.12.2021

170 похожих чатов

Подскажите, как такое возможно? Ведь функции не могут отличаться только

16 ответов

Похожие вопросы