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;

Новые блоги и статьи Все статьи Все блоги /
Первый деплой lagorue 16.01.2026 Не спеша развернул своё 1ое приложение в kubernetes. А дальше мне интересно создать 1фронтэнд приложения и 2 бэкэнд приложения развернуть 2 деплоя в кубере получится 2 сервиса и что-бы они. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит токи на L и напряжения на C в установ. режимах до и. . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .	Изучаю kubernetes lagorue 13.01.2026 А пригодятся-ли мне знания kubernetes в России?
Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .

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

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

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

Решение