How do traits classes work and what do they do?

by

Perhaps you’re expecting some kind of magic that makes type traits work. In that case, be disappointed – there is no magic. Type traits are manually defined for each type. For example, consider iterator_traits, which provides typedefs (e.g. value_type) for iterators.

Using them, you can write

iterator_traits<vector<int>::iterator>::value_type x;
iterator_traits<int*>::value_type y;
// `x` and `y` have type int.

But to make this work, there is actually an explicit definition somewhere in the <iterator> header, which reads something like this:

template <typename T>
struct iterator_traits<T*> {
    typedef T value_type;
    // …
};

This is a partial specialization of the iterator_traits type for types of the form T*, i.e. pointers of some generic type.

In the same vein, iterator_traits are specialized for other iterators, e.g. typename vector<T>::iterator.

More Related Contents:

  1. Is it possible to figure out the parameter type and return type of a lambda?
  2. Find out whether a C++ object is callable
  3. How to write this math equationn into c++ [duplicate]
  4. C++ – How to clear variables after a while loop? [closed]
  5. How do I properly delete nodes of linked list in C++
  6. How to get rid of `deprecated conversion from string constant to ‘char*’` warnings in GCC?
  7. How do I make CMake output into a ‘bin’ dir?
  8. How to easily map c++ enums to strings
  9. How to use C++ in Go
  10. How to printf uint64_t? Fails with: “spurious trailing ‘%’ in format”
  11. How do I Search/Find and Replace in a standard string?
  12. Requesting administrator privileges at run time
  13. Why is using the function name as a function pointer equivalent to applying the address-of operator to the function name?
  14. Template issue causes linker error (C++) [duplicate]
  15. Should I return EXIT_SUCCESS or 0 from main()?
  16. Understanding Recursion to generate permutations
  17. Are there practical uses for dynamic-casting to void pointer?
  18. Workaround for template argument deduction in non-deduced context
  19. Problem with std::map::iterator after calling erase()
  20. Virtual destructor and undefined behavior
  21. overloading base class method in derived class
  22. Calculating convexityDefects using OpenCV 2.4 in c++
  23. Value initialization and Non POD types
  24. Linking different libraries for Debug and Release builds in Cmake on windows?
  25. Visual c++ “for each” portability
  26. What happens when a function that returns an object ends without a return statement
  27. traceback a pointer in c++ code gdb
  28. C++ Extract number from the middle of a string
  29. Getting another process command line in Windows
  30. Private constructor and make_shared

Leave a Comment