CTAD с переменным количеством аргументов шаблона ⇐ C++

[Гость]

Для модульного тестирования я написал класс ScopeSet, который меняет значения переменных в текущей области, а в конце области возвращаются исходные значения. Пример использования:

int i = 1; двойной д = 2.; { auto _ = ScopeSet(i, 10, d, 20.); утверждать (я == 10); утверждать (д == 20.); } утверждать (я == 1); утверждать (д == 2.); Я закончил урок, за исключением руководств по дедукции. ScopeSet принимает переменное количество пар переменная-значение. На данный момент я написал руководства по выводам вручную для трех пар

template< имя типа T0, имя типа U0 > ScopeSet( T0 &, U0 ) -> ScopeSet< T0 >; template< имя типа T0, имя типа U0, имя типа T1, имя типа U1 > ScopeSet( T0 &, U0, T1 &, U1 ) -> ScopeSet< T0, T1 >; template< имя типа T0, имя типа U0, имя типа T1, имя типа U1, имя типа T2, имя типа U2 > ScopeSet( T0 &, U0, T1 &, U1, T2 &, U2 ) -> ScopeSet< T0, T1, T2 >; Мой вопрос: как мне написать руководство по выводам, которое работает для переменного количества пар?