GCC-3.4.6源代码学习笔记（62）

4.3.1.7.6.            其它具有C链接性的C++语言成分

4.3.1.7.6.1.      标准部分

和c_common_nodes_and_builtins走过一长段路程后，我们回到cxx_init_decl_processing。注意current_lang_name仍然是lang_name_c，表明下面构建的节点仍然是C链接性的。3002~3009的类型节点用于C++和Java之间的接口（即，extern “Java” …）。

 

cxx_init_decl_processing (continue)

 

3002     java_byte_type_node = record_builtin_java_type ("__java_byte", 8);

3003     java_short_type_node = record_builtin_java_type ("__java_short", 16);

3004     java_int_type_node = record_builtin_java_type ("__java_int", 32);

3005     java_long_type_node = record_builtin_java_type ("__java_long", 64);

3006     java_float_type_node = record_builtin_java_type ("__java_float", -32);

3007     java_double_type_node = record_builtin_java_type ("__java_double", -64);

3008     java_char_type_node = record_builtin_java_type ("__java_char", -16);

3009     java_boolean_type_node = record_builtin_java_type ("__java_boolean", -1);

3010  

3011     integer_two_node = build_int_2 (2, 0);

3012     TREE_TYPE (integer_two_node) = integer_type_node;

3013     integer_three_node = build_int_2 (3, 0);

3014     TREE_TYPE (integer_three_node) = integer_type_node;

3015  

3016     record_builtin_type (RID_BOOL, "bool", boolean_type_node);

3017     truthvalue_type_node = boolean_type_node;

3018     truthvalue_false_node = boolean_false_node;

3019     truthvalue_true_node = boolean_true_node;

3020  

3021     empty_except_spec = build_tree_list (NULL_TREE, NULL_TREE);

3022  

3023   #if 0

3024     record_builtin_type (RID_MAX, NULL, string_type_node);

3025   #endif

3026  

3027     delta_type_node = ptrdiff_type_node;

3028     vtable_index_type = ptrdiff_type_node;

3029  

3030     vtt_parm_type = build_pointer_type (const_ptr_type_node);

3031     void_ftype = build_function_type (void_type_node, void_list_node);

3032     void_ftype_ptr = build_function_type (void_type_node,

3033                                    tree_cons (NULL_TREE,

3034                                             ptr_type_node,

3035                                             void_list_node));

3036     void_ftype_ptr

3037       = build_exception_variant (void_ftype_ptr, empty_except_spec);

 

在3016行，boolean_type_node被加入到全局名字空间。而boolean_*_node早已定义在global_tree中。然后使用这些节点来定义c_global_trees中的truthvalue_type_node，truthvalue_false_node及 truthvalue_true_node，这些才是编译器真正用到的布尔值，布尔类型。这样好处是，不同的语言可以指定合适自己的布尔类型及布尔值。作为一个例子，在C语言中，布尔类型是整型（是integer_type_node），其布尔值是integer_one_node和integer_zero_node。

在3028行，vtable_index_type是vatble的索引类型。vtt_parm_type 则用于VTT（虚表表 - virtual table table）——这个表出现在有虚基类的类中，它的类型是const void**。而void_ftype代表类型“void(*)(void)”，3032行的void_ftype_ptr则是“void(*)(void*)”。 最后，在3036行，void_ftype_ptr是类型“void(*)(void*) throw()”，build_exception_variant构建了这个类型。

 

973    tree

974    build_exception_variant (tree type, tree raises)                                                   in tree.c

975    {

976      tree v = TYPE_MAIN_VARIANT (type);

977      int type_quals = TYPE_QUALS (type);

978   

979      for (; v; v = TYPE_NEXT_VARIANT (v))

980        if (TYPE_QUALS (v) == type_quals

981             && comp_except_specs (raises, TYPE_RAISES_EXCEPTIONS (v), 1)

982           && (*targetm.comp_type_attributes) (type, v))

983          return v;

984   

985     /* Need to build a new variant.  */

986      v = build_type_copy (type);

987      TYPE_RAISES_EXCEPTIONS (v) = raises;

988      return v;

989    }

4.3.1.7.6.2.      扩展部分

这部分完成了：在全局名字空间中加入代表unknonw_type的节点，代表虚函数表项类型的节点，代表虚函数表类型的节点；在全局名字空间加入名字空间__cxxabiv1；最后在全局名字空间加入global_type_node。注意__cxxabiv1指C++ ABI版本1。在wikipedia上，ABI的定义如下：

在计算机软件里，应用程序2进制接口（ABI）描述了应用程序（或其他类型程序）与操作系统或其它应用间的低级接口。

ABI涵盖了诸如，数据类型、大小、对齐要求；函数参数传递及返回值返回方式的调用惯例；系统调用号及应用程序如何进行系统调用；及在一个完整的操作系统ABI中，目标文件的2进制格式，库，等等。一个完整的ABI，如Intel Binary Compatibility Standard (iBCS)，[1]允许来自一个支持这个ABI 的操作系统的程序，能够运行在其他类似的系统上而不需要修改，只要存在必要的共享库及满足相似的先决条件。

其他ABI标准化了细节，诸如，C++名字修饰，[2]异常传递，[3]及同一平台上编译器之间的函数调用惯例，但不要求交叉编译的相容性。

一个ABI不应该与一个应用程序接口（API）混淆，API定义了一个库中可调用的例程，可操作的数据结构，及/或用于构建一个使用这个特定的（通常语言特定）API的应用的对象或类。

 

cxx_init_decl_processing (continue)

 

3039     /* C++ extensions */

3040  

3041     unknown_type_node = make_node (UNKNOWN_TYPE);

3042     record_unknown_type (unknown_type_node, "unknown type");

3043  

3044     /* Indirecting an UNKNOWN_TYPE node yields an UNKNOWN_TYPE node.  */

3045     TREE_TYPE (unknown_type_node) = unknown_type_node;

3046  

3047     /* Looking up TYPE_POINTER_TO and TYPE_REFERENCE_TO yield the same

3048       result.  */

3049     TYPE_POINTER_TO (unknown_type_node) = unknown_type_node;

3050     TYPE_REFERENCE_TO (unknown_type_node) = unknown_type_node;

3051  

3052     {

3053       /* Make sure we get a unique function type, so we can give

3054         its pointer type a name. (This wins for gdb.) */

3055       tree vfunc_type = make_node (FUNCTION_TYPE);

3056       TREE_TYPE (vfunc_type) = integer_type_node;

3057       TYPE_ARG_TYPES (vfunc_type) = NULL_TREE;

3058       layout_type (vfunc_type);

3059  

3060       vtable_entry_type = build_pointer_type (vfunc_type);

3061     }

3062     record_builtin_type (RID_MAX, VTBL_PTR_TYPE, vtable_entry_type);

3063  

3064     vtbl_type_node

3065       = build_cplus_array_type (vtable_entry_type, NULL_TREE);

3066     layout_type (vtbl_type_node);

3067     vtbl_type_node = build_qualified_type (vtbl_type_node, TYPE_QUAL_CONST);

3068     record_builtin_type (RID_MAX, NULL, vtbl_type_node);

3069     vtbl_ptr_type_node = build_pointer_type (vtable_entry_type);

3070     layout_type (vtbl_ptr_type_node);

3071     record_builtin_type (RID_MAX, NULL, vtbl_ptr_type_node);

3072  

3073     push_namespace (get_identifier ("__cxxabiv1"));

3074     abi_node = current_namespace;

3075     pop_namespace ();

3076  

3077     global_type_node = make_node (LANG_TYPE);

3078     record_unknown_type (global_type_node, "global type");

 

在上面的代码中，UNKNOWN_TYPE是LANG_TYPE的别名，这是一个语言特定类别的类型。它的含义由语言的前端确定。layout_type不知道如何去布局它，因此需要前端自己来。它们通过record_unknown_type加入当前的名字空间。

 

2872   static void

2873   record_unknown_type (tree type, const char* name)                                           in decl.c

2874   {

2875     tree decl = pushdecl (build_decl (TYPE_DECL, get_identifier (name), type));

2876     /* Make sure the "unknown type" typedecl gets ignored for debug info.  */

2877     DECL_IGNORED_P (decl) = 1;

2878     TYPE_DECL_SUPPRESS_DEBUG (decl) = 1;

2879     TYPE_SIZE (type) = TYPE_SIZE (void_type_node);

2880     TYPE_ALIGN (type) = 1;

2881     TYPE_USER_ALIGN (type) = 0;

2882     TYPE_MODE (type) = TYPE_MODE (void_type_node);

2883   }

 

这里注意类型vtable_entry_type，它是返回整型并且不带任何参数的函数指针。不过它的形式是不重要的，因为它用于表示vtable表项的类型。类似的还有vtbl_type_node。