3

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

Вопрос: стоит ли делать шаблон для такой функции, а внутри просто проверять является ли тип данных "правильным", или лучше сделать всё обычной перегрузкой?

3
  • А что это за 9 типов? Чем они отличаются от "неправильных"? 29 окт 2017 в 19:00
  • @Voidificator стандартные типы int, double, bool, char и все модифицированные, которые могут без проблем превратится в std::string. Если же например вставить в фукнцию пользовательский класс, он никак не превратится в строку.
    – Samilton
    29 окт 2017 в 19:03
  • Рекомендую обратить взор на механизм явного инстанцирования. Он и дублирования кода позволит избежать, и проблемы с замедлением компиляцией решить (разместит код тех специализаций шаблона, которые Вам нужны, там, где Вам нужно). 4 ноя 2017 в 17:33

1 ответ 1

5

Вообще, один из плюсов (не главный, конечно) шаблонов - уменьшение дублирования кода. А так придется писать 9 почти одинаковых (за исключением типов) функций. Дублирование кода! (Или Вы не ленивый программист?) Используйте std::enable_if_t и отсекайте ненужные типы, для этого этот механизм и был введен в стандарт. Учитывая комментарий про типы, которые преобразуются в std::string, можете попробовать использовать std::is_convertible. Хотя стоит учесть специфику Вашей задачи, возможно, это недостаточное условие. Вот пример использования std::is_convertible с сайта:

#include <iostream>
#include <type_traits>

struct A { };
struct B : A { };

int main() 
{
    std::cout << std::boolalpha;
    std::cout << "is_convertible:" << std::endl;
    std::cout << "int => float: " << std::is_convertible<int,float>::value << std::endl;
    std::cout << "int = >const int: " << std::is_convertible<int,const int>::value << std::endl;
    std::cout << "A => B: " << std::is_convertible<A,B>::value << std::endl;
    std::cout << "B => A: " << std::is_convertible<B,A>::value << std::endl;
    return 0;
}

Про идиому SFINAE можно почитать тут. Варианты использования std::enable_if есть тут.

Если проверка типа при помощи std::is_convertible не подходит для данной задачи, то можно сделать проверки типа на основе std::is_integral, std::is_floating_point и прочих подобных структур. Прочитать про них можно, например, здесь. Полагаю, в задаче может быть обработано более 9 типов, учитывая всякие квалификаторы, типы int с размером, разные типы char и т.д. В таком случае, использование std::is_integral и компании оптимально, поскольку они успешно обрабатывают все подобные ситуации.

7
  • Насчёт std::enable_if всё понятно, спасибо. А вот насчёт std::is_convertible, оно тут вроде не применимо. Т.к. при выполнении std::is_convertible<int, std::string>::value, итог будет false.
    – Samilton
    29 окт 2017 в 21:37
  • @Samilton, а можете приложить к вопросу часть своего кода, какие действия Вы выполняете одинаково для указанных Вами типов, как для std::string?
    – Jens
    29 окт 2017 в 21:47
  • @Samilton дело в том, что «числа» и «строки» впринципе разные типы (логически), и то, что мы не ожидаем нормального приведения первого ко второму - нормально. Поэтому мы используем посимвольный перевод, распознаем цифры числа, через ASCII коды строим строку. Как бы число кодируется символами-цифрами, которые мы переводим в символы строки. В данной ситуации Вам стоит сделать во включении явное распознавание такой ситуации, например, через std::is_integral.
    – Jens
    29 окт 2017 в 21:48
  • это понятно, просто думал что при проверке на конвертацию std::string будут при этом задействованы std функции. Например для того что бы превращать double, int в string я использую std::to_string(), и она без проблем создает строку из этих типов.
    – Samilton
    29 окт 2017 в 21:52
  • 1
    @Samilton согласен, std::is_convertible больше подходит для иерархий и встроенных типов, в Вашей задаче не смотрится. Тогда используйте std::is_integral и т.п. en.cppreference.com/w/cpp/types/is_integral - там внизу страницы приведены еще некоторые подобные проверочные операции.
    – Jens
    29 окт 2017 в 22:20

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.