Ошибка компиляции в рекурсивной функции шаблона Variadic

Вот как вы устраняете неоднозначность базового случая:

#include <iostream>
#include <typeinfo>

template <typename FirstDatatype>
void OutputSizes()
{
    std::cout << typeid(FirstDatatype).name() << ": " << sizeof(FirstDatatype) << std::endl;
}

template <typename FirstDatatype, typename SecondDatatype, typename... DatatypeList>
void OutputSizes()
{
    OutputSizes<FirstDatatype>()
    OutputSizes<SecondDatatype, DatatypeList...>();
}

int main()
{
    OutputSizes<char, int, long int>();
}

Это потому, что вы не предоставили базовый вариант. Вы извлекли последний тип данных параметра шаблона с переменным числом аргументов, а затем попытались сопоставить пустой параметр с переменным числом аргументов с функцией, принимающей тип и параметр с переменным числом аргументов. Вам необходимо указать «базовый случай», когда параметр variadic пуст.

using namespace std;

template <typename FirstDatatype, typename... DatatypeList>
void OutputSizes()
{
    std::cout << typeid(FirstDatatype).name() << ": " << sizeof(FirstDatatype) << std::endl;
    OutputSizes<DatatypeList...>();
}

template<typename... DataTypeList>
void OutputSizes() // We're called when there's no template arguments
                   // left in the pack
{
}

int main()
{
    OutputSizes<char, int, long int>();
    return 0;
}

Редактировать: показанные здесь перегрузки со многими нулями на самом деле работают только тогда, когда вы также принимаете фактические аргументы времени выполнения на основе типов шаблонов. Если вы принимаете только параметры шаблона напрямую, вы используете рекурсию два-один, как показано в ответе Говарда Хиннанта.