SFINAE tried with bool gives compiler error: “template argument ‘T::value’ involves template parameter” [duplicate]

by

Actually what you’re doing is forbidden by section §14.5.4/9 which says,

A partially specialized non-type argument expression shall not involve a template parameter of the partial specialization except when the argument expression is a simple identifier.

The trick could be using a type for second template parameter as well, encapsulating the non-type value, as described below:

template<bool b> struct booltype {};

template<typename T, typename B = booltype<true> >
struct Resolve
{
  static const bool value = false;
};

template<typename T>
struct Resolve<T, booltype<T::my_value> >
{
  static const bool value = true;
};

Now it compile fines.

More Related Contents:

  1. Templated check for the existence of a class member function?
  2. How can I add reflection to a C++ application?
  3. Check if a class has a member function of a given signature
  4. How does `void_t` work
  5. How to detect whether there is a specific member variable in class?
  6. “Undefined reference to” template class constructor [duplicate]
  7. SFINAE working in return type but not as template parameter
  8. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  9. What is “Expression SFINAE”?
  10. Metaprograming: Failure of Function Definition Defines a Separate Function
  11. SFINAE to check for inherited member functions
  12. C++ SFINAE examples?
  13. Selecting a member function using different enable_if conditions
  14. Why should I avoid std::enable_if in function signatures
  15. How to write a type trait `is_container` or `is_vector`?
  16. Template issue causes linker error (C++) [duplicate]
  17. Detecting constexpr with SFINAE
  18. How to detect existence of a class using SFINAE?
  19. “not declared in this scope” error with templates and inheritance [duplicate]
  20. check if member exists using enable_if
  21. Template specialization and enable_if problems [duplicate]
  22. SFINAE works differently in cases of type and non-type template parameters
  23. Select class constructor using enable_if
  24. Using SFINAE to check for global operator
  25. Deciphering C++ template error messages
  26. using SFINAE for template class specialisation
  27. Assert that code does NOT compile
  28. How to check if a template parameter is an iterator type or not?
  29. How to test whether class B is derived from template family of classes
  30. How do we use void_t for SFINAE?

Leave a Comment