Как указать тип аргумента шаблона для функции?

@Соколиный глаз · Регистрация: 25.07.2014

Студворк — интернет-сервис помощи студентам

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
#include <iostream>
#include <windows.h>
#include <vector>
#include <stdexcept>
#include <algorithm>
 
using namespace std;
 
void println()
{
    cout << endl;
}
 
template<typename T>
void print(T source)
{
    cout << source;
}
 
template<typename T>
void println(T source)
{
    print(source);
    println();
}
 
template<typename TIterator>
void print(TIterator begin, TIterator end)
{
    while (begin < end)
    {
        cout << *begin << " ";
        begin++;
    }
}
 
template<typename TIterator>
void println(TIterator begin, TIterator end)
{
    print(begin, end);
    println();
}
 
 
bool predicate(int arg0)
{
    return arg0 % 2 == 0;
}
 
int main(int argc, char** argv)
{
    SetConsoleOutputCP(1251);
    
    vector<int> x;
    for (int i = 0; i < 10; i++)
        x.push_back(i);
    
    println(x.begin(), x.end());
    
    println<vector<int>::iterator, vector<int>::iterator, (*action)(int x)>(count_if(x.begin(), x.end(), predicate));
 
    for_each(x.begin(), x.end(), print);
    
    return 0;
}

Без явного указания компилятор не мог понять какой print я имею ввиду. У меня не получается указать тип print:

C++
1
 (*action)(int x)

Добавлено через 21 минуту
Цель: вывести через println результат count_if.

@eva2326 · 07.03.2019, 19:09

Сообщение от Undisputed

Для for_each требуется конкретная функция а не шаблон.
Выявление типа шаблона в функциях происходит по факту передачи аргументов.
А в момент вызова for_each шаблонной функции еще не переданы аргументы.
Соответственно каким будет тип Т так же неизвестно.
Если явно определить что есть Т - тогда будет работать

Прохладная история, Бро))

А теперь правильный ответ:

Декларация функции имеет вид:

C++
1
2
template <class InputIterator, class Function>
   Function for_each (InputIterator first, InputIterator last, Function fn);

Вот так, через одно место сделали.
Они могли бы вывести сигнатуру Function из типа аргумента InputIterator.
Но они этого не сделали.

Разработчики решили: да ладно, итак сойдёт!

Но из того факта, что в стандартной библиотеке сделали через задницу,
никак не следует, что "выявление типа шаблона в функциях в принципе происходит через задницу".

Соколиный глаз, у вас в коде фигурирует:

Сообщение от Соколиный глаз

for_each(x.begin(), x.end(), print<int>); // error

И есть две перегрузки, которые подходят под такое описание:

Сообщение от Соколиный глаз

template<typename T>
void print(T source)

И

Сообщение от Соколиный глаз

template<typename TIterator>
void print(TIterator begin, TIterator end)

В обоих случаях - это шаблон с одним параметром.
Ну и какая именно имеется ввиду?

Компилятор не телепат.

@Undisputed · 07.03.2019, 19:11

Сообщение от Undisputed

Например когда перегружаем родительский метод библиотечного класса

Вернее не перегружаем а переопределяем.

_stanislav,
Наверное уровень выдачи ошибок не на подходящем уровне... должен быть warning

@Соколиный глаз · 07.03.2019, 19:12 **[ТС]**

eva2326, Вы хотите сказать, что компилятор сначала зырит на количество шаблонных параметров?

@Undisputed · 07.03.2019, 19:13

Не по теме:

Сообщение от eva2326

Прохладная история, Бро))

Проверьте форточку...

@eva2326 · 07.03.2019, 19:18

Сообщение от Соколиный глаз

Главный вопрос - почему
template<typename TIterator1, typename TIterator2>
void print(TIterator1 begin, TIterator2 end) //

Потому что одна версия с одним параметром, а вторая - с двумя.
Когда вы пишете: print<int>, очевидно жеж,
что имеется ввиду версия с одним параметром,
неоднозначности не возникает.

Добавлено через 1 минуту

Сообщение от Соколиный глаз

Вы хотите сказать, что компилятор сначала зырит на количество шаблонных параметров?

А как он по вашему должен догадаться, какую именно версию шаблона функции вы имеете ввиду?

@rikimaru2013 · 07.03.2019, 19:22

Думал, думал над задачей, потом придумал сам себе другую и вот результат - надеюсь будет интересно

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
#include <iostream>
#include <windows.h>
#include <vector>
#include <stdexcept>
#include <algorithm>
#include <type_traits>
#include <numeric>
 
namespace details
{
    template<class T> struct property_
    {
        template <typename T, typename = void>
        struct is_std_container
            : std::false_type {};
 
        template <typename T>
        struct is_std_container<T, std::void_t<decltype(std::declval<T&>().begin()), decltype(std::declval<T&>().end()), typename T::value_type>>
            : std::true_type {};
 
        template<typename T, typename = void>
        struct is_iterator
            : std::false_type {};
 
        template<typename T>
        struct is_iterator<T, typename std::enable_if<!std::is_same<typename std::iterator_traits<T>::value_type, void>::value>::type>
            : std::true_type {};
 
        enum { eINTEGRAL = std::is_integral<T>::value };
        enum { eCONTAINER = is_std_container<T>::value };
        enum { eITERATORS = is_iterator<T>::value };
        enum { eIS_OTHER = !eINTEGRAL && !eCONTAINER && !eITERATORS };
    };
 
    template<class T>
    using for_integer = typename std::enable_if< property_<T>::eINTEGRAL >::type*;
 
    template<class T>
    using for_iterators = typename std::enable_if< property_<T>::eITERATORS  >::type*;
 
    template<class T>
    using for_container = typename std::enable_if< property_<T>::eCONTAINER  >::type*;
 
    template<class T>
    using for_other = typename std::enable_if< property_<T>::eIS_OTHER >::type*;
}
 
template<typename T, details::for_integer<T> = nullptr>
void print(T source)
{
    std::cout << "(int)" << source << std::endl;
}
template<typename T, details::for_other<T> = nullptr>
void print(T source)
{
    std::cout << "(other)" << source << std::endl;
}
 
template<typename It, details::for_iterators<It> = nullptr>
void print(It beg, It end)
{
    std::cout << "(iter)";
    while (beg < end)
    {
        std::cout << *beg << " ";
        beg++;
    }
    std::cout << std::endl;
}
 
template<typename Cont, details::for_container<Cont> = nullptr>
void print(Cont& cont)
{
    std::cout << "(cont)";
    auto beg = std::begin(cont);
    auto end = std::end(cont);
    while (beg< end)
    {
        std::cout << *beg << " ";
        beg++;
    }
    std::cout << std::endl;
}
 
 
int main()
{
    std::vector<int> x;
    x.resize(10);
    std::iota(std::begin(x), std::end(x), 0);
 
    print(1);
    print(std::begin(x), std::end(x));
    print(x);
    print(0.5f);
 
    return 0;
}

@Undisputed · 07.03.2019, 19:43

Сообщение от eva2326

Потому что одна версия с одним параметром, а вторая - с двумя.

Главное не забудьте объяснить почему для кода

C++
1
2
3
4
5
6
7
8
9
10
11
template<typename Func>
void func(Func callback)
{
    callback(100);
}
 
template<typename T>
void printCallback(T data)
{
    std::cout << data;
}

Вызов

C++
1
func(printCallback);

не компилируется

@DrOffset · 07.03.2019, 20:35

Сообщение от _stanislav

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

Просто недостаточно высокий уровень предупреждений. Поставь /W4 и все будет. GCC\Clang тоже не при любом уровне такое выдают.

Новые блоги и статьи Все статьи Все блоги /
Сукцессия 20. Война автоботов. Делаем ставки. Лёд против "пш-пш!". anaschu 11.07.2026 Битва ИИ в ризосфере: Как мы скрестили жесткие ОДУ, закон Фика и «подземный шантаж» Уважаемые коллеги! Хочу поделиться уникальным опытом ведения междисциплинарной компьютерной разработки. Прямо. . .	Сукцессия 19. Какие выводы я сделал из модели? Часть 2.Внутримикоризный стехиометрический буфер и хроно-дискретные зоны экспансии anaschu 11.07.2026 Био-Инженерный Ликбез: Архитектура Модели Ризосферы Математический аппарат моделирования	Сукцессия 18. Какие выводы я сделал из войны грибов с деревьями? Часть 1- рассказ и немного про термины anaschu 11.07.2026 Био-Инженерный Ликбез: Архитектура Модели Ризосферы Математический аппарат моделирования Система ОДУ описывает динамику изменения массы различных компонентов системы во времени. Ключевой. . .	Просветление в 5 секунд kumehtar 10.07.2026 Андрей Веретенников выдал фразу недавно: "Вам не обязательно кем-то себя считать"
Эксперимент с картинкой-обложкой на CodinGame Adler 10.07.2026 Решил на днях провести эксперимент. У меня есть аккаунт на CodinGame, ТОП-3 по РФ среди 2200 участников (в разделе соревнования по программированию ИИ-ботов). Там есть обложка, куда можно влепить. . .	GitDOS: Когда я решил скрестить MS-DOS, GitHub и Claude MaGz GoLd 08.07.2026 Привет, Киберфорум! Хочу поделиться своим проектом, который, надеюсь, вас заинтересует. GitDOS — это веб-приложение, которое позволяет запускать DOS в браузере с тремя крутыми фичами: диски живут в. . .	Учебный мини "цифровой двойник" = (Сервер = Java + Flask_питон )+(3D = Гугловскаая 4T nvideo + google colab) +( WMS = Odoo на Docker) anaschu 07.07.2026 Увидел в требованиях к вакансии создателя имитационных моделей связку (REst + Api + WMS + Anylogic + питон + 3D Nvideo), и решил посмотреть, что это такое. Из этого всего я работал более менее. . .	Море в объективе kumehtar 06.07.2026 Хотел написать много проникновенных слов, но передумал. Оно само - говорит. Кто слышит тот слышит.

@Соколиный глаз Alvin Seville 343 / 273 / 134 Регистрация: 25.07.2014 Сообщений: 4,537 Записей в блоге: 22
	07.03.2019, 19:12 [ТС]
	eva2326, Вы хотите сказать, что компилятор сначала зырит на количество шаблонных параметров? 0

Как указать тип аргумента шаблона для функции?

Решение