Блог

В языковом справочнике std::enable_if at cppreference включено следующее примечание

Примечания

Распространенной ошибкой является объявление двух шаблонов функций, которые отличаются только своими аргументами шаблона по умолчанию.Это незаконно, потому что аргументы шаблона по умолчанию не являются частью подписи шаблона функции, и объявление двух разных шаблонов функций с одинаковой подписью является незаконным.

Мне кажется, что в функциях шаблона в примере ниже возникает такая ситуация. Т.Е. Две функции шаблона onlyForDerivedObjects(...) кажутся (мне) различающимися только их аргументами шаблона по умолчанию. Я понимаю, что мне здесь чего-то не хватает, и, надеюсь, кто-нибудь сможет мне это объяснить или указать мне направление, где я мог бы найти прозрение для себя.

• Вопрос: W.r.t. приведенная выше цитата, почему приведенный ниже пример компилируется и выполняется нормально: я неправильно классифицирую typename std::enable_if ... часть в приведенных ниже функциях шаблона, когда я считаю, что это приводит к ситуации с двумя функциями шаблона, которые отличаются только своим аргументом шаблона по умолчанию?

Пример

• Live demo

Базовые и производные классы:

 class BaseA
{
public:
  int getInt() const { return 21; };
};

class DerivedA : public BaseA {};

class BaseB
{
public:
  int getAnotherInt() const { return 33; };
};

class DerivedB : public BaseB {};
  

со следующими функциями шаблона

 /* template functions that, seemingly, only differ in their
   default template arguments? */
template< class T,
          typename std::enable_if<std::is_base_of<BaseA, T>::value>::type* = nullptr >
int onlyForDerivedObjects(const Tamp; obj)
{
  return 2*obj.getInt();
}

template< class T,
          typename std::enable_if<std::is_base_of<BaseB, T>::value>::type* = nullptr >
int onlyForDerivedObjects(const Tamp; obj)
{
  return 3*obj.getAnotherInt();
}
  

компилируется и работает нормально ( g -Wall -std=c 11 ... , g 4.9.3 )

 #include <iostream>
#include <type_traits>

/* ... classes and template functions as above */

/* template argument deduction seems to work fine */
int main()
{
  DerivedA* objA = new DerivedA();
  DerivedB* objB = new DerivedB();

  std::cout << onlyForDerivedObjects(*objA) << std::endl; // 42
  std::cout << onlyForDerivedObjects(*objB) << std::endl; // 99

  return 0;
}
  

Примечания

Распространенной ошибкой является объявление двух шаблонов функций, которые отличаются только своими аргументами шаблона по умолчанию. Это незаконно, потому что аргументы шаблона по умолчанию не являются частью подписи шаблона функции, и объявление двух разных шаблонов функций с одинаковой подписью является незаконным.

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

В обоих случаях аргумент шаблона по умолчанию nullptr равен , но второй параметр шаблона отличается в каждом случае.

Распространенная ошибка:

 template <typename T, typename = std::enable_if_t<cond>>
void foo()

template <typename T, typename = std::enable_if_t<!cond>>
void foo()
  

которые оба объявляют

 template <typename, typename>
void foo();