共用体クラスは参照型ですが、構造体は値型です。Cの構造体はすべて、Dの構造体として正確に表現することができます。"自明な"コンストラクタとデストラクタを持った型とも言えます。データ構造を定義する方法として使うことを意図されています。外部の型とは、OSのAPIや、ファイルフォーマットなどによって定義される型です。オブジェクト指向的な機能はクラスによって提供されます。構造体には同一性(identity)の概念はありません。実装は必要ならいつでも構造体のビット単位のコピーを作って良いことになっています。ClassDeallocatorCの場合と同様に動きます。可能な操作はこれらの型の内容に関する知識がゼロでも実行できるものに限ります。