Как использовать enable, если с аргументами шаблона и пакетом параметров? - PullRequest
Новая
       74

Как использовать enable, если с аргументами шаблона и пакетом параметров?

2 голосов
/ 24 февраля 2020

Я работал с шаблонами c ++ и наткнулся на этот кусок кода, который использует SFINAE, используя std::enable_if. Я сталкиваюсь с двумя проблемами с этим кодом. 

#include <string>
#include <iostream>

enum class Type : int { First = 1, Second, Third };

template <Type T>
struct Symbol : public std::true_type {
  using Parent = std::true_type;
  using type = Parent::value_type;
  static constexpr type value = Parent::value;
  static constexpr type GetValue() {
        if constexpr (T == Type::First) return value;
    else return !value;
  }
};


template <bool b>
using EnableIf = typename std::enable_if<b, int>::type;

template <Type T> static constexpr bool IsTradingSymbol() {
  return Symbol<T>::GetValue();
}

template <Type T, EnableIf<IsTradingSymbol<T>()>...>
bool GetErrorForUi(Type A) {
  return true;
}
template <Type T, EnableIf<!IsTradingSymbol<T>()>...>
bool GetErrorForUi(Type A) {
  return false;
}

int main () {
  std::cout << GetErrorForUi<Type::First>(Type::First) << std::endl;
  std::cout << GetErrorForUi<Type::Second>(Type::Second) << std::endl;
  return 0;
}

1) Почему пакет параметров используется в EnableIf<IsTradingSymbol<T>()>.... Если я удаляю ..., то код компиляции не выполняется. Я не могу вывести точную ошибку из трассировки, и почему это ... вообще нужно там? (скомпилировано с G CC 7.4.0). 

enableif.cpp: In function ‘int main()’:
enableif.cpp:43:54: error: no matching function for call to ‘GetErrorForUi<First>(Type)’
   std::cout << GetErrorForUi<Type::First>(Type::First) << std::endl;
                                                      ^
enableif.cpp:26:6: note: candidate: template<Type T, typename std::enable_if<IsTradingSymbol<T>(), int>::type <anonymous> > bool GetErrorForUi(Type)
 bool GetErrorForUi(Type A) {
      ^~~~~~~~~~~~~
enableif.cpp:26:6: note:   template argument deduction/substitution failed:
enableif.cpp:43:54: note:   couldn't deduce template parameter ‘<anonymous>’
   std::cout << GetErrorForUi<Type::First>(Type::First) << std::endl;
                                                      ^
enableif.cpp:30:6: note: candidate: template<Type T, typename std::enable_if<(! IsTradingSymbol<T>()), int>::type <anonymous> > bool GetErrorForUi(Type)
 bool GetErrorForUi(Type A) {
      ^~~~~~~~~~~~~
enableif.cpp:30:6: note:   template argument deduction/substitution failed:
enableif.cpp:43:54: note:   couldn't deduce template parameter ‘<anonymous>’
   std::cout << GetErrorForUi<Type::First>(Type::First) << std::endl;
                                                      ^
enableif.cpp:44:56: error: no matching function for call to ‘GetErrorForUi<Second>(Type)’
   std::cout << GetErrorForUi<Type::Second>(Type::Second) << std::endl;
                                                        ^
enableif.cpp:26:6: note: candidate: template<Type T, typename std::enable_if<IsTradingSymbol<T>(), int>::type <anonymous> > bool GetErrorForUi(Type)
 bool GetErrorForUi(Type A) {
      ^~~~~~~~~~~~~
enableif.cpp:26:6: note:   template argument deduction/substitution failed:
enableif.cpp:44:56: note:   couldn't deduce template parameter ‘<anonymous>’
   std::cout << GetErrorForUi<Type::Second>(Type::Second) << std::endl;
                                                        ^
enableif.cpp:30:6: note: candidate: template<Type T, typename std::enable_if<(! IsTradingSymbol<T>()), int>::type <anonymous> > bool GetErrorForUi(Type)
 bool GetErrorForUi(Type A) {
      ^~~~~~~~~~~~~
enableif.cpp:30:6: note:   template argument deduction/substitution failed:
enableif.cpp:44:56: note:   couldn't deduce template parameter ‘<anonymous>’
   std::cout << GetErrorForUi<Type::Second>(Type::Second) << std::endl;

2) Код не компилируется с i cc X86-64 (компилятор intel 19.0.1). Компилятор не поддерживает std::enable_if sfinae или это ошибка самого компилятора intel?

Ответы [ 2 ]

1 голос
/ 24 февраля 2020

1) Почему пакет параметров используется в EnableIf ()> .... Если я удаляю ..., то код завершается ошибкой при компиляции. Я не могу вывести точную ошибку из трассировки, и почему это ... нужно вообще там? (скомпилировано с G CC 7.4.0).

Посмотрите на EnableIf<IsTradingSymbol<T>()>.

Это 

template <bool b>
using EnableIf = typename std::enable_if<b, int>::type;

Так же, как и int, когда условие true, в противном случае ничего.

Предположим, что условие IsTradingSymbol<T>() истинно; так что 

template <Type T, EnableIf<IsTradingSymbol<T>()>...>
bool GetErrorForUi(Type A) {
  return true;
}

становится 

template <Type T, int ...>
bool GetErrorForUi(Type A) {
  return true;
}

Теперь у вас есть функция шаблона. Требуются некоторые, не выводимые из аргументов, параметры: a Type (T), который является обязательным, и список целых чисел, ноль или более.

Вы вызываете функцию следующим образом 

GetErrorForUi<Type::First>(Type::First);

Таким образом, вы передаете функции в качестве параметра шаблона только Type. Не целые числа.

Это работает, потому что функция ожидает ноль или более целых чисел.

Но когда вы удалите многоточие (...), функция станет 

template <Type T, int>
bool GetErrorForUi(Type A) {
  return true;
}

Теперь GetErrorForUi() ожидают два параметра шаблона: a Type и int. Ровно один int, не более нуля или более.

Теперь одно целое число является обязательным и допустимо только одно.

Так что теперь вызов 

GetErrorForUi<Type::First>(Type::First);

не делает t работает (выдает ошибку компиляции), потому что вы не передаете обязательный параметр шаблона int.

А также 

GetErrorForUi<Type::First, 0, 1>(Type::First);

не работает (после удаления многоточия; компилировать), потому что функции ожидают ровно одно целое число, и вы передаете два int s.

Это также должно ответить на ваш второй пункт.

0 голосов
/ 24 февраля 2020

Традиционный способ: 

template <Type T, std::enable_if_t<condition_v<T>, int> = 0>
bool GetErrorForUi(Type A);

А не 

template <Type T, std::enable_if_t<condition_v<T>, int>...>
bool GetErrorForUi(Type A);

Так что после замены это будет 

template <Type T, int /*unnammed*/ = 0>
bool GetErrorForUi(Type A);

template <Type T, int /*unnammed*/...>
bool GetErrorForUi(Type A);

Если произойдет сбой замещения, это не ошибка (SFINAE), и эти перегрузки отбрасываются

...