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_nodetruthvalue_false_node truthvalue_true_node,这些才是编译器真正用到的布尔值,布尔类型。这样好处是,不同的语言可以指定合适自己的布尔类型及布尔值。作为一个例子,在C语言中,布尔类型是整型(是integer_type_node),其布尔值是integer_one_nodeinteger_zero_node

3028行,vtable_index_typevatble的索引类型。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。注意__cxxabiv1C++ 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_TYPELANG_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

 

你可能感兴趣的:(GCC-3.4.6源代码学习笔记(62))