Как раскрыть parameter pack для передачи типов в шаблонную функцию?

Question

[Армен]

Добрый день! Пишу 2 метода, потребовалось вот что:
Первый метод принимает пачку шаблонных параметров, эти параметры раскрываются во второй метод, но в саму функцию аргументы не передаются.

template <typename... args>
std::shared_ptr<Wt::Dbo::Session> getDboSessionT() {
    DbConnector& dbConnector = DbConnector::instance(dbConfig);
    sessionT = dbConnector.createSession();
    mapClasses<args...>();

    return sessionT;
}

template <typename U, typename... args>
void mapClasses(){
    sessionT->mapClass<U>(U::tableName.c_str());
    std::cout << typeid(U).name() << std::endl;
    std::cout << "MAP TABLE ==================== " << U::tableName << std::endl;
    mapClasses<args...>();
}

Но суть в том, что всё время получаю ошибку о невозможности выведения типов, так как args... не распаковывается
Как правильно распаковать параметры и можно ли так делать?
<typeid(args)...> тоже не работает

Comments

[Евгений Шатунов]

Армен , компилятор тебе не ту ошибку пишет, что ты описал. :)
Приведи текст самой ошибки, по ней будет понятно.
Упреждая ответы, могу подсказать одну важную штуку. Ты делаешь раскрутку списка типов, тебе нехватает концевого случая, когда в args у тебя пустой список. И это не так-то просто сделать без 17го стандарта.

[Армен]

Евгений Шатунов, спасибо тебе большое, действительно, внимательно прочитал текст ошибки. Суть в том, что эти методы отрабатывают так, как я и планировал, а ошибку выдает, так как в самом конце вызов происходит без шаблонных параметров совсем. Скомпилировал и протестировал со стандартным параметром (U = какой-нибудь класс), но это решение мне не подходит.
Возможно ли как-то специализировать этот шаблонный метод, чтобы была возможность вызывать его без шаблонного параметра? Перегрузка в виде нешаблонного метода mapClasses() не помогла. Или подойдет любой другой способ вызвать шаблонный метод без шаблонного параметра. Насколько я понимаю, std::enable_if не для этого случая.

Если нет, то придется уже делать со стандартным параметром, что немного костыльно

[Армен]

Евгений Шатунов, вот код на данный момент:

template <typename... args>
    std::shared_ptr<Wt::Dbo::Session> getDboSessionT() {
        DbConnector& dbConnector = DbConnector::instance(dbConfig);
        sessionT = dbConnector.createSession();
        if(sizeof...(args) > 0)
            mapClasses<args...>();
        return sessionT;
    }

    template <typename U = Dfs, typename... args>
    void mapClasses(){
         session->mapClass<U>(U::tableName.c_str());
        if(sizeof...(args) > 0)
            mapClasses<args...>(session);
    }

То есть метод со стандартным параметром Dfs компилируется, но не вызывается

[Евгений Шатунов]

Армен , не, шаблонный параметр по умолчанию тут сыграет очень злую шутку с тобой.
Смотри мой ответ.

Answer 1

[Евгений Шатунов]

Ошибка, которую видно в коде, это ошибка использования parameter pack.
В коде у тебя видно раскрутку списка параметров, в ходе которой список неизбежно станет пустым и произойдет попытка инстанцировать вызов mapClasses<>(). И именно эта попытка приводит к ошибке.

И эту ошибку можно убрать. Для этого у нас сейчас есть аж целых три способа.

Способ первый - C++17 constexpr if.

template< typename U, typename... args >
void mapClasses()
{
	// ...
	if constexpr( sizeof...( args ) > 0 ) // Все понятно и без слов.
	{
		mapClasses<args...>();
	}
}

Способ второй - частная специализация класа/структуры.

template< typename... args >
struct Map;

template< typename U >
struct Map<U>
{
	static inline void mapClasses()
	{
		// ...
	}
};

template< typename U, typename... args >
struct Map<U, args...>
{
	static inline void mapClasses()
	{
		Map<U>::mapClasses();
		Map<args...>::mapClasses();
	}
};

Способ третий - самый коварррный - использование SFINAE в классическом его смысле.

template< typename U >
void mapClasses()
{
	// ...
}

// SFINAE тут (аргумент функции) выключит вывод шаблона при пустом списке полей.
// В этом случае доступным остается только верхний экземпляр функции.
template< typename U, typename... args >
void mapClasses( char (*)[ sizeof...( args ) > 0 ] = 0 )
{
	mapClasses<U>();
	mapClasses<args...>();
}

Comments

[Армен]

Спасибо большое, третий вариант отлично подошел.
Первый, конечно, выразительнее, но C++17 пока не используем

[Армен]

Вопрос по третьему варианту - что делает аргумент функции?

[Евгений Шатунов]

Армен , буквально? Черную магию! :)
Это называется SFINAE.
Аргумент функции в третьем варианте - это зануленный по умолчанию массив из указателей на функцию, один из путей SFINAE.
В случае если этот массив имеет нулевую длину, вывод шаблона проваливается, но сама компиляция продолжится только если есть перегруженная функция, удовлетворяющая условиям вызова.

SFINAE сработает тогда, когда список параметров будет пустым, это оборвет вывод шаблона и оставит только один вариант для вызова mapClasses<U>().

[Армен]

Евгений Шатунов, спасибо, теперь понял всё. про SFINAE знаю, но использовать пока не доводилось)