Variadic templates

@ReYalp · Регистрация: 27.12.2017

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

C++
1
2
3
template<class F, class... Args>
auto ThreadPool::enqueue(F&& f, Args&&... args) 
    -> std::future<typename std::result_of<F(Args...)>::type>

что происходит в месте

C++
1
f<F(Args...)>

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

@ReYalp · 30.05.2020, 19:29 **[ТС]**

DrOffset, ну вот пример

C++
1
2
3
4
template <typename F, typename T1, typename T2> void flip2(F f, T1 &&t1, T2 &&t2)
{
f(t2, t1) ;
}

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

@TheCalligrapher · 30.05.2020, 19:32

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

это будет так же работать с шаблонами?

Что значит "это будет так же работать с шаблонами", если ваш пример и так с шаблоном?

@ablex · 30.05.2020, 19:34

Не по теме:

Читаю и реакция только одна :facepalm:
ТС издевается над сообществом. Хватит с ним нянчиться, пусть идет книжки читает!
На работу устроится - вы тоже будете за него все пережёвывать и в рот класть? Если не получается самостоятельно базовый материал осваивать, значит не ту профессию выбрал и всё.

@hoggy · 30.05.2020, 19:47

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

а влияет это как-то на lvalue и rvalue?

нет

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

Ведь если у объекта нету имени то это rvalue, но параметр функции это lvalue

это так только в контексте выражений.

параметры функций всегда lvalue.

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

(F&& f, Args&&... args)

здесь у всех параметров есть имена.
первый параметр: f
дальше идет список параметров: args

пример безымянных параметров:

C++
1
2
3
4
template<class T, class... Args>
void foo(T&&, Args&&...)
{
}

что характерно: если у параметра нет имени,
то изнутри функции ты никак честным способом не сможешь получить к нему доступ.
(на самом деле это возможно, но не по стандарту)

вот например, взять первый параметр: T&&
он вроде бы есть.
но доступа к нему у тебя нет.

какая тебе вообще разница, что он из себя представляет,
если у тебя все равно нет к нему доступа?

с паком все тоже самое.
если у пака есть имя, то ты сможешь получить доступ к любому из его элементов.
а если нету - на нет и суда нет.

@ReYalp · 30.05.2020, 20:18 **[ТС]**

hoggy, вот из книги :

C++
1
2
template<typename T,typename... Args>
 ostream & print(ostream &os, const T &t, const Args&... rest)

при вызове

C++
1
print(cout, i , s, 42);

создаст экземпляр

C++
1
ostreams& print(ostream&, const int&, const string&  , const int&);

здесь видно что автор не дает имена параметрам.
Если в теле функции вызвать другую функцию например

C++
1
f(rest)...

то получится что эта функция вызывается с каждим параметром функции print из пакета rest.

но как тогда этот вызов будет происходить если у параметров нету имен? Или они должны быть?

@hoggy · 30.05.2020, 20:49

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

получится что эта функция вызывается с каждим параметром функции print из пакета rest.

ога.

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

но как тогда этот вызов будет происходить если у параметров нету имен?

вот у тебя на руках есть список строк:
std::vector<std::string> vec;

ты знаешь как получить доступ к первому элементу?
а ко второму?

у компилятора на руках есть список параметров.
ты не понимаешь, как компилятор может взять параметр из списка,
и подсунуть его функции f?

@ReYalp · 30.05.2020, 21:13 **[ТС]**

hoggy, а когда компилятор создаёт подобный экземпляр он даёт параметрам имена?

IGPIGP · 30.05.2020, 21:16

ReYalp, при задании сигнатуры имена дают для наглядности, но они не обязательны:

C++
1
void bar(int,int,double, char*const);

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

@hoggy · 30.05.2020, 21:58

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

когда компилятор создаёт подобный экземпляр он даёт параметрам имена?

ты задаешь неверные вопросы.

правильные вопросы звучат так:
а нахрена они ему нужны?
зачем вообще параметру может быть нужно имя?

имена параметров нужны программисту, а не компилятору.

вот например:

C++
1
2
3
4
void foo(int arg1, int arg2)
{
    std::cout << arg1; // <--- здесь ты захотел вывести значение параметра в консоль
}

но ты не обязан указывать имена параметров.

C++
1
2
3
4
void foo(int, int)
{
    std::cout << ????  вот только что ты здесь тогда напишешь ??? 
}

телепаты в отпуске.
если ты не указал имен, то как по твоему, компилятор должен догадаться,
какой именно параметр ты имеешь ввиду?

ответ на твой вопрос:
нет, не даёт.
имена придумывает программист.

Новые блоги и статьи Все статьи Все блоги /
сукцессия 29. Переход от одних деревьев на другие делать более или менее вероятностным? anaschu 12.07.2026 Насколько смена типов микоризы — исключительное событие в двухвековой сукцессии? Оценка вероятности в пространстве параметров В текущей версии модели успешно реализован ключевой механизм. . .	сукцессия 27. Думаю, как переделывать уже написанную статью с планами на сукцессию. anaschu 12.07.2026 Анализ соответствия модели требованиям Реализованные компоненты: Механизм закисления почвы через протонную помпу Конкуренция между типами микориз pH как триггер сукцессии C/ P соотношение. . .	Сукцессия 26. Мат модель создана. anaschu 12.07.2026 Модель смены растительных сукцессий посредством управления грибами работает внутри небольшой ячейки почвы, восстанавливающейся после пожара, где ненадолго бывшее царство хвойных снова захватили. . .	Решил проблему с ошибкой пагинации сообщений с сервера на алгоритме обхода дерева "Эстафета хвоста". Hrethgir 12.07.2026 Проблема была в том, что удалялась именно новая кнопка, а не старая. Ни один ИИ не обнаружил это, а сам я смог только когда с работой стало попроще и когда заставил работать будущее автономное. . .
сукцессия 25. Хронология ошибок anaschu 12.07.2026 # От 50-тонного гриба до устойчивого леса: хроника ошибок при построении модели вековой сукцессии микоризы ## О чём эта статья В процессе построения ОДУ-модели (система дифференциальных. . .	сукцессия 24. Промежуточное общее описание модели anaschu 12.07.2026 Хендофф: модель АМ→ЭКМ сукцессии микоризы (ризосфера, 50 лет) Содержание проекта Симуляция вековой (50 лет) экологической сукцессии в почве леса Основные участники: АМ-гриб, ЭКМ-гриб,. . .	сукцессия 23. Более физиологичная физиология, более экологичная экология, более диффурные диффуры. anaschu 12.07.2026 Что реально нашли и починили за эти 5 часов Правило Линдемана (КПД конверсии сахара в тело, kEff) — раньше 100% полученного углерода шло прямо в биомассу гриба; теперь только kEff=0. 5 (после. . .	сукцессия 22. От артефактов к физиологии: калибровка агентной модели грибной сукцессии для воспроизведения сезонной динамики и pH-плато anaschu 11.07.2026 Аннотация В данной работе представлена калибровка агентной модели динамики грибных сообществ (fungal-succession), направленная на устранение нефизичных артефактов (коллапс биомассы, мгновенное. . .

@ablex
	30.05.2020, 19:34
	Не по теме: Читаю и реакция только одна :facepalm: ТС издевается над сообществом. Хватит с ним нянчиться, пусть идет книжки читает! На работу устроится - вы тоже будете за него все пережёвывать и в рот класть? Если не получается самостоятельно базовый материал осваивать, значит не ту профессию выбрал и всё. 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	30.05.2020, 21:13 [ТС]
	hoggy, а когда компилятор создаёт подобный экземпляр он даёт параметрам имена? 0