Почему этот пакет параметров расширяется до указателей?

В CPPReference написано, что пакет параметров расширен до указателей, почему?

template<class... Us>
void f(Us... pargs) {}
 
template<class... Ts>
void g(Ts... args)
{
    f(&args...); // “&args...” is a pack expansion
                 // “&args” is its pattern
}
 
g(1, 0.2, "a"); // Ts... args expand to int E1, double E2, const char* E3
                // &args... expands to &E1, &E2, &E3
                // Us... pargs expand to int* E1, double* E2, const char** E3

Почему Us... расширяется до указателей?

Я не понимаю вашего замешательства. У вас есть int, назовем его E1, как в комментариях. &E1 — это адрес int, то есть указатель на int. Теперь примените это ко всему пакету параметров.

— 03.05.2024 18:27

Как вы думаете, каким будет Us?

— 03.05.2024 18:30

Вы спрашиваете, почему &args... создает указатели? & делает это.

— 03.05.2024 18:42

Рассмотрим int n = 0; double d = 0.2; char const* s = "a"; f(&n, &d, &s); — вы создаете здесь указатели на n, d и s, которые вы передаете f — это то же самое, что делает g (с той лишь разницей, что внутри g указатели нацелены на параметры функции — которые под капотом также являются просто локальными переменными ).

— 03.05.2024 18:43

c++

03.05.2024 18:24

Стоит ли изучать PHP в 2023-2024 годах?

Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...

Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией

В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.

Приемы CSS-макетирования - floats и Flexbox

Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...

Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest

В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...

Концепция локализации и ее применение в приложениях React ⚡️

Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...

Пользовательский скаляр GraphQL

Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...

Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

давайте сломаем это.

template<class... Us>
void f(Us... pargs)
// takes any number of parameters by copy

 {}
 
template<class... Ts>
void g(Ts... args)
// takes any number of parameters by copy
{
    f(&args...); // each element in pack args is passed by copy then the address of those copies is taken by & operator then the function f deduces types to be <int*,double*,const char**>
}
 
g(1, 0.2, "a"); // Ts... here expands to <int,double,const char*> since it takes by copy

Ваш комментарий по поводу вызова f неверен. оператор адреса не применяется к копиям args.... & применяется к каждому элементу пакета, и передается адрес каждого объекта в args...

— 03.05.2024 19:00

но это не аргументы... хотя вот копии

— 03.05.2024 19:15

То, как ваш комментарий читается для меня, звучит так, будто вы говорите, что arg... копируется при вызове f, и именно те копии, к которым применяется &.

— 03.05.2024 19:31

03.05.2024 18:53