Std::bind с контролем типом

@Nikitko_Cent · Регистрация: 27.10.2011

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

В общем, нужно реализовать аналог std::bind, который
1. Переводит void (*callback)(Args...) в std::function<void()>
2. Если среди Args встречаются типы, отличные от int и std::string (для примера), должна возникать ошибка компиляции

Уже башка кипит, не могу придумать как сделать. Проблема в том, что невозможно забиндить только 1 (первый) параметр без использования std:

laceholders

@hoggy · 31.01.2017, 14:36

http://rextester.com/FAZUU95973

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
//g++  5.4.0
 
#include <iostream>
#include <functional>
#include <type_traits>
 
namespace detail
{
    template<class A> void check()
    {
        using type = std::remove_reference_t<A>;
        
        enum { is_bool   = std::is_same<bool, type>::value };
        enum { is_int    = !is_bool && std::is_integral<type>::value };
        enum { is_string = std::is_same<type, std::string>::value };
        enum { is_valid  = is_int || is_string };
        
        static_assert(
            is_valid,
            "\n\n    ERROR: expected integral or std::string"
        );
        
        //std::cout << typeid(type).name() << std::endl;
    }    
}//namespace detail
 
template<class... Args> void check()
{
    char dummy[] = { (detail::check<Args>(), '\0')... };
    (void) dummy;
}
 
 
template<class F, class ...Args>
auto make_bind(F func, Args&& ...args)
{
    check<Args...>();
    return std::bind(func, std::forward<Args>(args)...);
    
}
 
void foo(const int v1, const std::string& v2)
{
    std::cout << "call foo("<<v1<< ", " << v2<< ")\n";
}
 
int main()
{
    std::cout << "Hello, world!\n";
    
    std::string text = "trololo";
    
    auto callback = make_bind(foo, 10, text);
    callback();
    
    // ERROR: expected integral or std::string
    // make_bind(foo, 10, true);
}

@Nikitko_Cent · 01.02.2017, 00:05 **[ТС]**

Сам допёр ещё до такого варианта:

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
namespace detail
{
    template<typename Arg1, typename... Args>
    struct Checker;
 
    template<typename... Args>
    struct Checker<int, Args...>
    {
        static inline void check()
        {
            Checker<Args...>::check();
        }
    };
 
    template<typename... Args>
    struct Checker<std::string, Args...>
    {
        static inline void check()
        {
            Checker<Args...>::check();
        }
    };
 
 
    template<typename Arg>
    struct Checker<Arg>;
 
    template<>
    struct Checker<int>
    {
        static inline void check()
        {}
    };
 
    template<>
    struct Checker<std::string>
    {
        static inline void check()
        {}
    };
}
 
 
void test(int a, std::string b, int c, std::string d)
{
    std::cout << b + d << ' ' << a * c << std::endl;
}
 
 
void test2(int a, std::string b, int c, double d)
{
    std::cout << b << ' ' << a * c * d << std::endl;
}
 
 
class Task
{
public:
    template<typename ...Args>
    Task(void (*callback)(Args...), Args&&... args)
    {
        detail::Checker<Args...>::check();
        runner = std::bind(callback, std::forward<Args>(args)...);
    }
 
    void run()
    {
        runner();
    }
 
private:
    std::function<void()> runner;
};
 
 
int main(int argc, char *argv[])
{
    Task task(test, 10, std::string("first"), 20, std::string("second"));
 
    task.run();
 
    //Task task2(test2, 10, std::string("first"), 20, 25.3);
    //task2.run();
 
    return 0;
}

Добавлено через 8 часов 28 минут
И вот подпиленный вариант. Наверное, окончательный:

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
template<typename Arg1, typename... Args>
struct Checker;
 
template<typename... Args>
struct Checker<int, Args...>
{
    typedef typename Checker<Args...>::last_type last_type;
};
 
template<typename... Args>
struct Checker<std::string, Args...>
{
    typedef typename Checker<Args...>::last_type last_type;
};
 
 
template<>
struct Checker< int >
{
    typedef int last_type;
};
 
template<>
struct Checker< std::string >
{
    typedef std::string last_type;
};
 
 
...
 
 
typedef Checker< VarArgs... >::last_type test_type;

Новые блоги и статьи Все статьи Все блоги /
Идея фильтра интернета (сервер = слой+фильтр). Hrethgir 31.03.2026 Суть идеи заключается в том, чтобы запустить свой сервер, о чём я если честно мечтал давно и давно приобрёл книгу как это сделать. Но не было причин его запускать. Очумелые учёные напечатали на. . .	Модель здравосоХранения 6. ESG-повестка и устойчивое развитие; углублённый анализ кадрового бренда anaschu 31.03.2026 В прикрепленном документе раздумья о том, как можно поменять модель в будущем	10 пpимет, которые всегда сбываются Maks 31.03.2026 1. Чтобы, наконец, пришла маршрутка, надо закурить. Если сигарета последняя, маршрутка придет еще до второй затяжки даже вопреки расписанию. 2. Нaдоели зима и снег? Не надо переезжать. Достаточно. . .	Перемещение выделенных строк ТЧ из одного документа в другой Maks 31.03.2026 Реализация из решения ниже выполнена на примере нетипового документа "ВыдачаОборудованияНаСпецтехнику" с единственной табличной частью "ОборудованиеИКомплектующие" разработанного в конфигурации КА2. . . .
Functional First Web Framework Suave DevAlt 30.03.2026 Sauve. IO Апнулись до NET10. Из зависимостей один пакет, работает одинаково хорошо как в режиме проекта так и в интерактивном режиме. из сложностей - чисто функциональный подход. Решил. . .	Автоматическое создание документа при проведении другого документа Maks 29.03.2026 Реализация из решения ниже выполнена на нетиповых документах, разработанных в конфигурации КА2. Есть нетиповой документ "ЗаявкаНаРемонтСпецтехники" и нетиповой документ "ПланированиеСпецтехники". В. . .	Настройка движения справочника по регистру сведений Maks 29.03.2026 Решение ниже реализовано на примере нетипового справочника "ТарифыМобильнойСвязи" разработанного в конфигурации КА2, с целью учета корпоративной мобильной связи в коммерческом предприятии. . . .	Автозаполнение реквизита при выборе элемента справочника Maks 27.03.2026 Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. При выборе "Спецтехники" (Тип Справочник. Спецтехника), заполняется. . .

@Nikitko_Cent 148 / 118 / 37 Регистрация: 27.10.2011 Сообщений: 690

	Std::bind с контролем типом 31.01.2017, 10:28. Показов 1417. Ответов 2 Метки нет (Все метки) В общем, нужно реализовать аналог std::bind, который 1. Переводит void (*callback)(Args...) в std::function<void()> 2. Если среди Args встречаются типы, отличные от int и std::string (для примера), должна возникать ошибка компиляции Уже башка кипит, не могу придумать как сделать. Проблема в том, что невозможно забиндить только 1 (первый) параметр без использования std:laceholders 0

Std::bind с контролем типом

Решение