Empirically determine value category of C++11 expression?

by

decltype can return the declared type of an entity (hence the name), but can also be used to query the type of an expression. However, in the latter case the resulting type is ‘adjusted’ according to the value category of that expression: an lvalue expression results in an lvalue reference type, an xvalue in an rvalue reference type, and a prvalue in just the type. We can use this to our benefit:

template<typename T>
struct value_category {
    // Or can be an integral or enum value
    static constexpr auto value = "prvalue";
};

template<typename T>
struct value_category<T&> {
    static constexpr auto value = "lvalue";
};

template<typename T>
struct value_category<T&&> {
    static constexpr auto value = "xvalue";
};

// Double parens for ensuring we inspect an expression,
// not an entity
#define VALUE_CATEGORY(expr) value_category<decltype((expr))>::value

More Related Contents:

  1. Why C++11 in-class initializer cannot use parentheses?
  2. C++11 does not deduce type when std::function or lambda functions are involved
  3. Sorting zipped (locked) containers in C++ using boost or the STL
  4. When should I really use noexcept?
  5. What does the single ampersand after the parameter list of a member function declaration mean?
  6. What does the thread_local mean in C++11?
  7. How to check if a std::thread is still running?
  8. What is the ‘override’ keyword in C++ used for? [duplicate]
  9. What exactly is std::atomic?
  10. When to use std::forward to forward arguments?
  11. check variadic templates parameters for uniqueness
  12. Using member variable in lambda capture list inside a member function
  13. Can an enum class be converted to the underlying type?
  14. What’s a use case for overloading member functions on reference qualifiers?
  15. The reason of using `std::greater` for creating min heap via `priority_queue`
  16. istream behavior change in C++ upon failure
  17. Where is shared_ptr?
  18. Difference between std::system_clock and std::steady_clock?
  19. Is there a range class in C++11 for use with range based for loops?
  20. std::auto_ptr to std::unique_ptr
  21. The new keyword “auto”; When should it be used to declare a variable type? [duplicate]
  22. How to update GCC in MinGW on Windows?
  23. Understanding rvalue references
  24. Memory alignment : how to use alignof / alignas?
  25. reinterpret_cast between char* and std::uint8_t* – safe?
  26. Check if a type is from a particular namespace
  27. How does =delete on destructor prevent stack allocation?
  28. C++11 ‘native_handle’ is not a member of ‘std::this_thread’
  29. Does ‘auto’ type assignments of a pointer in c++11 require ‘*’?
  30. Why can’t C++11 move a noncopyable functor to a std::function?

Leave a Comment