What is decltype with two arguments?

by

It’s an comma-separated list of expressions, the type is identical to the type of the last expression in the list. It’s usually used to verify that the first expression is valid (compilable, think SFINAE), the second is used to specify that decltype should return in case the first expression is valid.

More Related Contents:

  1. Detect operator support with decltype/SFINAE
  2. “What happened to my SFINAE” redux: conditional template class members?
  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 is “Expression SFINAE”?
  6. decltype and parentheses
  7. trailing return type using decltype with a variadic template function
  8. Selecting a member function using different enable_if conditions
  9. Why doesn’t SFINAE (enable_if) work for member functions of a class template?
  10. Why should I avoid std::enable_if in function signatures
  11. Arrow operator (->) in function heading
  12. Checking a member exists, possibly in a base class, C++11 version
  13. Detecting constexpr with SFINAE
  14. What do compilers do with compile-time branching?
  15. Significance of parentheses in decltype((c))?
  16. Template specialization and enable_if problems [duplicate]
  17. Is it possible to determine if a type is a scoped enumeration type?
  18. How to use sfinae for selecting constructors?
  19. Disambiguate overloaded member function pointer being passed as template parameter
  20. decltype as a return type in class member function
  21. Difference between std::result_of and decltype
  22. Which cannot be implemented without compiler hooks?
  23. What expressions yield a reference type when decltype is applied to them?
  24. Check traits for all variadic template arguments
  25. False positive with is_copy_constructible on vector
  26. C++11 is_same type trait for templates
  27. Assert that code does NOT compile
  28. Is substitution performed on a variadic parameter pack type if the pack is empty?
  29. How to test whether class B is derived from template family of classes
  30. should std::common_type use std::decay?

Leave a Comment