The
C typedef language construct is even more powerful in
C++ than it is in
C.
The
generic programming technique known as
traits works by having a typedef inside a
class template specialization. In effect, we get a
compile-time mapping from types to types.