0

Пишу алгоритм на коллекциях, на вход в своих нуждах планирую подавать std::vector либо std::string, шаблонизировал тип входной коллекции:

template<T>
void Foo(const T &mas)
{
    int n = mas.size();
    // ...
}

Такой код не работает для следующего вызова:

Foo("abc");

Это логично, потому что шаблон выводит тип const char[4], а не std::string. Что сделать, чтобы по-прежнему иметь возможность передачи в функцию вектора, но при этом чтобы при вышеуказанном вызове аргумент конвертировался в std::string ?

Я думал сделать специализацию шаблона для std::string, но вывод он сначала выводит тип аргумента и компиляция падает (вместо того, чтобы сначала взять специализацию, и попробовать сконвертировать аргумент).

6
  • Ой, не XY ли проблема у вас?... Но даже если нет - не морочьте голову, вызывайте Foo("abc"s); и не мучьтесь :)
    – Harry
    21 мар 2020 в 13:52
  • Очень может быть что XY ) Моя функция обрабатывает строку, но этот алгоритм не специфичен для строк, и может работать на векторе, я зашаблонил вход (вместо того, чтобы написать там std::string), и получил описанное выше неудобство... А "abc"s что делает? Автоматическая конвертация в string ?
    – zcorvid
    21 мар 2020 в 13:56
  • Добавление - что-то не сработало: error: unable to find string literal operator 'operator""s' with 'const char [8]', 'unsigned int' arguments... Компилировал с -std=c++17
    – zcorvid
    21 мар 2020 в 13:58
  • С ошибкой разобрался, надо было добавить using namespace std::string_literals;
    – zcorvid
    21 мар 2020 в 14:00
  • да, такой вариант есть, но может быть коду, использующую эту функцию, не нужно в других местах строковой литерал автоматически конвертировать в std::string 21 мар 2020 в 16:39

3 ответа 3

4

Можете добавить перегрузку:

inline auto Foo(const char * mas)
{
    return Foo<std::string>(mas);
}
4
  • Интересное решение, подожду других ответов, может ещё что посоветуют, но ваш вариант красив :)
    – zcorvid
    21 мар 2020 в 13:54
  • Или даже inline auto Foo(std::string const &mas) { return Foo<std::string>(mas); }?
    – bipll
    21 мар 2020 в 13:57
  • @bipll нет, для std::string перегрузка будет работать не так. В частности, код автора не соберется. 21 мар 2020 в 13:58
  • А, ну да, логично.
    – bipll
    21 мар 2020 в 14:02
1

Во первых нет таково template<T> синтаксиса... Нужно:

template<typename T> //или <class T>
void Foo(const T& mas)
{
    int n = mas.size();    
    // ...
}  

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

template <std::size_t N>
void Foo(const char(&array)[N]) {
    int n = strlen(array);
    //...    
}

Если код функции не меняется, и вы хотите, чтобы при вызове аргумент С_строка конвертировался в std::string, то можете вызвать функцию по первому шаблону:

template <std::size_t N>
void Foo(const char(&array)[N]) {
    Foo(std::string(array));
    //или
    Foo<std::string>(array);
}
//или же как в ответе от  Croessmah

Теперь можете вызывать функцию Foo("abc");

0

Еще можно сделать #include <iterator>, а внутри Foo все вызовы mas.size(), mas.begin() etc. заменить на std::size(mas), std::begin(mas), etc.

Будет работать для строк, векторов, массивов, чего угодно.

5
  • Если передадут массив, то да, если же на вход подадут просто указатель на C-строку, то снова будет ошибка. Но это нужно у автора уточнить, нужна ли ему конвертация в string в таком случае. 21 мар 2020 в 14:01
  • C strings are evil. :-\
    – bipll
    21 мар 2020 в 14:05
  • С-строки - наша жизнь ) 21 мар 2020 в 14:09
  • Ну правда, какая в них надобность в плюсах в 2020 году?
    – bipll
    21 мар 2020 в 17:49
  • ну, например, C-функции ничего не знают о std::string, а C-функции - это API операционной системы, сокеты, куча библиотек, свои переносимые библиотеки, и т.д. :) Да у того же std::string есть конструктор для строительства из C-строк. Так что работать с ними всё равно уметь надо. 21 мар 2020 в 18:01

Ваш ответ

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

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