Resource Management and Tuples in CⱯ

Programming Languages;C;Tuples;Constructors;Destructors;Variadic Functions;Resource management;RAII;Cforall

Schluntz, Robert

University of Waterloo

关键词: Programming Languages;    C;    Tuples;    Constructors;    Destructors;    Variadic Functions;    Resource management;    RAII;    Cforall;   

Others  :  https://uwspace.uwaterloo.ca/bitstream/10012/11830/1/Schluntz_Robert.pdf

瑞士|英语

来源: UWSPACE Waterloo Institutional Repository

【 摘 要 】

CⱯ is a modern, non-object-oriented extension of the C programming language. This thesis addresses several critical deficiencies of C, notably: resource management, a limited function-return mechanism, and unsafe variadic functions. To solve these problems, two fundamental language features are introduced: tuples and constructors/destructors. While these features exist in prior programming languages, the contribution of this work is engineering these features into a highly complex type system. C is an established language with a dedicated user-base. An important goal is to add new features in a way that naturally feels like C, to appeal to this core user-base, and due to huge amounts of legacy code, maintaining backwards compatibility is crucial.