Simple and safe SQL queries with C++ templates

Most large software applications rely on an external relational database for storing and managing persistent data. Typically, such applications interact with the database by first constructing strings that represent SQL statements, and then submitting these for execution by the database engine. The fact that these statements are only checked for correctness at runtime is a source for many potential defects, including type and syntax errors and vulnerability to injection attacks.The AraRat system presented here offers a method for dealing with these difficulties by coercing the host C++ compiler to do the necessary checks of the generated strings. A library of templates and preprocessor directives is used to embed in C++ a little language representing an augmented relational algebra formalism. Type checking of this embedded language, carried out by our template library, assures, at compile-time, the correctness and safety of the generated SQL strings. All SQL statements constructed by AraRat are guaranteed to be syntactically correct, and type safe with respect to the database schema. Moreover, AraRat statically ensures that the generated statements are immune to all injection attacks.The standard techniques of “expression templates” and “compile-time symbolic derivation” for compile-time representation of symbolic structures, are enhanced in our system. We demonstrate the support of a type system and a symbol table lookup of the symbolic structure. A key observation of this work is that type equivalence of instantiated nominally typed generics in C++ (as well as other languages, e.g., Java) is structural rather than nominal. This makes it possible to embed the structural type system, characteristic to persistent data management, in the nominal type system of C++.For some of its advanced features, AraRat relies on two small extensions to the standard C++ language: the typeof pseudo operator and the __COUNTER__ preprocessor macro.     

用Photoshop CS3创造朦胧美

该文介绍了小型数码相机要想获得景深很小的画面并不容易的道理,提出了技术研究的着力点在于解决实际问题。通过典型实例,详细介绍了在Photoshop CS3中如何实现大光圈朦胧背景效果的制作,对提高摄影爱好者的兴趣和信心,促进摄影艺术发展的现实意义。     

Two 2D postprocessing tools and their applications to the improvement of 3D pictures

When displaying abstract objects, as in the case of scientific visualization, it is manadatory to give the user a maximum of cues to help him understand the displayed structures. In this short note, we describe two general, simple 2D postprocessing tools and their applications for the improvement of 3D perception by means of simulation of realistic 3D effects.