Телеграмм чат группы ProCxx страница 14738

https://godbolt.org/z/2iXLRG

Александр Караев... in pro.cxx

18:02пожаловаться #1

АК

А подскажите пожалуйста как происходит матчинг variadic аргументов, если у меня, к примеру template<typename... Args> void foo(S& s, Args... args); и я вызываю foo(s, a0, a1, a2) то понятно, а если у меня template<typename... Args0, typename... Args1> void bar(S& s0, Args0...args0, S& s1, Args1...args1); то при попытке bar(s0, a0, a1, s1, a1, a2) не находит соответствия. Почему-то в таком случае, Args0... по мнению clang это пустой список. И как такое победить?

на моей памяти более одного пака в аргументах функции невозможно сделать нормально

18:05пожаловаться #2

OL

Oleg Linkin in pro.cxx

Всем привет. Есть у меня проблема producer-consumer. Есть 2 потока: main, который producer и consumer одновременно и второй, который только producer. Можно ли это как-то синхронизировать через очередь? Или самым простым и нормальным вариантом будет вынести producer из main потока в отдельный поток, а main оставить только consumer'ом?

18:06пожаловаться #3

IA

Igor Akhmetov in pro.cxx

А подскажите пожалуйста как происходит матчинг variadic аргументов, если у меня, к примеру template<typename... Args> void foo(S& s, Args... args); и я вызываю foo(s, a0, a1, a2) то понятно, а если у меня template<typename... Args0, typename... Args1> void bar(S& s0, Args0...args0, S& s1, Args1...args1); то при попытке bar(s0, a0, a1, s1, a1, a2) не находит соответствия. Почему-то в таком случае, Args0... по мнению clang это пустой список. И как такое победить?

Передайте аргументы через два tuple.

18:09пожаловаться #4

i

Igor Akhmetov

Передайте аргументы через два tuple.

Мне хотелось бы оставить неизменным интерфейс bar, чтобы не писать bar(s0, make_tuple(a0, a1), s1, make_tuple(a1, s2));

18:11пожаловаться #5

IA

Igor Akhmetov in pro.cxx

Мне хотелось бы оставить неизменным интерфейс bar, чтобы не писать bar(s0, make_tuple(a0, a1), s1, make_tuple(a1, s2));

Ну понятно же что у компилятора нет возможности в общем случае вывести в таком вызове шаблонные параметры.

18:12пожаловаться #6

DF

Dollar Føølish in pro.cxx

По правилаи специфичности наверное

18:14пожаловаться #7

DF

Dollar Føølish in pro.cxx

Если они есть

18:14пожаловаться #8

DF

Dollar Føølish in pro.cxx

Лучше конечно через тупл

18:14пожаловаться #9

i

Igor Akhmetov

Ну понятно же что у компилятора нет возможности в общем случае вывести в таком вызове шаблонные параметры.

Наверное (хотя для меня это не очевидно). В любом случае непонятно зачем разрешать несколько паков в параметрах шаблона, если они никогда не матчаца

18:14пожаловаться #10

IA

Igor Akhmetov in pro.cxx

Наверное (хотя для меня это не очевидно). В любом случае непонятно зачем разрешать несколько паков в параметрах шаблона, если они никогда не матчаца

См. выше пример с tuple.

18:15пожаловаться #11

v

Наверное (хотя для меня это не очевидно). В любом случае непонятно зачем разрешать несколько паков в параметрах шаблона, если они никогда не матчаца

В параметрах шаблона не матчатся. В параметрах функции матчатся.

18:16пожаловаться #12

i

vehlwn

В параметрах шаблона не матчатся. В параметрах функции матчатся.

Дайте пример, пожалуйста.

18:17пожаловаться #13

v

Дайте пример, пожалуйста.

?
Только что с туплями показали.

18:17пожаловаться #14

i

Так. Давайте сначала. Кажется я чего-то упустил. У меня есть foo(S, Args...); Я хочу написать такой bar, что bar(s0, a0, a1, s1, a2, ..., sN, argsN...) будет разворачиваться в foo(s0, a0, a1); foo(s1, a2, a3); ...; foo(sN, argsN...);

18:20пожаловаться #15

v

Дайте пример, пожалуйста.

#include <tuple>

template<class ...A, class ...B>
void f(std::tuple<A...>, std::tuple<B...>);

static_assert(std::is_same_v<void
    ,decltype(f(std::tuple{1,23}, std::tuple{"hk", 6.6, 'k'}))>
);

18:20пожаловаться #16

v

Так. Давайте сначала. Кажется я чего-то упустил. У меня есть foo(S, Args...); Я хочу написать такой bar, что bar(s0, a0, a1, s1, a2, ..., sN, argsN...) будет разворачиваться в foo(s0, a0, a1); foo(s1, a2, a3); ...; foo(sN, argsN...);

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

18:21пожаловаться #17

i

В целом на этот вопрос можно ответить "да". Но только откусывать каждый раз нужно не по одному параметру, а по пачке, где разделителем служит S

18:24пожаловаться #18

i

то есть a(s0, args0..., s1, args1..., ..., sN, argsN...); инвокает N раз foo: foo(s0, args0...); foo(s1, args1...); ...; foo(sN, argsN);

18:25пожаловаться #19

v

то есть a(s0, args0..., s1, args1..., ..., sN, argsN...); инвокает N раз foo: foo(s0, args0...); foo(s1, args1...); ...; foo(sN, argsN);

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