C dilinin bir türevi olup, özellikle sınıf yapılarını, kalıtımı, polimorfizmi ve nesneye yönelik programlamada gerekli olan kuvvetli tiplemeyi destekleyen genel amaçlı üst düzey dil.