Можно ли при вызове функции указать в него тип данных?

Question

[Acaunt]

Хочу создать перегруженную функцию поиска типа данных в документе. Решение я уже знаю:

Решение

void search(int *tip, std::string str) {
    /*
    Поиск и проверка параметра
    */
    *tip = 5; // вместо 5 найденное значение
     // Написал для примера
}
void search(std::string *tip, std::string str) {
    /*
    Поиск и проверка параметра
    */
    *tip = "Просто пример";
}

int main() {
    int a;
    std::string b;
    search(&a, "a");
    search(&b, "b");
}

Но первая мысль, которая пришла мне в голову, скорее всего неправильная, вот такая:

Мысль

auto search(int, std::string str) {
    /*
    Поиск и проверка параметра
    */
    return 5; // вместо 5 найденное значение
     // Написал для примера
}
auto search(std::string, std::string str) {
    /*
    Поиск и проверка параметра
    */
    return "Просто пример";
}

int main() {
    int a = search(int, "a");
    std::string b = search(std::string, "b");
}

Можно ли сделать что-нибудь подобное?

Answer 1

[Dmitrii]

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

template <typename T>
auto search (std::string str) {
    // T - data type
    T res;
    // do something
    return res;
}

int main () {
    auto a = search<int>("a");
    auto b = search<std::string>("a");
}

Comments

[Acaunt]

Спасибо за реализацию только ещё пара вопросов:
1) в main обязательно ли указывать auto, а не int и std::string.
2) как вам кажется, что лучше будет использовать моё решение или то что вы написали?

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

Acaunt, я позволю себе дать ответы на твои вопросы, ни коим образом не отнимая право на них у автора ответа.

1) Явное лучше неявного. Широкое использование auto только усложняет чтение кода, сбивает читателя с его мысли и заставляет задаваться совсем ненужными вопросами. Поэтому лучше указывать явные типы переменных. А обобщение использовать стоит только тогда, когда указание явного типа только затрудняет понимание кода при чтении.
2) Интуитивно более понятен и удобен вариант автора ответа, за тем лишь исключением, что обобщенный тип результата в шаблоне - это как у собаки пятая нога. auto в типе результата буквально незачем. Объявление этого шаблона должно быть таким:

template <typename TResult>
TResult search (std::string str);

Это снова потому что явное лучше неявного. Шаблоны читать итак нелегко, а когда там еще и обобщения накручены, то становится только сложнее. Обобщение следует использовать только в обобщенных функциях, а не в шаблонах.

[Dmitrii]

Acaunt, полностью согласен с Евгений Шатунов.
Злоупотребление auto вредит читаемости, особенно в данном случае в контексте возвращаемых значений. Просто скопировал ваш код и изменил его минимально.

[Acaunt]

Dmitrii, Евгений Шатунов, Спасибо вам за помощь, но мне пришлось ещё немного переделать функцию. Я оставлю здесь то, что у меня получилось для тех кто ищет подобное решение:

Решение

#include <iostream>

template<typename TResult>
TResult search(std::string str) {
    /*
    Поиск параметра
    */
    TResult res;
    if constexpr (std::is_same_v<TResult, int>) {
        // Проверяю найденное значение на тип данных int
        res = 5; // Вместо 5 найденное значение
        // Написал для примера
    }
    else if  constexpr (std::is_same_v<TResult, std::string>) {
        res = "Просто пример";
    }
    return res;
}

int main() {
    int a = search<int>("a");
    std::string b = search<std::string>("b");
}

[Adamos]

Acaunt, вообще-то ко всем выше перечисленным аргументам о читаемости имеет смысл добавить еще один.
Отдельные функции searchInt / searchString в данном случае практически не увеличат код, но избавят и пишущего, и читающего от необходимости разбираться в шаблонах вовсе.