Directory of Type System Resources

Home > Top > Computers > Programming > Languages > C++ > Type System

Resources in This Category

• A Brief Introduction to Rvalue References

  http://www.artima.com/cppsource/rvalue.html
  Rvalue references allow programmers to avoid logically unnecessary copying and to provide perfect forwarding functions. They are primarily meant to aid in the design of higher performance and more robust libraries.

• Ada-style Ranged Types in C++

  http://www.drdobbs.com/cpp/ada-style-ranged-types-in-c/201001318
  Ranged types, common in Ada, allow the programmer to constrain a numerical type to a certain range. This article presents a library that brings these types to C++.

• Associative Chains in C++

  http://www.drdobbs.com/associative-chains-in-c/184402067
  Phillip Bruce gets around some of the limitations of the pointer-to-member with a model of class associations that he calls "Associative Chains."

• Built-in Type Safety?

  http://www.artima.com/cppsource/typesafety.html
  C++ is a statically typed language but its type system is not bulletproof. This article reveals some all-too-common type glitches and how to fix them. (Thomas Guest)

• C++: Under the Hood

  http://www.openrce.org/articles/files/jangrayhood.pdf
  Explains run-time C++ implementation details such as class layout techniques and the virtual function call mechanism.

• Never Call Virtual Functions During Construction or Destruction

  http://www.artima.com/cppsource/nevercall.html
  Explains why you should never call virtual functions during construction and destruction of your objects. (Scott Meyers)

• On the Tension Between Object-Oriented and Generic Programming in C++

  http://www.artima.com/cppsource/type_erasure.html
  Discusses how the use of generic programming in C++ can lead to conflicts with object-oriented design principles. Also demonstrates how a technique known as type erasure can often be used to resolve theseconflicts. An in-depth example is presented: any_iterator, a type-safe,heterogeneous C++ iterator.

• Overloading and Overloading

  http://www.drdobbs.com/overloading-and-overloading/184406484
  Operator overloading may be syntactic sugar, but there are a lot of things that don't taste very good without sugar.

• Passing By Reference-to-const

  http://www.embedded.com/electronics-blogs/programming-pointers/4023847/Passing-By-Reference-to-const
  Explains why the rules for initializing references make passing by reference-to-const an efficient and attractive alternative to passing by value.

• Reference Initializations

  http://www.embedded.com/electronics-blogs/programming-pointers/4023832/Reference-Initializations
  Explains how the rules for initializing references differ from the rules for initializing pointers.

• Rvalue References Explained

  http://thbecker.net/articles/rvalue_references/section_01.html
  Explains how rvalue references solve at least two problems: implementing move semantics, and perfect forwarding.

• Rvalue References: C++0x Features in VC10, Part 2

  http://blogs.msdn.com/b/vcblog/archive/2009/02/03/rvalue-references-c-0x-features-in-vc10-part-2.aspx
  Talks about rvalue references, which enable two different things: move semantics and perfect forwarding. They're initially very confusing because they distinguish lvalues from rvalues, which very few C++98/03 programmers are extensively familiar with.

• Simulating Polymorphic Operators in C++

  http://www.drdobbs.com/cpp/simulating-polymorphic-operators-in-c/200001978
  Presents three different techniques for making operators polymorphic.

 

Home > Top > Computers > Programming > Languages > C++ > Type System

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us