C++语言的15个晦涩特性.doc

C++语言的15个晦涩特性 这个列表收集了?C++ 语言的一些晦涩（Obscure）特性，是我经年累月研究这门语言的各个方面收集起来的。C++非常庞大，我总是能学到一些新知识。即使你对C++已了如指掌，也希望你能从列表中学到一些东西。下面列举的特性，根据晦涩程度由浅入深进行排序。 1. 方括号的真正含义 2. 最烦人的解析 3.替代运算标记符 4. 重定义关键字 5. Placement new 6.在声明变量的同时进行分支 7.成员函数的引用修饰符 8.图灵完备的模板元编程 9.指向成员的指针操作符 10. 静态实例方法 11.重载++和– 12.操作符重载和检查顺序 13.函数作为模板参数 14.模板的参数也是模板 15.try块作为函数 ? 方括号的真正含义 用来访问数组元素的ptr[3]其实只是*(ptr + 3)的缩写，与用*(3 + ptr)是等价的，因此反过来与3[ptr]也是等价的，使用3[ptr]是完全有效的代码。 ? 最烦人的解析 “most vexing parse”这个词是由Scott Meyers提出来的，因为C++语法声明的二义性会导致有悖常理的行为： 1 2 3 4 5 6 7 8 9 10 11 // 这个解释正确？ // 1) 类型std::string的变量会通过std::string()实例化吗？ // 2) 一个函数声明，返回一个std::string值并有一个函数指针参数， // 该函数也返回一个std::string但没有参数？ std::string foo(std::string()); ? // 还是这个正确？ // 1)类型int变量会通过int(x)实例化吗？ // 2)一个函数声明，返回一个int值并有一个参数， // 该参数是一个名为x的int型变量吗？ int bar(int(x)); 两种情形下C++标准要求的是第二种解释，即使第一种解释看起来更直观。程序员可以通过包围括号中变量的初始值来消除歧义： 1 2 3 //加括号消除歧义 std::string foo((std::string())); int bar((int(x))); 第二种情形让人产生二义性的原因是int y = 3;等价于int(y) = 3; 译者注：这一点我觉得有点迷惑，下面是我在g++下的测试用例： 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 #include iostream #include string using namespace std; ? int bar(int(x));?? // 等价于int bar(int x) ? string foo(string());? // 等价于string foo(string (*)()) ? string test() { ????return test; } ? int main() { ????cout bar(2) endl; // 输出2 ????cout foo(test); // 输出test ????return 0; } ? int bar(int(x)) {? ????return x; } ? string foo(string (*fun)()) { ????return (*fun)(); } 能正确输出，但如果按作者意思添加上括号后再编译就会报一堆错误：“在此作用域尚未声明”、“重定义”等，还不清楚作者的意图。 ? 替代运算标记符 标记符and, and_eq, bitand, bitor, compl, not, not_eq, or, or_eq, xor, xor_eq, %, %, : 和 :都可以用来代替我们常用的, =, , |, ~, !, !=, ||, |=, ^, ^=, {, }, [ 和 ]。在键盘上缺乏必要的符号时你可以使用这些运算标记符来代替。 ? 重定义关键字 通过预处理器重定义关键字从技术上讲会引起错误，但实际上是允许这样做的。因此你可以使用类似#define true false 或 #define else来搞点恶作剧。但是，也有它合法有用的时候，例如，如果你正在使用一个很大的库而且需要绕过C++访问保护机制，除了给库打补丁的方法外，你也可以在包含该库头文件之前关闭访问保护来解决，但要记得在包含库头文件之后一定要打开保护机制！ 1 2 3 4 5 6 7 8 9 #define class struct #define private public #define protected public ? #include library.h ? #undef class