Is substitution performed on a variadic parameter pack type if the pack is empty?

by

I believe I have found the relevant piece of standardese. §14.8.2p7 says:

The substitution occurs in all types and expressions that are used in the function type and in template parameter declarations.

Since EnableIf<dependent_true_type<T>> is used in a template parameter declaration, substitution should occur and this is a bug in clang.

More Related Contents:

  1. to_string is not a member of std, says g++ (mingw)
  2. C++11 make_pair with specified template parameters doesn’t compile
  3. SFINAE working in return type but not as template parameter
  4. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  5. What are the correct link options to use std::thread in GCC under linux?
  6. What is “Expression SFINAE”?
  7. Static Data Member Initialization
  8. Why doesn’t SFINAE (enable_if) work for member functions of a class template?
  9. Why should I avoid std::enable_if in function signatures
  10. Detecting constexpr with SFINAE
  11. What is decltype with two arguments?
  12. Template specialization and enable_if problems [duplicate]
  13. Standard-layout and tail padding
  14. error: use of deleted function
  15. How to use sfinae for selecting constructors?
  16. Overloaded lambdas in C++ and differences between clang and gcc
  17. A class name introduced inside a class is not treated as a nested class name
  18. GNU C++ how to check when -std=c++0x is in effect?
  19. Clang doesn’t see basic headers
  20. How to compile C++ with C++11 support in Mac Terminal
  21. Conflict between copy constructor and forwarding constructor
  22. gcc can compile a variadic template while clang cannot
  23. Using libstdc++ compiled libraries with clang++ -stdlib=libc++
  24. “to_string” isn’t a member of “std”?
  25. constexpr not working if the function is declared inside class scope
  26. Why can’t I use with g++ 4.9.2?
  27. Spurious warning about binding temporary to reference member in constructor
  28. Detect operator support with decltype/SFINAE
  29. get part of std::tuple
  30. get part of std::tuple

Leave a Comment