C**类型约束编程概要

对面向对象、泛型程序设计(Generic Programming)进行了较为深入的分析,阐明了各自的目标、技术特征及其优缺点,着重论述了C 语言的一个泛型编程扩充语言C如何通过一种叫做"命名类型约束"的新的机制来实现静态类型需求的直接语言支持和编译检查,实现类型约束编程。

Overview of Type Constrained Programming in C **

A thorough and in-depth analysis of the underlying ideas and methodology of object-orientation and generic programming, elaborating the aims, technological characteristics, advantages and disadvantages of both are presented. On further enhancing generic programming by providing direct language support and compiler checking for static type requirements, which leads to a new programming mechanism called "named type constraint". As the first example of type-constrained programming (TCP) languages in the literatures, a TCP extension of C , C , are discussed, illustrating how to efficiently and economically implement the mechanism.