«Неоднозначный вызов перегруженной функции» при использовании шаблонов с переменными значениями в VS2013

Функции перегрузки с вариативными шаблонами немного отличаются от обычных шаблонов.

Вы можете перегружать:

void foo()
{
}

а также

template <typename Arg1, typename ...Args>
void foo()
{
}

но нет

template <typename Arg1>
void foo()
{
}

а также

template <typename Arg1, typename ...Args>
void foo()
{
}

потому что нет способа устранить эту функцию для вызова, когда есть один аргумент.

В вашем случае вы можете использовать вспомогательный класс для обработки вызовов.

// Forward declaration of the helper class and its template arguments.
template <typename ...Types> struct TryQueryInterfacesHelper;

// helper class with just one argument.
template <typename T>
struct TryQueryInterfacesHelper<T>
{
   bool operator()(IUnknown* in_toQuery,
                   REFIID riid,
                   void **ppvObject,
                   ComObject* in_parent,
                   HRESULT out_result)
   {
      return TryQueryInterface<T>(in_toQuery, riid, ppvObject, in_parent, out_result);
   }
};

// helper class with more than one argument.
template <typename T, typename ...Interfaces>
struct TryQueryInterfacesHelper<T, Interfaces...>
{
   bool operator()(IUnknown* in_toQuery,
                   REFIID riid,
                   void **ppvObject,
                   ComObject* in_parent,
                   HRESULT out_result)
   {
      return TryQueryInterface<T>(in_toQuery, riid, ppvObject, in_parent, out_result) ||
         TryQueryInterfacesHelper<Interfaces...>()(in_toQuery, riid, ppvObject, in_parent, out_result);
   }
};

template <typename... Interfaces>
bool TryQueryInterfaces(
      IUnknown* in_toQuery,
      REFIID riid,
      void **ppvObject,
      ComObject* in_parent,
      HRESULT out_result)
{
   // Implement the function using the helper class.
   return TryQueryInterfacesHelper<Interfaces...>()(in_toQuery, riid, ppvObject, in_parent, out_result);
}

Вот пример программы, которая проверяет идею с более простым классом и функцией.

#include <iostream>

template <class ...Types> struct X;

template <class T>
struct X<T>
{
   void operator()(){std::cout << "Came to X<T>\n";}
};

template <class T, class ...Types>
struct X<T, Types...> 
{
   void operator()(){std::cout << "Came to X<T, Types...>\n"; X<Types...>()();}
};

template <class ...Types>
void foo()
{
   X<Types...>()();
}

int main()
{
   foo<int>();
   foo<int, double>();
   foo<int, double, char>();
}

Вывод:

Came to X<T>
Came to X<T, Types...>
Came to X<T>
Came to X<T, Types...>
Came to X<T, Types...>
Came to X<T>

Другим решением было бы использовать enable_if чтобы включить реализацию TryQueryInterfaces, используя пакет параметров, когда пакет не пуст. Вы также должны изменить две реализации TryQueryInterfaces чтобы случай терминала, обрабатывающий один параметр шаблона, был выше другого. Это позволяет успешно выполнить поиск имени в версии пакета параметров.

Это также позволяет избавиться от реализации TryQueryInterface.

template<typename T>
bool TryQueryInterfaces(IUnknown* in_toQuery,
                        REFIID riid,
                        void **ppvObject,
                        ComObject* in_parent,
                        HRESULT out_result)
{
    // query single interface here
}

template<typename T, typename... Interfaces>
typename std::enable_if<sizeof...(Interfaces) != 0, bool>::type
 TryQueryInterfaces(IUnknown* in_toQuery,
                    REFIID riid,
                    void **ppvObject,
                    ComObject* in_parent,
                    HRESULT out_result)
{
    return TryQueryInterfaces<T>(in_toQuery, riid, ppvObject, in_parent, out_result) || 
           TryQueryInterfaces<Interfaces...>(in_toQuery, riid, ppvObject, in_parent, out_result);
}

Демо-версия

 template <typename T>
 void foo();

а также

 template <typename T, template ...R>
 void foo();

оба соответствуют foo<X>();

Чтобы сделать разницу, используйте два типа:

 template <typename T1, typename T2, template ...R>
 void foo();