Linux 版 (精华区)

发信人: netiscpu (夜☆星光点点☆), 信区: Linux
标  题: ◇ C++ FAQ 4/4
发信站: 紫 丁 香 (Sun Nov  8 17:42:18 1998), 转信


寄信人: guest.bbs@hgluo.hust.edu.cn 
标  题: ◇ C++ FAQ 4/4
发信站: 华南理工大学 BBS木棉站
日  期: Thu Feb 20 15:13:44 1997

== Part 4/4  ============================

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

=======================================
■□ 第17节:和 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++ 并不会确保任何高品质、可重用性、抽
象化,或是任何「正字标记」的品质因子。C++ 不会让差劲的程式者写不出差劲的程
式;她只是协助明智的发展者做出高人一等的软体。


===================================
■□ 第18节:指向成员函数的指标
===================================

Q111:「指向成员函数的指标」和「指到函数的指标」的型态有差别吗?

是的。

考虑底下的函数:

        int f(char a, float b);

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

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

Q112:怎样把指向成员函数的指标传给 signal handler、X event callback 等等?

【译注】这是和 UNIX、X 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);


====================================
■□ 第19节:容器类别与 template
====================================

Q116:怎样自一个连结串列/杂凑表等等里面,插入/存取/改变元素?

我将以最简单的「插入连结串列」为例。想把元素插入串列的头尾很容易,但只限
於这些功能的话,会使程式库过於低能(太低能的程式库比没有更糟)。

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

[1] 替 "List" 加入一个「现在位置」的性质,加入像是 advance()、backup()、
    atEnd()、atBegin()、getCurrElem()、setCurrElem(Elem)、insertElem(Elem)
    、removeElem() 等等的运作行为。

    即使在这个小例子里已经够用了,但「只有一个」现在位置的记号的话,想存取
    串列中两个以上位置的元素就不太容易(譬如:「对所有 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") 所参数化。

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

Q121:「泛型」(genericity)是什麽?

另一种 "class template" 的说法。

不要和「一般化」(generality,指不要过於特定的解题)弄混了,「泛型」指的是
class template。


=======================
■□ 第20节:程式库
=======================

Q122:怎样拿到 "STL"?

"STL" 代表 "Standard Templates Library",标准模版程式库。取得法:

STL HP official site:   ftp://butler.hpl.hp.com/stl
STL code alternate:     ftp://ftp.cs.rpi.edu/stl
STL code + examples:    http://www.cs.rpi.edu/~musser/stl.html

STL hacks for GCC-2.6.3 已经在 GNU libg++ 2.6.2.1 或更新版本里了(可能较早
的版本也有)。多谢 Mike Lindner。

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

Q123:怎样 ftp 到 "Numerical Recipes" 附的程式?

它是用卖的,把它放到网路上散布是违法的。不过它只需 $30 美元而已。

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

Q124:为什麽我的执行档会这麽大?

很多人对这麽大的执行档感到惊讶,特别是当原始码只有一点点而已。例如一个简单
的 "hello world" 程式居然会产生大家都想不到的大小(40+K bytes)。

一个原因是:有些 C++ 执行期程式库被连结进去了。有多少被连结进去,就要看看
你用到多少,以及编译器把程式库切割成多少块而定。例如,iostream 很大,包含
一大堆类别及虚拟函数,即使你只用到一点点,因为各元件之间的交互参考依存关系
,可能会把整个 iostream 程式码都塞进来了。(【译注】如果 linker 做得好的话
,应该能把完全用不到的元件 object code 砍掉,不随之塞入你的执行档中。)

不要用静态的,改用动态连结的程式库版本,就可以使你的程式变小。

欲知详情,请看看你的编译器手册,或是寻求厂商的技术支援。


===============================
■□ 第21节:特定系统的细节
===============================

Q125:GNU C++ (g++) 把小程式造出大大的执行档,为什麽?

libg++(g++ 用到的程式库)可能在编译时带有除错的资讯(-g)。有些机器上,不
带除错资讯地重新编译它,会省下很大的磁碟空间(~1 MB;缺点是:不能追踪到
libg++ 的呼叫)。仅仅 "strip" 掉执行档,比不上先用 -g 重新编译,再 "strip"
掉 a.out 档来得有效。

用 "size a.out" 来看看执行码的程式与资料区段到底占了多大空间,而不要用
"ls -s a.out" 这种包括了符号表格(symbol table)的方式。

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

Q126:有 YACC 的 C++ 文法吗?

Jim Roskind 是 C++ 的 YACC 文法作者,它大体上和部份 USL cfront 2.0 所实作
出来的语言相容(没有 template、例外、执行期型态识别功能)。这份文法有些地
方和 C++有细小而微妙的差别。

它可用 anonymous ftp 到下列地方取得:
 * ics.uci.edu (128.195.1.1) in "gnu/c++grammar2.0.tar.Z".
 * mach1.npac.syr.edu (128.230.7.14) in "pub/C++/c++grammar2.0.tar.Z".

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

Q127:什麽是 C++ 1.2?  2.0?  2.1?  3.0?

这些不是“语言”的版本,而是 cfront 这个由 AT&T 做出来的、最早的 C++转译程
式的版本编号。以这编号来“代表”C++ 语言的演进,已经是公认的惯例了。

“非常”粗略地讲,主要的特徵有:
 * 2.0 包含多重/虚拟继承,以及纯虚拟函数。
 * 2.1 包含半巢状 (semi-nested) 类别,及 "delete [] 阵列指标"。
 * 3.0 包含全巢状 (fully-nested) 类别、template 和 "i++" vs "++i"。
 * 4.0 将包含例外处理。

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

Q128:如果签名编码标准化了,我能否将不同厂商编译器产生的程式码连结起来?

简短的回答:可能不行。

换句话说,有人希望标准化的签名编码规则能并入拟议中的 C++ ANSI 标准,避免还
要为不同厂商的编译器购买不同版本的物件程式库。然而不同的系统实作中,签名编
码的差异性只占一小部份而已,即使是在同一个基台(platform)上。这里列出一部
份其他的差异处:

1) 成员函数隐含的引数个数和型态。
   1a) 'this' 有被特殊处理吗?
   1b) 传值的指标放在哪里?
2) 假设有用到 vtable 虚拟表格的话:
   2a) 它的内容及配置?
   2b) 多重继承时,'this' 在何处/如何调整?
3) 类别如何配置,包含:
   3a) 基底类别的位置?
   3b) 虚拟基底类别的处理?
   3c) 虚拟表格指标的位置,如果有用虚拟表格的话?
4) 函数的呼叫惯例,包含:
   4a) 呼叫者还是被呼叫者负责调整堆叠?
   4b) 实际参数放到哪里?
   4c) 实际参数传递之顺序?
   4d) 暂存器如何存放?
   4e) 传回值放到哪里?
   4f) 对传入/传回 struct 或 double 有无特殊的规定?
   4g) 呼叫末端函数(leaf function)有无特殊的暂存器存放规定?
5) run-time-type-identification 如何配置?
6) 当一个例外被 throw 时,执行期的例外处理系统如何得知哪一个区域物件该被解
   构?


=======================================
■□ 第22节:其他的技术和环境的事项
=======================================
● 22A:其他的技术事项
========================

Q129:为什麽有 static 资料成员的物件类别产生了 linker 错误?

Static 的资料成员必须外显地在唯一的模组中定义。
                     ^^^^^^  ~~~~~~^^^^  ^^^^
【译注】这句话要逐字细读。原文是:Static data members must be
        explicitly defined in exactly one module.

譬如:
        class Fred {
        public:
          //...
        private:
          static int i_;  // 宣告 static 资料成员 "Fred::i_"
          //...
        };

Linker 会告诉你 "Fred::i_ is not defined(未定义)" ,除非你在任何一个(且
唯一)原始档中定义(而非宣告)了 "Fred::i_" :

        int Fred::i_ = 某个会产生 int 的运算式;
或是:
        int Fred::i_;

通常我们会在 "Fred.C" 档中定义 "Fred" 类别的 static 资料成员(或 "Fred.cpp"
等等你使用的副档名)。

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

Q130:"struct" 和 "class" 关键字差别在哪?

struct 的成员和基底类别, 都是预设为 public 的,而 class 则预设为 private。
注意:你应该“明显地”把基底类别设为 public、private 或是 protected,而不
要依赖预设值。

除此之外,两者的功能是相等的。

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

Q131:为什麽不能以函数的传回值来多载(overload)它?

如果你同时宣告了 "char f()" 及 "float f()" ,编译器会给你个错误讯息,因为
呼叫 "f()" 会造成模拟两可的情况。

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

Q132:什麽是「持续性」?什麽是「持续性物件」?

一个持续性物件 (persistent object),在创造它的程式执行结束後,仍可存活下来
。它甚至可存活於不同的父程式,存活於磁碟系统、作业系统、甚至於作业系统所处
的硬体上。

持续性物件的困难在於:如何有效地在次储存体中,存放它们的运作行为(method)
及资料位元(以及所有成员物件的资料和运作行为,及它们所有的成员物件、基底类
别……等等)。这一切都得自己来做的话,可不是件容易的事。在 C++中,你就得自
己来。C++/OO 的资料库系统,会替你把这些机制都隐藏起来。

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

Q133:为什麽浮点数 (floating point) 这麽不精确?为什麽这段程式不会印出 0.43?

        #include<iostream.h>

        main()
        {
          float a = 1000.43;
          float a = 1000.0;
          cout << a - b << '\n';
        }

(附注,有些 C++ 环境下会印出 0.429993)

声明:受进位/舍位/近似值之苦,其实并不是 C++ 的问题,而是电脑科学界的问
题。不过还是一直有人在 comp.lang.c++ 里发问,所以我给你一个答案意思一下。

答案:浮点数本来就是个近似值。在 IEEE 的 32 位元浮点数标准里,有 1 位元的
正负号,8 位元的指数,23 位元的假数。因为正规化後的二进位假数都会变成像是
1.xxxxx... 的型式,所以头一项的 1 不予计入,就能得到 24 位元的有效假数。
1000.43(以及其他很多很多数字)都不是 float 或 double 的表示法,其实
1000.43 的位元内容是这样子的('s' 代表正负号,'e' 代表指数,'m' 代表假数)


    seeeeeeeemmmmmmmmmmmmmmmmmmmmmmm
    01000100011110100001101110000101

假数移位後变成 1111101000.01101110000101 或是 1000 + 7045/16384。
分数部份为 0.429992675781。
float 的假数占 24 位元,所以你只得到 16M 分之一的精确度。
double 有较高的精确度(53 位元的假数)。

==========================
● 22B:其他环境下的琐事
==========================

Q134:有任何 TeX 或 LaTeX 的巨集,能处理 "C++" 的留白效果(spacing)吗?

有的,底下列出两个:

\def\CC{C\raise.22ex\hbox{{\footnotesize +}}\raise.22ex\hbox{\footnotesize +}}

\def\CC{{C\hspace{-.05em}\raisebox{.4ex}{\tiny\bf ++}}}

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

Q135:在哪儿可拿到 C++2LaTeX 这个 C++原始码的 LaTeX 美编工具(pretty
      printer)?

这儿列出一些 ftp 地点:

Host aix370.rrz.uni-koeln.de   (134.95.80.1) Last updated 15:41 26 Apr 1991
    Location: /tex
      FILE      rw-rw-r--     59855  May  5  1990   C++2LaTeX-1.1.tar.Z
Host utsun.s.u-tokyo.ac.jp   (133.11.11.11) Last updated 05:06 20 Apr 1991
    Location: /TeX/macros
      FILE      rw-r--r--     59855  Mar  4 08:16   C++2LaTeX-1.1.tar.Z
Host nuri.inria.fr   (128.93.1.26) Last updated 05:23  9 Apr 1991
    Location: /TeX/tools
      FILE      rw-rw-r--     59855  Oct 23 16:05   C++2LaTeX-1.1.tar.Z
Host iamsun.unibe.ch   (130.92.64.10) Last updated 05:06  4 Apr 1991
    Location: /TeX
      FILE      rw-r--r--     59855  Apr 25  1990   C++2LaTeX-1.1.tar.Z
Host iamsun.unibe.ch   (130.92.64.10) Last updated 05:06  4 Apr 1991
    Location: /TeX
      FILE      rw-r--r--     51737  Apr 30  1990
      C++2LaTeX-1.1-PL1.tar.Z
Host tupac-amaru.informatik.rwth-aachen.de   (192.35.229.9)
Last updated 05:07 18 Apr 1991
    Location: /pub/textproc/TeX
      FILE      rw-r--r--     72957  Oct 25 13:51  C++2LaTeX-1.1-PL4.tar.Z
Host wuarchive.wustl.edu   (128.252.135.4) Last updated 23:25 30 Apr 1991
    Location: /packages/tex/tex/192.35.229.9/textproc/TeX
      FILE      rw-rw-r--     49104  Apr 10  1990   C++2LaTeX-PL2.tar.Z
      FILE      rw-rw-r--     25835  Apr 10  1990   C++2LaTeX.tar.Z
Host tupac-amaru.informatik.rwth-aachen.de   (192.35.229.9)
Last updated 05:07 18 Apr 1991
    Location: /pub/textproc/TeX
      FILE rw-r--r-- 74015  Mar 22 16:23 C++2LaTeX-1.1-PL5.tar.Z
    Location: /pub
      FILE rw-r--r-- 74015  Mar 22 16:23 C++2LaTeX-1.1-PL5.tar.Z
Host sol.cs.ruu.nl   (131.211.80.5) Last updated 05:10 15 Apr 1991
    Location: /TEX/TOOLS
      FILE      rw-r--r--     74015  Apr  4 21:02x   C++2LaTeX-1.1-PL5.tar.Z
Host tupac-amaru.informatik.rwth-aachen.de (192.35.229.9)
Last updated 05:07 18 Apr 1991
    Location: /pub/textproc/TeX
      FILE      rw-r--r--      4792  Sep 11  1990 C++2LaTeX-1.1-patch#1
      FILE      rw-r--r--      2385  Sep 11  1990 C++2LaTeX-1.1-patch#2
      FILE      rw-r--r--      5069  Sep 11  1990 C++2LaTeX-1.1-patch#3
      FILE      rw-r--r--      1587  Oct 25 13:58 C++2LaTeX-1.1-patch#4
      FILE      rw-r--r--      8869  Mar 22 16:23 C++2LaTeX-1.1-patch#5
      FILE      rw-r--r--      1869  Mar 22 16:23 C++2LaTeX.README
Host rusmv1.rus.uni-stuttgart.de   (129.69.1.12)
Last updated 05:13 13 Apr 1991
    Location: /soft/tex/utilities
      FILE      rw-rw-r--    163840  Jul 16  1990   C++2LaTeX-1.1.tar

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

Q136:该到哪里取得 "tgrind" 这个 C++/C/etc 的原始码美编工具?

"tgrind" 读入 C++ 原始档案,并输出能让 Unix 印表机印出美观文件的东西。它常
会伴随在 TeX 和 LaTeX 的套件里;请找找这个目录:
 "...tex82/contrib/van/tgrind" 。 由 Jerry Leichter 所做更新的版本,可在
venus.ycc.yale.edu in [.TGRIND] 里找到。

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

Q137:有给 GNU emacs 编辑器用的 C++-mode 吗?有的话,该怎麽拿?

Yes,有一个给 GNU emacs 用的 C++-mode。

最新、最好的 C++-mode(以及 c-mode)版本是 cc-mode.el 档,是 Detlef &
Clamen 版本的延伸。Emacs 里头有一个了,较新的则在 elisp 里面。

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

Q138:我要到哪儿得到和作业系统相关的 FAQs( 譬如:BC++、DOS、Windows 等等
      )?

请参考:
 * comp.os.msdos.programmer
 * comp.windows.ms.programmer
 * comp.unix.programmer

[如果您有 BC++、VC++ 的 email address,或是 Semantic C++ 的臭□清单或可供
讨论的 mailing list,请告诉我该如何加入,我会在这儿提出的。]

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

Q139:为什麽我的 DOS C++ 程式说 "Sorry: floating point code not linked"
      “抱歉,浮点运算程式码未连结进来”?

编译器会试著节省执行档的大小,所以除非必要,否则不引入浮点数→字串格式转换
的副程式,可是有时候它会猜错,就会产生上述的错误讯息了。解决法:(1) 使用
<iostream.h> 而不要用 <stdio.h>,或是 (2) 在您程式的某个地方,置入如下的函
数(但是不要真的去呼叫它!):

        static void dummyfloat(float *x) { float y; dummyfloat(&y); }

请参考关於 stream I/O 的 FAQ项目,有提到更多使用 <iostream.h> vs <stdio.h>
的理由。

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

Q140:为什麽当我没执行 BC45 IDE 的话,BC++ 做出来的 Windows 应用程式就不能
      用?

用 BC++ 写 Windows 应用程式,如果当 BC45 IDE 正在执行时,你的程式很正常;
待会儿当 BC45 IDE 关掉了,而你的程式却在建立视窗时产生了个 exception 的话
,就把底下这行程式加到你的应用程式类别 ("YourApp::InitMainWindow()") 里头
的 InitMainWindow() 内:

        EnableBWCC(TRUE);

【译注】这是因为你用 BC++ 写的应用程式,可能会自动用到 bwcc*.dll,刚好
        BC++ 的 IDE 也会用到它,所以两者并存的话,BWCC 已先被 IDE 载入了。
        若是 IDE 未执行,则 BWCC 未被载入,你就得用上面那一行程式来通知
        OWL 去载入它。

== comp.lang.c++ FAQ 结束 =========================
--
m;32m※ 转寄:.华南网木棉站 bbs.gznet.edu.cn.[FROM: mtlab.hit.edu.cn]
--

                              Enjoy Linux!
                          -----It's FREE!-----

※ 来源:.紫 丁 香 bbs.hit.edu.cn.[FROM: mtlab.hit.edu.cn]
[百宝箱] [返回首页] [上级目录] [根目录] [返回顶部] [刷新] [返回]
Powered by KBS BBS 2.0 (http://dev.kcn.cn)
页面执行时间:209.592毫秒