Правильное использование for_each_arg — слишком много переадресации?

Каждый forward в вашем коде действительно необходим для идеальной пересылки всех аргументов до конца. Имена ссылок rvalue являются значениями lvalue, поэтому, если вы не пересылаете каждый раз, когда передаете аргументы, информация о категории значений будет потеряна.
Также невозможно вызвать forward без явного списка аргументов шаблона, поскольку параметр шаблона используется только в один, невыведенный контекст. На самом деле шаблон функции, вызываемый без явного списка аргументов, не может выполнить эту работу.

Вы можете попробовать макрос, чтобы несколько сократить код:

#define FORWARD(...) std::forward<decltype(__VA_ARGS__)>(__VA_ARGS__)

Затем он становится

for_each_arg
(
    // Removed superfluous capture
    [&result] (auto&& mX) { 
        result.add(FORWARD(mX));       
    }, 
    FORWARD(mArgs)...
);

Также можно использовать макрос вместо for_each_arg в первую очередь:

#define FOR_EACH_ARG(...) (void)std::initializer_list<int>{((__VA_ARGS__),0)...}

FOR_EACH_ARG( result.add(forward<TArgs>(mArgs)) );

for_each_arg (
  [&](auto&& mX){
    result.add(std::forward<decltype(mX)>(mX));
  },
  std::forward<TArgs>(mArgs)...
);

Просто захватите & при создании такой лямбды. Если вы должны перечислить, нужно захватить только &result.

forward<?> всегда используется с параметром типа.

Обратите внимание, что for_each_arg Эрика несовершенен и в основном состоит из 140 символов или меньше. ;) Его несовершенства здесь мягкие и безобидные.

Вот альтернатива:

Сначала напишите это:

template<class...Fs>
void do_in_order(Fs&&...fs){
  int _[]={0,
    (((void)(std::forward<Fs>(fs)())),0)...
  };
  (void)_; // kills warnings
}

он принимает нулевые лямбды аргументов и выполняет их слева направо.

Затем замените вызов for_each_arg на:

do_in_order(
  [&]{
    result.add(std::forward<TArgs>(mArgs));
  }...
);

недостатком является то, что большему количеству компиляторов это не понравится.

Порядок выражений в do_in_order гарантируется разделами [dcl.init] и [dcl.init.list] в n4296 8.5.4/4 8.5.4/1 8.5/15 8.5/1. Инициализация — это инициализация-списка-копирования (8.5/15 и 8.5.4/1), это «список-инициализаторов из списка-инициализации в фигурных скобках» ( 8.5/1) и, таким образом, упорядочены слева направо (8.5.4/4).