SFINAE при попытке использовать bool дает ошибку компилятора: «аргумент шаблона 'T :: value' включает параметр шаблона» [дубликат]

На этот вопрос уже есть ответы здесь :

Почему для частичной специализации в аргументе, не являющемся типом, запрещено использовать вложенные параметры шаблона (2 ответа)

Closed 3 года назад .

Я попытался реализовать SFINAE, используя bool (в отличие от популярного трюка void_ ):

  template
  struct Resolve
  {
    static const bool value = false;
  };

  template
  struct Resolve
  {
    static const bool value = true;
  };

Цель состоит в том, чтобы специализировать классы, которые имеют static const bool my_value = true; определен внутри него. Если они определены false или не определены, не специализируйте его. т.е.

struct B1 {  // specialize Resolve for this case
  static const bool my_value = true;
};
struct B2 {  // don't specialize
  static const bool my_value = false;
};
struct B3 {};  // don't specialize

При применении вышеуказанного трюка к B1 он дает ошибку компиляции:

Resolve::value;

ошибка: аргумент шаблона 'T :: my_value' включает параметры шаблона

Я знаю, что это может быть достигнуто альтернативными способами. Однако мне интересно узнать, почему здесь возникает ошибка компилятора и можно ли решить эту проблему в самом коде?

задан Community 23 May 2017 в 10:31

0 ответов

Другие вопросы по тегам:

c++ templates compiler-errors sfinae

SFINAE при попытке использовать bool дает ошибку компилятора: «аргумент шаблона 'T :: value' включает параметр шаблона» [дубликат]

0 ответов

Похожие вопросы: