这是我从台湾的http://www.cis.nctu.edu.tw/chinese/doc/research/c++/C++FAQ-Chinese/发现的《C++ Frequently Asked Questions》的繁体翻译，作者是：叶秉哲，也是《C++ Programming Language》3/e繁体版的译者，该文章是非常的好，出于学习用途而将它转贴，本人未取得作者的授权，原文章的版权仍然归属原作者.

Ｃ＋＋语言常见问题解

＝＝ Ｐａｒｔ ４／４ ＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

comp.lang.c++ Frequently Asked Questions list (with answers, fortunately).
Copyright (C) 1991-96 Marshall P. Cline, Ph.D.
Posting 4 of 4.
Posting #1 explains copying permissions, (no)warranty, table-of-contents, etc

=======================================
■□ 第１７节：和 C 连结／和 C 的关系
=======================================

Q105：怎样从 C++ 中呼叫 C 的函数 "f(int,char,float)"？

告诉 C++ 编译器说：它是个 C 的函数：
extern "C" void f(int,char,float);

确定你有 include 进来完整的函数原型 (function prototype)。一堆 C 的函数可
以用大括号框起来，如下：

extern "C" {
void* malloc(size_t);
char* strcpy(char* dest, const char* src);
int printf(const char* fmt, ...);
}

========================================

Q106：怎样才能建一个 C++ 函数 "f(int,char,float)"，又能被 C 呼叫？

想让 C++ 编译器知道 "f(int,char,float)" 会被 C 编译器用到的话，就要用到前
一则 FAQ 已详述的 "extern C" 语法。接着在 C++ 模块内定义该函数：

void f(int x, char y, float z)
{
//...
}

"extern C" 一行会告诉编译器：送到 linker 的外部信息要采用 C 的呼叫惯例及签
名编码法（譬如，前置一个底线）。既然 C 没有多载名称的能力，你就不能让 C 程
式能同时呼叫得到多载的函数群。

警告以及实作相关事项：
 * 你的 "main()" 应该用 C++ 编译之（为了静态对象的初始化）。
 * 你的 C++ 编译器应该能设定连结的程序（为某些特殊的链接库）。
 * 你的 C 和 C++ 编译器可能要是同一个牌子的，而且是兼容的版本（亦即：有相
同的呼叫惯例等等）。

========================================

Q107：为什么 linker 有这种错误讯息：C/C++ 函数被 C/C++ 函数呼叫到？

看前两则 FAQs 关于 extern "C" 的使用。

========================================

Q108：该怎么把 C++ 类别的对象传给／传自 C 的函数？

例子：

/****** C/C++ header file: Fred.h ******/
#ifdef __cplusplus /*"__cplusplus" is #defined if/only-if
compiler is C++*/
        extern "C" {
#endif

#ifdef __STDC__
extern void c_fn(struct Fred*); /* ANSI-C prototypes */
extern struct Fred* cplusplus_callback_fn(struct Fred*);
#else
extern void c_fn(); /* K&R style */
extern struct Fred* cplusplus_callback_fn();
#endif

#ifdef __cplusplus
}
#endif

#ifdef __cplusplus
class Fred {
public:
Fred();
void wilma(int);
private:
int a_;
};
#endif

"Fred.C" 是个 C++ 模块：

#include "Fred.h"
Fred::Fred() : a_(0) { }
void Fred::wilma(int a) : a_(a) { }

Fred* cplusplus_callback_fn(Fred* fred)
{
fred->wilma(123);
        return fred;
}

"main.C" 是个 C++ 模块：

#include "Fred.h"

int main()
{
Fred fred;
c_fn(&fred);
   return 0;
}

"c-fn.c" 是个 C 模块：

#include "Fred.h"
void c_fn(struct Fred* fred)
{
cplusplus_callback_fn(fred);
}

把指向 C++ 对象的指针传到／传自 C 的函数，如果传出与收回的指针不是“完全相
同”的话，就会失败。譬如，不要传出一个基底类别的指针却收回一个衍生类别的指
标，因为 C 编译器不懂该怎么对多重及虚拟继承的指针做转型。

========================================

Q109：C 的函数能不能存取 C++ 类别的对象资料？

有时可以。

（请先读一读前一则关于和 C 函数间传递 C++ 对象的 FAQ。）

你可以安全地从 C 函数中存取 C++ 对象的资料，只要 C++ 的对象类别：
 * 没有虚拟函数（包含继承下来的虚拟函数）.
 * 所有资料都在同一个存取等级中 (private/protected/public).
 * 完全被包含的子对象中也都没有虚拟函数.

如果 C++ 类别有任何基底类别（或是任何被完全包含的子对象中有基底类别）的话
，技术上来说，存取该资料没有可移植性的，因为语言没规定在继承之下的类别配置是
什么样子。不过经验上，所有 C++ 编译器的做法都一样：基底类别对象先出现（在
多重继承之下，则由左到右排列之），子对象次之。

还有，如果类别（或是任何基底类别）含有任何虚拟函数，你时常可以（但不是一直
都可以）假设有一个 "void*" 出现在对象第一个虚拟函数之所在，或是在该对象的
第一个 word 那里。同样的，语言对它也没规定到，但这似乎是「大家」都采取的做
法。

如果该类别有任何虚拟基底类别，情况会更复杂而且更没有可移植性。常见的做法是：
让对象最后才包含基底类别之对象 (V)（不管 "V" 在继承阶层中在哪儿出现），物
件的其它部份则以正常的次序出现。每个有 V 这个虚拟基底类别的衍生类别，实际
上都有个“指针”指向最后一个对象的 V 的部份。

========================================

Q110：为什么我总觉得 C++ 让我「离机器更远了」，不像 C 那样？

因为事实上正是如此。

做为一个 OOPL，C++ 让你以该问题的领域来思考，让你以问题领域的语言来设计程
式，而非以解题的领域来着手。

一个 C 最强的地方是：它没有「隐藏的机制」：你看到的就是你得到的，你可以一
边阅读 C 的程序，一边「看到」每个系统时脉。C++ 则不然； C 的老手（像从前的
我们）对这种特性常会有矛盾的心理（或是说「敌视」），但是很快的他们会发现：
C++ 提供了抽象化的层次及经济的表现能力，大大降低维护成本，又不会损及执行效
率。

很自然的，用任何语言都会写出坏程序；C++ 并不会确保任何高品质?p可重用性?p抽
象化，或是任何「正字标记」的品质因子。C++ 不会让差劲的程序者写不出差劲的程
式；她只是协助明智的发展者做出高人一等的软件。


===================================
■□ 第１８节：指向成员函数的指针
===================================

Q111：「指向成员函数的指针」和「指到函数的指针」的型态有差别吗？

是的。

考虑底下的函数：

int f(char a, float b);

如果它是普通的函数，它的型态是： int (*) (char,float);
如果它是 Fred 类别的运作行为，它的型态是： int (Fred::*)(char,float);

========================================

Q112：怎样把指向成员函数的指针传给 signal handler?pX event callback 等等？

【译注】这是和 UNIX?pX Window System 相关的问题，但其它系统亦可推而广之。

不要这样做。

因为若无对象去激活它，成员函数是无意义的，你不能直接使用它（如果 X 窗口系
统是用 C++ 写的话，或许就可以直接传对象的参考值了，而不光是传个指向函数的
指针；自然地，对象会包含所有要用到的函数，甚至更多）。

若想修改现有的软件，可拿最顶层的（非成员的）函数当作一层包装 (wrapper)，透
过其它技巧（或许是放在全域变量中），把该对象包起来。这个最顶层的函数，会透
过适当的成员函数去使用该全域变量。

譬如，你想在中断处理中呼叫 Fred::memfn() 的话：

 class Fred {
public:
void memfn();
static void staticmemfn(); // 用个 static 成员函数就行了
//...
};

//wrapper 函数会记得哪个对象该去激活全域对象的成员函数：
Fred* object_which_will_handle_signal;
void Fred_memfn_wrapper() { object_which_will_handle_signal->memfn(); }

main()
{
/* signal(SIGINT, Fred::memfn); */ //不能这样做
signal(SIGINT, Fred_memfn_wrapper); //Ok
       signal(SIGINT, Fred::staticmemfn); //Also Ok
}

注意：静态成员函数不需要真正的对象才能激活，所以指向静态成员函数的指针，和
普通的指向函数的指针，具有兼容的型态（详见 ARM ["Annotated Reference
Manual"] p.25, 158）。

========================================

Q113：当我想以成员函数做为中断服务例程 (ISR) 时，为什么编译器产生（型态不
    符）的错误？

这是前两个问题的特例，所以请先看看前两则解答。

非静态的成员函数，都有一个隐藏的参数，对应到 'this' 指针，该 'this' 指针会
指向该对象的案例资料 (instance data)，可是系统中断的硬件／韧体并未提供这个
'this' 参数。你得用「正常的」函数（不是类别的成员）或是静态成员函数来做为
中断服务例程才行。

一个可行的解法是：用一个静态成员做为中断服务例程，让它能自己到某处去找案例
／成员的配对，以供中断呼叫之用。这么一来，当中断产生时，正常的 method 就会
被激活，不过以技术观点来看，你得先呼叫一个中介函数。

========================================

Q114：为什么我取不出 C++ 函数的地址？

这可由前一则 FAQ 推论过来。

详细的解答：在 C++ 里，成员函数有一个隐含的参数，指向该对象本身（成员函数
内的 "this" 指针）。正常的 C 函数与成员函数的呼叫惯例可视为不同，所以它们
指针的型态（指向成员函数 vs 指向函数）既不同也不兼容。C++ 引进一个新的指针
型态：指向成员的指针，要提供一个对象才能激活之（见 ARM ["Annotated
Reference Manual"] 5.5）。

注意：不要去把指向成员函数的指针强制转型成指向函数的指针；这样做的结果是未
定义的，且下场可能会很惨。譬如，指向成员函数的指针，“不必然”会包含某正常
函数的机器地址（看 ARM, 8.1.2c, p.158）。如前例所提，如果你有个指向正常 C
函数的指针的话，请用上层的（非成员的）函数，或是用 "static" 成员函数（类别
成员函数）。

========================================

Q115：怎样宣告指向成员函数的指针数组？

用 "typedef" 好让你的脑筋保持清醒。

class Fred {
public:
int f(char x, float y);
int g(char x, float y);
int h(char x, float y);
int i(char x, float y);
//...
};

typedef int (Fred::*FredPtr)(char x, float y);

这是指向成员函数的指针数组：Here's the array of pointers to member functions:

FredPtr a[4] = { &Fred::f, &Fred::g, &Fred::h, &Fred::i };

呼叫对象 "fred" 的某一个成员函数：

void userCode(Fred& fred, int methodNum, char x, float y)
{
//假设 "methodNum" 在 [0,3] 区间内
(fred.*a[methodNum])(x, y);
}

你可以用 #define 让这个呼叫清楚些：

#define callMethod(object,ptrToMethod) ((object).*(ptrToMethod))
callMethod(fred, a[methodNum]) (x, y);


====================================
■□ 第１９节：容器类别与 template
====================================

Q116：怎样自一个连结串行／杂凑表等等里面，插入／存取／改变元素？

我将以最简单的「插入连结串行」为例。想把元素插入串行的头尾很容易，但只限
于这些功能的话，会使链接库过于低能（太低能的链接库比没有更糟）。

完整的解答会让 C++ 新手消化不良，所以我只提几个项目。第一个是最简单的，第
二和第三是比较好的。

[1] 替 "List" 加入一个「现在位置」的性质，加入像是 advance()?pbackup()?p
atEnd()?patBegin()?pgetCurrElem()?psetCurrElem(Elem)?pinsertElem(Elem)
?premoveElem() 等等的运作行为。

即使在这个小例子里已经够用了，但「只有一个」现在位置的记号的话，想存取
串行中两个以上位置的元素就不太容易（譬如：「对所有 x,y 序对，做底下的
事情……」）。

[2] 把上述的 List 运作行为拿掉，移到独立的类别 "ListPosition" 中。

ListPosition 的作用是：代表 List 里「现在的位置」，这样就允许许多位置
并存于同一个串行中。ListPosition 是 List 的伙伴，所以 List 的内部可对
外界隐藏起来（否则 List 的内部就会被它的公共运作行为所公开）。注意：
ListPosition 可以把运算子多载起来，像是 advance()、backup()，因为运算
子多载只是正常运作行为的语法糖衣而已。

[3] 把整个位置处理（iteration）当成是一个基元事件（atomic event），建一个
class template 去涵盖该事件。

它不会在内部循环中使用公共存取运作行为（它有可能是虚拟函数），所以效率
能增进。不幸的，你的应用软件会多出些额外的二元码，因为 template 是以空
间换取时间的。欲知详情，请见 [Koenig, "Templates as interfaces,"
JOOP, 4, 5 (Sept 91)], 以及 [Stroustrup, "The C++ Programming Language
Second Edition," under "Comparator"].

========================================

Q117：「样版」（template）的用意是什么？

Template 本意是个压饼模子，它把饼干都压成差不多一个样子（虽然饼干的原料不
尽相同，但它们都有相同的基本外形）。同理，class template 是个样版模子，用
来描述如何将一系列的对象类别弄成同一个基本型式；而 function template 则是
用以描述一系列看起来差不多的函数。

Class template 常用于制造型别安全的容器（即使这仅止于「如何使用它」而已）。

========================================

Q118："function template" 的语法／语意是什么？

考虑底下这个交换两个整数自变量的函数：

void swap(int& x, int& y)
{
int tmp = x;
x = y;
y = tmp;
}

假如我们想交换 float、long、String、Set 和 FileSystems，我们还得写那些
大致看起来都一样、只有型态不同的程序代码，有够烦人。这种不花脑筋的重复性工作
，正是计算机的专长，于是我们想出了 function template：

template<class T>
void swap(T& x, T& y)
{
T tmp = x;
x = y;
   y = tmp;
}

每次我们以一组型别来使用 "swap()"，编译器会找到上面这定义，并造出另一个
"template function" ，来当作它的「案例」（instantiation）。譬如：

main()
{
int i,j; /*...*/ swap(i,j); // 案例化 "int" 的 swap
float a,b; /*...*/ swap(a,b); // 案例化 "float" 的 swap
char c,d; /*...*/ swap(c,d); // 案例化 "char" 的 swap
String s,t; /*...*/ swap(s,t); // 案例化 "String" 的 swap
}

（注意："template function" 是 "function template" 实体化之后的案例。）

========================================

Q119："class template" 的语法／语意是什么？

考虑像是个整数数组的容器类别：

// 这会放在像是 "Array.h" 的标头档中
class Array {
public:
Array(int len=10) : len_(len), data_(new int[len]){}
~Array() { delete [] data_; }
int len() const { return len_; }
const int& operator[](int i) const { data_[check(i)]; }
int& operator[](int i) { data_[check(i)]; }
Array(const Array&);
   Array& operator= (const Array&);
private:
int len_;
int* data_;
  int check(int i) const
{ if (i < 0 i >= len_) throw BoundsViol("Array", i, len_);
return i; }
};

如同前述的 "swap()" ，一再为 float、char、String、Array-of-String 等等来重
复设计 Array 类别，是很烦人的。

// 这会放在像是 "Array.h" 的标头档中
template<class T>
class Array {
public:
Array(int len=10) : len_(len), data_(new T[len]) { }
~Array() { delete [] data_; }
int len() const { return len_; }
     const T& operator[](int i) const { data_[check(i)]; }
T& operator[](int i) { data_[check(i)]; }
Array(const Array<T>&);
Array& operator= (const Array<T>&);
private:
int len_;
T* data_;
        int check(int i) const
{ if (i < 0 i >= len_) throw BoundsViol("Array", i, len_);
return i; }
};

不像 template function 那样，template classes（案例化的 class template）必
须将那些用来案例化的参数型态明示出来：

main()
{
Array<int> ai;
Array<float> af;
Array<char*> ac;
Array<String>   as;
Array< Array<int> > aai;
} // ^^^-- 注意这空格；不要用 "Array<Array<int>>"
     // （编译器会把 ">>" 看成单一的元素）

========================================

Q120：什么是「参数化型别」（parameterized type）？

另一种 "class template" 的说法。

「参数化型别」是一种型别，它被另一个型别或数值所参数化（parameterized）了。
像 List<int> 是一个型别 ("List") ，它被另一个型别 ("int") 所参数化。

========================================