The root of the entire intermediate representation is the variable
global_namespace. This is the namespace specified with ::
in C++ source code. All other namespaces, types, variables, functions,
and so forth can be found starting with this namespace.
Korean Translation
전체 중간표현의 근원은 변수 global_namespace이다. 이것은 C++ 소스코드에서 ::과 함께 나타내어지는 네임스페이스다. 모든 다른 네임스페이스�,타입,변수,함수등은 이 네임스페이스와 같이 시작되는 것을 알 수 있다.
Besides namespaces, the other high-level scoping construct in C++ is the
class. (Throughout this manual the term class is used to mean the
types referred to in the ANSI/ISO C++ Standard as classes; these include
types defined with the class, struct, and union
keywords.)
Korean Translation
네임스페이스외에 C++에서 다른 고급레벨의 scoping으로는 클래스가 있다.
모든 다른 네임스페이스들,타입(형,변수,함수등은
A namespace is represented by a NAMESPACE_DECL node.
Korean Translation
네임스페이스는 NAMESPACE_DECL노드에 의해 표현된다.
However, except for the fact that it is distinguished as the root of the
representation, the global namespace is no different from any other
namespace. Thus, in what follows, we describe namespaces generally,
rather than the global namespace in particular.
Korean Translation
그러나, 표현의 근원으로서 구분되는 사실외엔 global namespace는 다른 어떤 네임스페이스와 별반 차이가 없다. 그러므로 특별히 global_namespace보다는 일반적으로 네임스페이스를 설명한다.
The ::std namespace, however, is special, unless
flag_honor_std is set. This variable is set by the use
`-fhonor-std' (or an option that implies it, like
`-fnew-abi'), when invoking G++. When flag_honor_std is
set, the std namespace is just like any other namespace. When
flag_honor_std is not set, however, the ::std namespace is
treated as a synonym for the global namespace, thereby allowing users to
write code that will work with compilers that put the standard library
in the ::std namespace, even though the library supplied with G++
does not do so, as of GCC 2.95. The std namespace is represented
by the variable std_node. Although std_node is a
NAMESPACE_DECL, it does not have all the fields required of a
real namespace, and the macros and functions described here do not work,
in general. It is safest simply to ignore std_node should you
encounter it while examining the internal representation. In
particular, you will encounter std_node while looking at the
members of the global namespace. Just skip it without attempting to
examine its members.
Korean Translation
::std 네임스페이스는 '-fhonor-sed'가 세팅되지 않았다면 특별한 네임스페이스다. 이 변수는 G++에서 '-flag_honor-std'를 이용하여 세팅된다. 'flag-honor'가 셋되었을때 ::std 네임스페이스는 다른 일반 네임스페이스와 같다. 세팅되지 않았을 경우 ::std네임스페이스는 global_namespace에 대한 동의어로서 처리된다. 그리하여 사용자가 컴파일러와 작업할 수 있는 코드작성을 허용하기 위해 ::std 네임스페이스에 standard library를 넣는다(심지어 G++에서 제공되는 라이브러리가 그렇게 동작하지않더라도). std 네임스페이스는 변수 std_node에 의해 표현된다. 비록 std_node가 하나의 NAMESPACE_DECL이지만 그것은 실제 네임스페이스에게 필요한 필드들을 가지고 있지 않고 여기서 언급된 함수나 매크로들은 일반적으로 사용되지 않는다. 내부표현을 조사할 때 std_node를 접하게 되면 간단히 무시하는 것이 가장 안전할 것이다. 특별히 global_namespace의 멤버들을 조사하면서 std_node를 만날 수 있을 것이다. 그럴 경우 그것의 멤버들을 조사하기를 시도하지말고 그냥 지나쳐 버린다.�
The following macros and functions can be used on a NAMESPACE_DECL:
이 매크로와 함수들은 NAMESPACE_DECL에서 사용될 수 있다.
DECL_NAME
IDENTIFIER_NODE corresponding to
the unqualified name of the name of the namespace (see section Identifiers).
The name of the global namespace is `::', even though in C++ the
global namespace is unnamed. However, you should use comparison with
global_namespace, rather than DECL_NAME to determine
whether or not a namespaces is the global one. An unnamed namespace
will have a DECL_NAME equal to anonymous_namespace_name.
Within a single translation unit, all unnamed namespaces will have the
same name.
이 매크로는 네임스페이스의 이름으로서 부적절한 이름에 상응하는 IDENTIFIER_NODE를 얻는데 사용된다. 비록 C++에선 전역 네임스페이스란 이름이 없지만 여기서 전역 네임스페이스는 '::'이다. 네임스페이스가 전역인지의 여부를 결정하기 위해선 DECL_NAME보다는 global_namespace와 비교해야만 한다. 이름없는 네임스페이스는 anonymous_namespace_name와 같은 DECL_NAME를 가질 것이다. 단일 해석단위에서 모든 이름없는 네임스페이스들은 같은 이름을 가질 것이다.
DECL_CONTEXT
DECL_CONTEXT for
the global_namespace is NULL_TREE.
이 매크로는 enclosing(?) 네임스페이스를 리턴한다.
DECL_NAMESPACE_ALIAS
DECL_NAMESPACE_ALIAS is the namespace for which this one is an
alias.
Do not attempt to use cp_namespace_decls for a namespace which is
an alias. Instead, follow DECL_NAMESPACE_ALIAS links until you
reach an ordinary, non-alias, namespace, and call
cp_namespace_decls there.
이 선언이 네임스페이스 알리어스에 대한 것이라면 DECL_NAMESPACE_ALIASE는 그 네임스페이스에 대한 알리어스다. 네임스페이스의 알리어스에 대해 cp_namespace_decls를 사용해서는 않된다. 대신 보텅의 알리어스 되지않은 네임스페이스를 만날때까지 DECL_NAMESPACE_ALIAS 링크를 따라간 후 거기서 cp_namespace를 호출해야한다.
DECL_NAMESPACE_STD_P
::std
namespace.
네임스페이스가 특별한 ::std일 경우 참 값을 가지는 매크로.
cp_namespace_decls
NULL_TREE. The declarations are connected through their
TREE_CHAIN fields.
Although most entries on this list will be declarations,
TREE_LIST nodes may also appear. In this case, the
TREE_VALUE will be an OVERLOAD. The value of the
TREE_PURPOSE is unspecified; back-ends should ignore this value.
As with the other kinds of declarations returned by
cp_namespace_decls, the TREE_CHAIN will point to the next
declaration in this list.
For more information on the kinds of declarations that can occur on this
list, See section Declarations. Some declarations will not appear on this
list. In particular, no FIELD_DECL, LABEL_DECL, or
PARM_DECL nodes will appear here.
This function cannot be used with namespaces that have
DECL_NAMESPACE_ALIAS set.
NULL_TREE를 리턴할 것이다. 그 선언들은 그들의 TREE_CHAIN 필드를 통하여 연결된다. 비록 이 리스트에 대부분 엔트리들이 선언부분이지만 TREE_LIST 또한 나타날 지도 모른다. 이 경우 TREE_VALUE는 OVERLOAD가 될 것이다. TREE_PURPOSE의 값은 정해지지 않는다. cp_namespace_decls에 의해 리턴되는 선언들의 다른 종류로서 TREE_CHAIN은 이 리스트안에서 다음 선언부분을 가리킬 것이다. 이 리스트에서 일어날 수 있는 선언들의 다른 종류들에 대해 더 알고자 한다면 Declarations 부분을 참조하라. 어떤 선언들은 이 리스트에서 나타나지 않을 것이다. 특별히 FIELD_DECL,LABEL_DECL,PARM_DECL등은 여기서 나타나지 않는다. 이 함수는 DECL_NAMESPACE_ALIAS값을 가지는 네임스페이스들과 함께 사용되어 질 수 없다. �
A class type is represented by either a RECORD_TYPE or a
UNION_TYPE. A class declared with the union tag is
represented by a UNION_TYPE, while classes declared with either
the struct or the class tag are represented by
RECORD_TYPEs. You can use the CLASSTYPE_DECLARED_CLASS
macro to discern whether or not a particular type is a class as
opposed to a struct. This macro will be true only for classes
declared with the class tag.
클래스 타입은 RECORD_TYPE 혹은 UNION_TYPE으로 표현된다. union 태크와 함께 선언된 클래스는 UNION_TYPE에 의해 표현된다. 반면에 struct 또는 class 태그로 선언된 클래스는 RECORD_TYPE에 의해 표현된다. 특정한 타입에 대해 class 혹은 이와 구별되는 struct 인지를 알기위해 CLASSTYPE_DECLARED_CLASS 매크로를 사용할 수 있다. 이 매크로는 class 태크로 선언된 클래스들에 대해 참값을 가진다.
Almost all non-function members are available on the TYPE_FIELDS
list. Given one member, the next can be found by following the
TREE_CHAIN. You should not depend in any way on the order in
which fields appear on this list. All nodes on this list will be
`DECL' nodes. A FIELD_DECL is used to represent a non-static
data member, a VAR_DECL is used to represent a static data
member, and a TYPE_DECL is used to represent a type. Note that
the CONST_DECL for an enumeration constant will appear on this
list, if the enumeration type was declared in the class. (Of course,
the TYPE_DECL for the enumeration type will appear here as well.)
There are no entries for base classes on this list. In particular,
there is no FIELD_DECL for the "base-class portion" of an
object.
거의 모든 비함수형 멤버들은 TYPE_FIELDS 리스트를 이용할 수 있다. 주어진 하나의 멤버에 대해 다음 멤버는 TREE_CHAIN필드를 이용하여 찾을 수 있다. 어떤 경우에도 이 리스트에 나타난 필드들의 우선순위에 의존해서는 않된다. 이 리스트의 모든 노드들은 'DECL' 노드 일것이다. FIELD_DECL은 비정적 데이타 멤버를 표현하기 위해 그리고, VAR_DECL은 정적 데이타 멤버를 표현하기 위해 사용된다. 또한 TYPE_DECL은 타입을 나타내기 위해 사용된다.
The TYPE_VFIELD is a compiler-generated field used to point to
virtual function tables. It may or may not appear on the
TYPE_FIELDS list. However, back-ends should handle the
TYPE_VFIELD just like all the entries on the TYPE_FIELDS
list.
The function members are available on the TYPE_METHODS list.
Again, subsequent members are found by following the TREE_CHAIN
field. If a function is overloaded, each of the overloaded functions
appears; no OVERLOAD nodes appear on the TYPE_METHODS
list. Implicitly declared functions (including default constructors,
copy constructors, assignment operators, and destructors) will appear on
this list as well.
Every class has an associated binfo, which can be obtained with
TYPE_BINFO. Binfos are used to represent base-classes. The
binfo given by TYPE_BINFO is the degenerate case, whereby every
class is considered to be its own base-class. The base classes for a
particular binfo can be obtained with BINFO_BASETYPES. These
base-classes are themselves binfos. The class type associated with a
binfo is given by BINFO_TYPE. It is always the case that
BINFO_TYPE (TYPE_BINFO (x)) is the same type as x, up to
qualifiers. However, it is not always the case that TYPE_BINFO
(BINFO_TYPE (y)) is always the same binfo as y. The reason is
that if y is a binfo representing a base-class B of a
derived class D, then BINFO_TYPE (y) will be B, and
TYPE_INFO (BINFO_TYPE (y)) will be B as its own
base-class, rather than as a base-class of D.
The BINFO_BASETYPES is a TREE_VEC (see section Containers).
Base types appear in left-to-right order in this vector. You can tell
whether or public, protected, or private
inheritance was used by using the TREE_VIA_PUBLIC,
TREE_VIA_PROTECTED, and TREE_VIA_PRIVATE macros. Each of
these macros takes a BINFO and is true if and only if the
indicated kind of inheritance was used. If TREE_VIA_VIRTUAL
holds of a binfo, then its BINFO_TYPE was inherited from
virtually.
FIXME: Talk about TYPE_NONCOPIED_PARTS.
The following macros can be used on a tree node representing a class-type.
LOCAL_CLASS_P
TYPE_POLYMORPHIC_P
TYPE_HAS_DEFAULT_CONSTRUCTOR
CLASSTYPE_HAS_MUTABLE
TYPE_HAS_MUTABLE_P
CLASSTYPE_NON_POD_P
TYPE_HAS_NEW_OPERATOR
operator new.
TYPE_HAS_ARRAY_NEW_OPERATOR
operator new[] is defined.
TYPE_OVERLOADS_CALL_EXPR
operator() is overloaded.
TYPE_OVERLOADS_ARRAY_REF
operator[]
TYPE_OVERLOADS_ARROW
operator-> is
overloaded.
Go to the first, previous, next, last section, table of contents.