Шаблон класса с любым количеством аргументов

@Timon32 · Регистрация: 18.07.2015

В статье: https://en.cppreference.com/w/... meter_pack
есть такой пример:

C++

template<class ... Types> struct Tuple {};
Tuple<> t0;           // Types contains no arguments
Tuple<int> t1;        // Types contains one argument: int
Tuple<int, float> t2; // Types contains two arguments: int and float
Tuple<0> error;       // error: 0 is not a type

Но при попытке повторить вылезает куча ошибок

C++

template<class... Args> struct ThreadArgsContainer {};
 
template< typename F, typename... Args >
inline void st::Thread::set(F  lpStartAddress, Args&&... args)
{
    handle = CreateThread(NULL, 0, lpStartAddress, &ThreadArgsContainer<args>, CREATE_SUSPENDED, (LPDWORD)&id);
    pause_b = true;
    cout << handle << ":" << id << endl;
}

Ошибки:
class: отсутствует имя тега
недопустимый тип для параметра шаблона "<unnamed-tag>", не являющегося типом
синтаксическая ошибка: отсутствие "," перед "..."

@Azazel-San · 14.05.2019, 20:00

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

C++

1	CreateThread(NULL, 0, lpStartAddress, &ThreadArgsContainer<args>, CREATE_SUSPENDED, (LPDWORD)&id);

Это оптимистично надеятся что Сишный интерфейс сможет в шаблоны из С++.

@Timon32 · 14.05.2019, 20:03 **[ТС]**

Попробовал закомментировать строку

C++

1	CreateThread(NULL, 0, lpStartAddress, &ThreadArgsContainer<args>, CREATE_SUSPENDED, (LPDWORD)&id);

, ошибки остались.

@Battary · 14.05.2019, 20:04

Попробуйте упаковку-разупаковку.

@Timon32 · 14.05.2019, 20:07 **[ТС]**

Бесполезно студия ругается на

C++

1	template<class... Args> struct ThreadArgsContainer {};

и всё.

@Azazel-San · 14.05.2019, 20:26

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

ошибки остались.

Какие? Где?
Откуда мы знаем что вы сделали? Где код?

@DrOffset · 14.05.2019, 20:52

Сообщение от Azazel-San

Это оптимистично

Ну не преувеличивай, так-то понятно чего он хочет.

Например:

Кликните здесь для просмотра всего текста

C++

#include <iostream>
#include <tuple>
#include <memory>
 
#include <windows.h>
 
template <class Ch, class Tr, class Tuple, std::size_t... Is>
void print_tuple(std::basic_ostream<Ch, Tr> & os, Tuple const & t, std::index_sequence<Is...>)
{
    using expander = int[];
    (void)expander{0, (void(os << ' ' << std::get<Is>(t)), 0)...};
}
 
template <typename ...Args>
DWORD WINAPI MyThreadFunction(LPVOID lpParam)
{
    std::unique_ptr<std::tuple<Args...>> args{static_cast<std::tuple<Args...>*>(lpParam)};
    
    print_tuple(std::cout, *args, std::make_index_sequence<sizeof...(Args)>{});
    
    return 0;
}
 
template <typename ...Args>
HANDLE make_thread(Args && ...args)
{
    return CreateThread(NULL, 0, &MyThreadFunction<Args...>, new std::tuple<Args...>{std::forward<Args>(args)...}, 0, 0);
}
 
int main()
{
    auto thr = make_thread(1, 1.2, "test");
    
    WaitForSingleObject(thr, INFINITE);
}

Онлайн: https://rextester.com/LKJH69298

Добавлено ...
Или, например (более близко к задумке ТС):

Кликните здесь для просмотра всего текста

C++

#include <iostream>
#include <tuple>
#include <memory>
#include <string>
 
#include <windows.h>
 
template <typename Tuple, std::size_t... Is>
void run(Tuple & data, std::index_sequence<Is...>)
{
    std::get<0>(data)(std::get<Is + 1>(data)...);
}
 
template <typename F, typename ...Args>
HANDLE make_thread(F lpStartAddress, Args && ...args)
{
    using ThreadRun = std::tuple<F, Args...>;
    
    auto threadRoutine = [](LPVOID lpParam) -> DWORD
    {
        std::unique_ptr<ThreadRun> data{static_cast<ThreadRun *>(lpParam)};
        run(*data, std::make_index_sequence<sizeof...(Args)>{});
        return 0;
    };
    return CreateThread(NULL, 0, threadRoutine, new ThreadRun{lpStartAddress, std::forward<Args>(args)...}, 0, 0);
}
 
int main()
{
    auto func = [](int a, double b, std::string const & c) 
    { 
        std::cout << a << " " << b << " " << c; 
    };
    auto thr = make_thread(func, 1, 3.14, "hello world");
    
    WaitForSingleObject(thr, INFINITE);
}

Онлайн: https://rextester.com/YLF74098

@Timon32 · 14.05.2019, 21:00 **[ТС]**

Похоже

Добавлено через 1 минуту
Ошибки были из-за набора инструментов сборки.

@DrOffset · 14.05.2019, 21:07

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

Ошибки были из-за набора инструментов сборки.

Смотря какие. Код, который вы выше показывали, все равно некорректный был - хоть с каким набором инструментов сборки.

@Timon32 · 14.05.2019, 21:08 **[ТС]**

Это собралось.

C++

1	template < class ... Types > struct Tuple { } ;

@DrOffset · 14.05.2019, 21:18

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

Это собралось.

Да это понятно, но это только четверть дела же, учитывая код с потоком, который вы показали вначале.

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

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

st::Thread::set

Если сейчас ошибок нет, то, вероятно, вы свою функцию set еще не вызывали. Попробуйте вызвать ее и увидите.

@Timon32 · 14.05.2019, 21:21 **[ТС]**

Я знаю что она не работает

Добавлено через 26 секунд
Как можно сохранить аргументы?

C++

template<class ... Args>
    struct ArgsContainer
    {
        ArgsContainer(Args&&... _args) : args(_args...) {}
 
        Args args;
    };

Добавлено через 49 секунд
Ошибка: "Args": пакет параметров должен раскрываться в этом контексте

@DrOffset · 14.05.2019, 21:29

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

Как можно сохранить аргументы?

Я выше показал как

Используйте std::tuple для этого.

@Timon32 · 14.05.2019, 22:09 **[ТС]**

C++

template <typename Tuple, size_t... Is>
void st::Thread::run(Tuple & data, std::index_sequence<Is...>)
{
    std::get<0>(data)(std::get<Is + 1>(data)...);
}
 
template <typename F, typename ...Args>
HANDLE st::Thread::make_thread(F lpStartAddress, Args && ...args)
{
    using ThreadRun = std::tuple<F, Args...>;
 
    auto threadRoutine = [](LPVOID lpParam) -> DWORD
    {
        std::unique_ptr<ThreadRun> data{ static_cast<ThreadRun *>(lpParam) };
        run(*data, std::make_index_sequence<sizeof...(Args)>{});
        return 0;
    };
    return handle = CreateThread(NULL, 0, threadRoutine, new ThreadRun{ lpStartAddress, std::forward<Args>(args)... }, CREATE_SUSPENDED, (LPDWORD)&id);
}

Ошибка:
warning C4573: для использования "st::Thread::run" требуется, чтобы компилятор передал "this", однако текущий режим передачи по умолчанию запрещает это
1> Исходный код.cpp(34): note: см. ссылку на создание экземпляров функции шаблон при компиляции "HANDLE *st::Thread::make_thread<void(__cdecl *)(int,int),int,int>(F,int &&,int &&)"
1> with
1> [
1> F=void (__cdecl *)(int,int)
1> ]
1>Thread.h(55): error C2352: st::Thread::run: недопустимый вызов нестатической функции-члена

@oleg-m1973 · 14.05.2019, 22:56

C++

using TFunc = std::function<void()>;
static 
void ThreadProc(void *p)
{
     std::unique_ptr<TFunc> fn(static_cast<TFunc *>(p)); 
      (*fn)();
}
 
template <typename F, typename ...Args>
HANDLE st::Thread::make_thread(F &&func, Args && ...args)
{
    return handle = CreateThread(NULL, 0, &ThreadProc, new TFunc(std::bind(func, args...)), CREATE_SUSPENDED, (LPDWORD)&id);
}

@DrOffset · 14.05.2019, 23:50

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

Ошибка

В этом коде run должен быть static (добавляете его только в объявлении).

@Timon32 · 15.05.2019, 10:33 **[ТС]**

C++

1	new ThreadRun{ lpStartAddress, std::forward<Args>(args)... }

Как для этого вызвать delete?

Добавлено через 5 минут
В деструкторе

@DrOffset · 15.05.2019, 12:47

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

Как для этого вызвать delete?

Там же unique_ptr в функции потока. Поток завершится и память эта тоже освободится.

@DrOffset 13890 / 7424 / 1761 Регистрация: 30.01.2014 Сообщений: 12,420
	14.05.2019, 21:18	11
	Сообщение от Timon32 Это собралось. Да это понятно, но это только четверть дела же, учитывая код с потоком, который вы показали вначале. Добавлено через 3 минуты Сообщение от Timon32 st::Thread::set Если сейчас ошибок нет, то, вероятно, вы свою функцию `set` еще не вызывали. Попробуйте вызвать ее и увидите. 0

@DrOffset 13890 / 7424 / 1761 Регистрация: 30.01.2014 Сообщений: 12,420
	14.05.2019, 21:29	13
	Сообщение от Timon32 Как можно сохранить аргументы? Я выше показал как Используйте std::tuple для этого. 0

@DrOffset 13890 / 7424 / 1761 Регистрация: 30.01.2014 Сообщений: 12,420
	14.05.2019, 23:50	16
	Сообщение было отмечено Timon32 как решение Решение Сообщение от Timon32 Ошибка В этом коде run должен быть static (добавляете его только в объявлении). 0

@Battary 7 / 6 / 1 Регистрация: 29.10.2016 Сообщений: 175
	14.05.2019, 20:04	4
	Попробуйте упаковку-разупаковку. 0

@Azazel-San Mental handicap 1242 / 620 / 171 Регистрация: 24.11.2015 Сообщений: 2,426
	14.05.2019, 20:26	6
	Сообщение от Timon32 ошибки остались. Какие? Где? Откуда мы знаем что вы сделали? Где код? 0

@Timon32 0 / 0 / 0 Регистрация: 18.07.2015 Сообщений: 76
	14.05.2019, 21:00 [ТС]	8
	Похоже Добавлено через 1 минуту Ошибки были из-за набора инструментов сборки. 0

@DrOffset 13890 / 7424 / 1761 Регистрация: 30.01.2014 Сообщений: 12,420
	14.05.2019, 21:07	9
	Сообщение от Timon32 Ошибки были из-за набора инструментов сборки. Смотря какие. Код, который вы выше показывали, все равно некорректный был - хоть с каким набором инструментов сборки. 0

@DrOffset 13890 / 7424 / 1761 Регистрация: 30.01.2014 Сообщений: 12,420
	15.05.2019, 12:47	18
	Сообщение от Timon32 Как для этого вызвать delete? Там же unique_ptr в функции потока. Поток завершится и память эта тоже освободится. 0

Шаблон класса с любым количеством аргументов

Решение