JP2000040005A - プログラム変換装置 - Google Patents

Abstract

(57)【要約】 【課題】 コードサイズの小さい機械語プログラムを生
成するプログラム変換装置を提供する。 【解決手段】 仮初期値式生成部１０３はソースプログ
ラム中のオブジェクト生成関数の定義に着目し、オブジ
ェクト生成関数がオブジェクトのメンバ変数への値の設
定以外の動作を行わないものである場合には、メンバ変
数を仮引数で表現した仮初期値式を作成する。実初期値
式生成部１０５はソースプログラム中のオブジェクト生
成文に着目し、その文が実引数を渡して呼び出すオブジ
ェクト生成関数に対応する仮初期値式が既に作成されて
いれば、その仮初期値式の仮引数を実引数に置き換えた
実初期値式を作成する。実初期値式がメンバ変数を定数
で表したものとなる場合には、オブジェクト生成文翻訳
部１０７は、オブジェクト生成文を、オブジェクト生成
関数を呼び出す旨のサブルーチンコールに翻訳せず、実
初期値式に示される定数値をもつオブジェクトデータの
みに翻訳する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、ソースプログラム
を機械語命令列に変換するプログラム変換装置に関し、
特にオブジェクト生成文を含むオブジェクト指向言語の
ソースプログラムを変換対象とするプログラム変換装置
に関する。

【０００２】

【従来の技術】オブジェクト指向言語において、オブジ
ェクト（インスタンス）は、使用する前に生成する必要
があり、オブジェクト生成文により生成される。また、
オブジェクト生成関数は、オブジェクトのメンバ関数で
あり、オブジェクトが生成される際に実行されるもので
ある。従って、オブジェクト生成文は、オブジェクトを
生成するための文であると同時に、オブジェクト生成関
数を呼び出す意味も有する。なお、オブジェクト生成関
数は、通常、オブジェクトのメンバ変数を初期化する処
理等を行うように設計される。以下、オブジェクト指向
言語Ｃ＋＋（以下、「Ｃ＋＋言語」という。）で記述さ
れたソースプログラムを機械語に翻訳（変換）する従来
のプログラム変換装置の説明を行なう。図１は、オブジ
ェクト生成関数を含むクラスＸのクラス定義とクラスＸ
のオブジェクトを生成するオブジェクト生成文とからな
るＣ＋＋言語のソースプログラムの一部を示す図であ
る。Ｃ＋＋言語では、オブジェクト生成関数はコンスト
ラクタと呼ばれ、クラス名と同じ名前の関数で表され
る。ここでは、「Ｘ（ｉｎｔ ａ，ｉｎｔ ｂ）」がク
ラスＸのオブジェクト生成関数である。

【０００３】また、Ｃ＋＋言語では、オブジェクト生成
文は、オブジェクトの宣言文として記述され、ここで
は、オブジェクトの宣言文「ｃｏｎｓｔ Ｘ ｏｂｊ
（２，３）；」がクラスＸのオブジェクト「ｏｂｊ」を
生成する意味を有する文である。このオブジェクトの宣
言文において「ｏｂｊ」の後の「（２，３）」は、オブ
ジェクト生成関数に渡す実引数である。また、「ｃｏｎ
ｓｔ Ｘ ｏｂｊ（２，３）」の先頭の修飾子「ｃｏｎ
ｓｔ」は生成されるオブェクトが値の変化しないオブジ
ェクトであることを表している。以下、このような値の
変化しないオブジェクトを、ｃｏｎｓｔオブジェクトと
いう。なお、このオブジェクト「ｏｂｊ」は、関数や他
のオブジェクトから参照可能な大域的なオブジェクトで
あるため、このソースプログラムが機械語に翻訳されて
実行される段階においては、必ずメモリに確保されるも
のである。プログラム変換装置は、ソースプログラムを
機械語に翻訳をするいわゆるコンパイラであり、ソース
プログラムを参照することにより、特定のプロセッサ上
で実行可能な機械語プログラムを生成する。ソースプロ
グラム中のデータは、ＲＡＭ領域に配置されるべき属性
を有するデータ又はＲＯＭ領域に配置されるべき属性を
有するデータに翻訳され、ソースプログラム中の各手続
きは、ＲＯＭ領域に配置されるべき属性を有するコード
に翻訳される。ここで、ＲＡＭ領域とは読み書き可能な
メモリ領域をいい、ＲＯＭ領域とは読み出しのみが可能
なメモリ領域をいう。プログラム変換装置によって出力
された機械語プログラムは、特定のプロセッサ上におい
てオペレーティングシステムの制御下で、コードやデー
タがそれぞれの配置属性に基づきＲＯＭ領域やＲＡＭ領
域に配置された後に、実行されることになる。従来のプ
ログラム変換装置は、図１に示すようなオブジェクト生
成文をオブジェクトデータとオブジェクト生成関数を呼
び出すサブルーチンコール命令とに翻訳する。ここで、
オブジェクトデータとは、オブジェクトのメンバ変数の
集合をいう。なお、従来のプログラム変換装置は、上述
のサブルーチンコール命令をＲＯＭ領域に配置されるべ
き属性を有するコードとして生成し、オブジェクトデー
タについては、常にＲＡＭ領域に配置されるべき属性を
有するデータとして生成する。かかるオブジェクトデー
タが常にＲＡＭ領域に配置されるべき属性を有するデー
タとして生成される理由は、オブジェクトが生成される
ときに実行されるオブジェクト生成関数の動作によっ
て、オブジェクトのメンバ変数に対して動的に値が設定
される得るからである。このことは、生成されるオブジ
ェクトがｃｏｎｓｔオブジェクトであっても変わらな
い。

【０００４】図１４は、従来のプログラム変換装置が図
１に示したオブジェクト生成文を翻訳した結果である機
械語命令列を示す図である。これは、従来のプログラム
変換装置がソースプログラムに基づいて生成する機械語
プログラムの一部に相当する。なお、同図では、わかり
易くするため機械語をニモニックコードで示しており、
また、簡単のためにオブジェクト生成関数についての変
換結果は省略している。ここで、「．ｓｅｃｔｉｏｎ
ＲＡＭＡＲＥＡ」から「．ｓｅｃｔｉｏｎ ＥＮＤ」に
挟まれた部分は、ＲＡＭ領域に配置される属性のデータ
を表し、「ｏｂｊ：１２」は、オブジェクトｏｂｊが１
２バイトのサイズであることを表している。従って、機
械語プログラムが実行される時には、ＲＡＭ領域に１２
バイトの領域が確保されることになる。また、「．ｓｅ
ｃｔｉｏｎ ＴＥＸＴ」から「．ｓｅｃｔｉｏｎ ＥＮ
Ｄ」に挟まれた部分は、ＲＯＭ領域に配置される属性の
コードを表し、「ｍｏｖ ＆ｏｂｊ，Ｒ０」は、オブジ
ェクトｏｂｊのアドレスをレジスタＲ０に格納する命令
を表し、「ｍｏｖ ＃２，Ｒ１」、「ｍｏｖ ＃３，Ｒ
２」は、それぞれ実引数２、３を、レジスタＲ１、Ｒ２
に格納する機械語命令を表し、「ｃａｌｌ Ｘ」は、オ
ブジェクト生成関数を呼び出すサブルーチンコール命令
を表している。このように、従来のプログラム変換装置
は、ソースプログラム中のオブジェクト生成文を、無条
件にオブジェクト生成関数を呼び出すためのコードと、
ＲＡＭ領域に配置される属性のオブジェクトデータとに
翻訳する。

【０００５】

【発明が解決しようとする課題】一般に、機械語プログ
ラムのコードサイズが大きければ、このプログラムの実
行には容量の大きなメモリが必要になり、実行に要する
コストが高くなる。従って、コスト面からは機械語プロ
グラムのコードサイズは小さい方が望ましい。また、家
電機器等への組み込み用マイクロコンピュータの分野に
おいては、ＲＡＭのコストは、ＲＯＭのコストより高
く、ＲＯＭの４倍以上のコストがかかる場合もある。従
って、可能な限り多くのデータを、ＲＡＭ領域ではな
く、ＲＯＭ領域に配置される属性にすることは、コスト
削減につながる。そこで、本発明は、機械語プログラム
のコードサイズを削減し、又は、ＲＡＭ領域に配置され
る属性のデータを削減することにより、オブジェクト指
向言語で記述されたソースプログラムを実行コストの低
い機械語プログラムに変換するプログラム変換装置を提
供することを目的とする。

【０００６】

【課題を解決するための手段】＜着眼点＞上記課題を解
決するために、本発明は、オブジェクト生成関数の動作
内容が、機械語プログラムの実行時ではなく、プログラ
ム変換装置による翻訳時に定まる場合がある点に着目し
てなされた。大域的なオブジェクトを生成する旨のオブ
ジェクト生成文により呼び出されることになっているオ
ブジェクト生成関数が、オブジェクトのメンバ変数への
定数値の設定以外の動作を行わないものである場合は、
翻訳時に予めこのオブジェクト生成関数の動作結果とな
るオブジェクトのメンバ変数の集合であるオブジェクト
データを算出して、このオブジェクトデータをオブジェ
クト生成文の翻訳結果とすれば足りる。これにより、本
発明に係るプログラム変換装置は、オブジェクト生成関
数の動作内容が所定のものである場合に、大域的なオブ
ジェクトを生成する旨のオブジェクト生成文をオブジェ
クトデータのみに翻訳することができる。従って、従来
のプログラム変換装置がオブジェクト生成文を無条件に
オブジェクト生成関数を呼び出すためのコードとオブジ
ェクトデータとに翻訳するのに対し、本発明に係るプロ
グラム変換装置は、生成する機械語プログラムのコード
サイズを削減するものであるといえる。また、上述のよ
うに、オブジェクト生成関数の動作内容が所定のもので
ある場合に、オブジェクト生成文を、オブジェクトデー
タのみに翻訳することができるのであれば、生成される
オブジェクトがｃｏｎｓｔオブジェクトであるときに、
このオブジェクトデータが格納されるメモリ領域は一切
更新されないこととなる。これにより、本発明に係るプ
ログラム変換装置は、オブジェクト生成関数の動作内容
が所定のものである場合に、大域的なｃｏｎｓｔオブジ
ェクトを生成する旨のオブジェクト生成文をＲＯＭ領域
に配置されるべき属性のデータに翻訳することができ
る。従って、従来のプログラム変換装置がｃｏｎｓｔオ
ブジェクトを必ずＲＡＭ領域に配置されるべき属性のデ
ータに翻訳するのに対し、本発明に係るプログラム変換
装置は、ＲＡＭ領域に配置される属性のデータを削減す
るものであるといえる。

【０００７】＜構成＞上記課題を解決するために、本発
明に係るプログラム変換装置は、オブジェクト指向言語
で記述されたソースプログラムを機械語プログラムに変
換するプログラム変換装置であって、前記ソースプログ
ラムにおけるオブジェクトを生成するためのオブジェク
ト生成文であってオブジェクト生成関数を呼び出すオブ
ジェクト生成文を特定する特定手段と、前記特定手段に
より特定されたオブジェクト生成文によってオブジェク
ト生成関数が呼び出されたと仮定した場合における当該
呼出によって、当該オブジェクト生成文により生成され
るべきオブジェクトのメンバ変数に対し静的に値を設定
すること以外の動作が行われるか否かを判断する判断手
段と、前記判断手段により否定的な判断がなされた場合
に、前記呼出によって前記メンバ変数に対して設定され
る値を算出するメンバ変数値算出手段と、前記メンバ変
数算出手段により前記値の算出なされたときに、前記オ
ブジェクト生成文を、前記メンバ変数値算出手段により
算出された値をもつデータであってオブジェクトのメン
バ変数と同じサイズのデータのみに変換する変換手段と
を備えることを特徴とする。

【０００８】上記構成の説明中、「メンバ変数に対し静
的に値を設定すること」とは、演算処理（判断、分岐を
含む）の実行の結果として定数値をメンバ変数に設定す
ることであって、その定数値が前記演算処理の現実の実
行前に、計算によって特定できるものであることをい
う。なお、前記演算処理は、オペレーティングシステム
のサービスの呼出及び入出力を含まない。また、前記定
数値は、機械語命令列の実行前にオペレーティングシス
テムによって特定されるアドレス値であってもよい。ま
た、上記構成の説明中、「オブジェクト生成文によって
オブジェクト生成関数が呼び出されたと仮定した場合に
おける」とは、オブジェクト生成関数の現実の実行を仮
想した場合をいう。従って、「当該呼出」による動作内
容は、呼び出されるオブジェクト生成関数がオブジェク
ト生成文から渡される引数があるならばその引数の値に
よって特定されるものであり、また、呼び出されるオブ
ジェクト生成関数からさらに呼び出される関数があれ
ば、これら全ての関数における全ての処理によって特定
されるものである。上記構成により、オブジェクトの生
成文を直接オブジェクト生成関数呼出し後の値のオブジ
ェクトデータに変換するのみであって、オブジェクト生
成関数を呼び出す旨のサブルーチンコール命令に変換し
ないため、本発明に係るプログラム変換装置は、結果的
に前記サブルーチンコール命令に必要なコードのサイズ
だけ小さな機械語プログラムを生成する。また、前記プ
ログラム変換装置はさらに、前記特定手段により特定さ
れたオブジェクト生成文が、生成後に値の変化しないオ
ブジェクトを生成するものであるか否かを判断する変化
要否判断手段を備え、前記変換手段は、前記変化要否判
断手段により肯定的な判断がなされたときに、前記オブ
ジェクト生成文をＲＯＭ領域に配置されるべき属性を有
するデータに変換し、前記変化要否判断手段により否定
的な判断がなされたときに、前記オブジェクト生成文を
ＲＡＭ領域に配置されるべき属性を有するデータに変換
することとすることもできる。これにより、ｃｏｎｓｔ
オブジェクトを生成するためのオブジェクト生成文を、
一定条件下で、ＲＯＭ領域に配置されるべき属性のデー
タに変換する。従って、結果的に機械語プログラムの実
行に際して必要となるＲＡＭ領域を縮小することができ
る。

【０００９】

【発明の実施の形態】以下、本発明の実施の形態につい
て、図面を用いて説明する。 ＜構成＞図２は本発明のプログラム変換装置１００の構
成を示す図である。プログラム変換装置１００は、コン
ピュータに備えられたメモリに格納されたプログラムが
ＣＰＵにより実行されることで、ソースプログラムを機
械語プログラムに翻訳（変換）する動作を行ういわゆる
コンパイラであり、機能的には、制御部１０２、仮初期
値式生成部１０３、仮初期値式記憶部１０４、実初期値
式生成部１０５、実初期値式記憶部１０６、オブジェク
ト生成文翻訳部１０７及び一般文翻訳部１０８から構成
される。コンピュータに備えられたメモリに格納された
プログラムにおいて、制御部１０２は、メインルーチン
に相当し、仮初期値式生成部１０３、実初期値式生成部
１０５、オブジェクト生成文翻訳部１０７及び一般文翻
訳部１０８はサブルーチンに相当する。同図には、プロ
グラム変換装置１００の他に入力ファイル１０１及び出
力ファイル１０９も記載している。ここで、入力ファイ
ル１０１にはオブジェクト指向言語で記述されたソース
プログラムが格納されている。また、出力ファイル１０
９には、プログラム変換装置１００が入力ファイル１０
１を翻訳した結果として生成する機械語命令列が格納さ
れる。制御部１０２は、入力ファイル１０１からメモリ
にソースプログラムを読み込み、ソースプログラム中の
各文に逐次着目して、着目した文の種類により、処理を
振り分ける。即ち、制御部１０２は、着目した文の種類
に応じて、仮初期値式生成部１０３、実初期値式生成部
１０５、オブジェクト生成文翻訳部１０７又は一般文翻
訳部１０８を起動する。ここで、着目とは、処理対象と
すること、即ち、処理をするためにポインタ等により所
在を特定することをいう。

【００１０】仮初期値式生成部１０３は、制御部１０２
に起動され、後述する仮初期値式生成処理を行う部分で
ある。即ち、仮初期値式生成部１０３は、オブジェクト
生成関数の定義に着目し、仮初期値式を生成し、生成で
きた場合にはオブジェクト生成関数の名称と仮初期値式
との組を仮初期値式記憶部１０４に記憶する。ここで、
仮初期値式は、オブジェクト生成関数と対応するオブジ
ェクトのそれぞれのメンバ変数を、オブジェクト生成関
数の仮引数と定数のみで表現した式である。仮初期値式
について具体的には後述する。また、オブジェクト生成
関数の名称は、オブジェクト名及び仮引数の数に関する
情報を含む。仮初期値式記憶部１０４は、メモリ中の特
定の領域である。実初期値式生成部１０５は、制御部１
０２により起動され、後述する実初期値式生成処理を行
う部分である。即ち、実初期値式生成部１０５は、オブ
ジェクト生成文に着目し、オブジェクト生成文によって
呼び出されることになっているオブジェクト生成関数の
名称と仮初期値式との組が仮初期値式記憶部１０４に記
憶されている場合に、この仮初期値式の仮引数をオブジ
ェクト生成文に含まれる実引数に置き換えた実初期値式
を生成し、この実初期値式が定数となった場合には、着
目しているオブジェクト生成文を特定する情報と実初期
値式との組を実初期値式記憶部１０６に記憶する。実初
期値式記憶部１０６は、メモリ中の特定の領域である。

【００１１】オブジェクト生成文翻訳部１０７は、制御
部１０２により起動され、後述するオブジェクト生成文
翻訳処理を行う部分である。即ち、オブジェクト生成文
翻訳部１０７は、オブジェクト生成文に着目し、そのオ
ブジェクト生成文を特定する情報と実初期値式との組が
実初期値式記憶部１０６に記憶されていた場合、オブジ
ェクト生成文がｃｏｎｓｔオブジェクトを生成する文で
あるときには、着目したオブジェクト生成文を、ＲＯＭ
領域に配置されるべき属性のオブジェクトデータに翻訳
し、ｃｏｎｓｔオブジェクトを生成する文でないときに
は、ＲＡＭ領域に配置されるべき属性のオブジェクトデ
ータに翻訳し、翻訳結果を出力ファイル１０９に出力す
る。また、オブジェクト生成文翻訳部１０７は、着目し
たオブジェクト生成文を特定する情報と実初期値式との
組が実初期値式記憶部１０６に記憶されていないときに
は、着目したオブジェクト生成文を、ＲＡＭ領域に配置
されるべき属性のオブジェクトデータとオブジェクト生
成関数を呼び出すサブルーチンコール命令の機械語命令
列からなるコードとに翻訳し、出力ファイル１０９に出
力する。一般文翻訳部１０８は、制御部１０２により起
動され、一般文翻訳処理を行う部分である。即ち、一般
文翻訳部１０８は、オブジェクト生成文以外の文を、機
械語命令列に翻訳し、出力ファイル１０９に出力する。
この一般文翻訳処理は、一般的なプログラム変換装置で
用いられている通常の翻訳処理である。

【００１２】＜動作＞以下、上述の構成を備えるプログ
ラム変換装置１００の動作について、図１に示したＣ＋
＋言語で記述されたソースプログラムの翻訳を例とし
て、説明する。この翻訳対象となるソースプログラム
は、入力ファイル１０１に格納されているとする。図３
は、プログラム変換装置１００の動作を示すフローチャ
ートである。制御部１０２は、入力ファイル１０１に格
納されているソースプログラムをメモリに読み込む（ス
テップＳ３０１）。制御部１０２は、読み込んだソース
プログラム中の各文に逐次着目して、その内容に応じて
処理を振り分けるものであり、このためステップＳ３０
２からステップＳ３０９までの処理を行う。制御部１０
２は、ソースプログラム中の１文に着目し（ステップＳ
３０２）、この文がオブジェクト生成関数の定義である
かを判断し（ステップＳ３０３）、オブジェクト生成関
数の定義でなければ、次に大域的なオブジェクトを生成
するためのオブジェクト生成文であるかを判断し（ステ
ップＳ３０５）、オブジェクト生成文でもなければ、一
般文翻訳部１０８を起動して一般文翻訳処理を行わせる
（ステップＳ３０６）。一般文翻訳処理の終了後、制御
部１０２は、ソースプログラム中に未だ着目していない
文があるか否かを判断し（ステップＳ３０９）、全ての
文を処理し終えたならば動作を終了し、未だ着目してい
ない文があるならば次の文に着目すべくステップＳ３０
２の処理に戻る。制御部１０２は、着目した文が（ステ
ップＳ３０２）、オブジェクト生成関数の定義であれば
（ステップＳ３０３）、オブジェクト生成関数の定義を
入力して仮初期値式生成部１０３を起動する。ここで、
入力するとは、オブジェクト生成関数の定義等の着目し
た文についての所在を示すポインタを渡すことをいう。
起動された仮初期値式生成部１０３は、仮初期値式生成
処理を行う（ステップＳ３０４）。この仮初期値式生成
処理については、後に詳細に説明する。

【００１３】なお、着目した文がオブジェクト生成関数
であるか否かの判断は、ソースプログラム中の前後の文
を参照することにより、クラス定義の内部に存在しクラ
ス名と同一名が付されていることを検知することによっ
て行われるが、この判断自体は、一般的なプログラム変
換装置において用いられる技術の域を出るものではな
い。図１に示すソースプログラムの例においては、制御
部１０２がクラスＸのオブジェクト生成関数の定義「Ｘ
（ｉｎｔ ａ，ｉｎｔ ｂ）｛ｘ＝ａ；ｙ＝ｂ；ｚ＝ａ
＊ｂ；｝」に着目した場合に仮初期値式生成処理がなさ
れることになる。仮初期値式生成処理（ステップＳ３０
４）の終了後、制御部１０２は、オブジェクト生成関数
の定義を入力として、一般文翻訳部１０８を起動し、一
般文翻訳処理を行わせる（ステップＳ３０６）。一般文
翻訳処理によって、オブジェクト生成関数の定義は、機
械語命令列に翻訳される。オブジェクト生成関数の定義
に対する一般文翻訳部１０８の処理が終了した場合に
は、制御部１０２は、次にオブジェクト生成文「ｃｏｎ
ｓｔ Ｘ ｏｂｊ（２，３）；」に着目する（ステップ
Ｓ３０９、Ｓ３０２）。制御部１０２は、着目した文が
オブジェクト生成関数の定義でないので（ステップＳ３
０３）、オブジェクト生成文であるか否かを判定し（ス
テップＳ３０５）、「ｃｏｎｓｔ Ｘ ｏｂｊ（２，
３）；」はオブジェクト生成文であるので、このオブジ
ェクト生成文を入力として、実初期値式生成部１０５を
起動する。起動された実初期値式生成部１０５は、実初
期値式生成処理を行う（ステップＳ３０７）。この実初
期値式生成処理については、後に詳細に説明する。実初
期値式生成処理（ステップＳ３０７）の終了後、制御部
１０２は、着目しているオブジェクト生成文を入力とし
て、オブジェクト生成文翻訳部１０７を起動し、オブジ
ェクト生成文翻訳処理を行わせる（ステップＳ３０
８）。このオブジェクト生成文翻訳処理についても、後
に詳細に説明する。このようにして、プログラム変換装
置１００は、制御部１０２の振り分け制御によって、ソ
ースプログラムの各文を逐次機械語命令列に翻訳する。
以下、仮初期値式生成処理（ステップＳ３０４）、実初
期値式生成処理（ステップＳ３０７）、オブジェクト生
成文翻訳処理（ステップＳ３０８）のそれぞれについて
詳細に説明する。なお、一般文翻訳処理（ステップＳ３
０６）は、上述したように一般的なプログラム変換装置
で用いられている通常の翻訳処理であるため、詳細な動
作説明は省略する。

【００１４】＜仮初期値式生成処理＞以下、仮初期値式
生成部１０３の行う仮初期値式生成処理について説明す
る。図４は、仮初期値式生成部１０３の行う仮初期値式
生成処理を示すフローチャートである。仮初期値式生成
部１０３は、オブジェクト生成関数の定義を入力とし
て、起動される。ここでは、図１に示すオブジェクト生
成関数の定義「Ｘ（ｉｎｔ ａ，ｉｎｔｂ）｛ｘ＝ａ；
ｙ＝ｂ；ｚ＝ａ＊ｂ；｝」を入力として、起動される例
に触れながら説明する。仮初期値式生成部１０３は、オ
ブジェクト生成関数の定義に着目し、このオブジェクト
生成関数がオブジェクトの値を設定する以外の処理を行
なわないかどうかを判断する（ステップＳ４０１）。こ
の判断は、オブジェクトのメンバ変数を認識するために
メモリ中に格納されたソースプログラムにおけるクラス
Ｘのクラス定義をも参照して行うものであり、オブジェ
クト生成関数の定義に含まれる文に「オブジェクトのメ
ンバ変数に値を設定するための代入文」以外の文が含ま
れているかいないかによりなされる。ここで、「オブジ
ェクトのメンバ変数に値を設定するための代入文」と
は、オブジェクトのメンバ変数を「＝」の左に記述し、
「＝」の右にオブジェクト生成関数の仮引数、定数、又
は算術演算子を記述した文をいう。仮初期値式生成部１
０３は、オブジェクト生成関数の定義に含まれる文に
「オブジェクトのメンバ変数に値を設定するための代入
文」以外の文が含まれていない場合には、オブジェクト
の値設定以外の処理を行わないと判断し（ステップＳ４
０１）、ｙｅｓの分岐に進み仮初期値式を生成する（ス
テップＳ４０２）。一方、「オブジェクトのメンバ変数
に値を設定するための代入文」以外の文が含まれている
場合には、仮初期値式生成部１０３は、ステップＳ４０
１においてｎｏの分岐に進み、仮初期値式を生成するこ
となく仮初期値式生成処理を終了する。

【００１５】図１に示すオブジェクト生成関数Ｘ（ｉｎ
ｔ ａ，ｉｎｔ ｂ）の定義に含まれる文は、「ｘ＝
ａ；」、「ｙ＝ｂ；」及び「ｚ＝ａ＊ｂ；」であるが、
これらはそれぞれ、クラスＸのオブジェクトのメンバ変
数ｘ、ｙ及びｚに値を設定するための代入文である。従
って、ステップＳ４０１において、仮初期値式生成部１
０３は、ｙｅｓの分岐に進み仮初期値式の生成を行う
（ステップＳ４０２）。図５は、オブジェクト生成関数
Ｘ（ｉｎｔ ａ，ｉｎｔ ｂ）について仮初期値式生成
部１０３が生成した仮初期値式を示す概念図である。な
お、同図には仮初期値式４２０の構成要素の対応関係を
示すために、クラスＸのオブジェクトのメンバ変数ｘ、
ｙ、ｚからなるオブジェクトデータ４１０をも示してい
る。クラスＸのオブジェクトの第１のメンバ変数はｘで
あり、第２のメンバ変数はｙであり、第３のメンバ変数
はｚであるため、同図に示すように、Ｘ（ｉｎｔａ，ｉ
ｎｔ ｂ）の仮初期値式は、第１のメンバ変数を示すも
のとしてａ、第２のメンバ変数を示すものとしてｂ、第
３のメンバ変数を示すものとしてａ＊ｂを構成要素とす
る。なお、オブジェクト生成関数「Ｘ（ｉｎｔ ａ，ｉ
ｎｔ ｂ）」の定義においては、クラスＸのオブジェク
トのすべてのメンバ変数に値が設定されるようになって
いたが、値が設定されないメンバ変数が存在する場合は
値０が設定されるものとみなして、仮初期値式生成部１
０３は、仮初期値式を生成する。こうして、仮初期値式
生成部１０３は仮初期値式を生成した後（ステップＳ４
０２）、生成した仮初期値式とオブジェクト生成関数の
名称とを組として仮初期値式記憶部１０４に格納し（ス
テップＳ４０３）、仮初期値式生成処理を終える。図６
は、仮初期値式記憶部１０４の内容を示す概念図であ
る。同図では、上述したオブジェクト生成関数の定義
「Ｘ（ｉｎｔ ａ，ｉｎｔｂ）｛ｘ＝ａ；ｙ＝ｂ；ｚ＝
ａ＊ｂ；｝」に着目して仮初期値式生成部１０３が格納
した組４３０と、また別の組４４０とを示している。

【００１６】＜実初期値式生成処理＞以下、実初期値式
生成部１０５の行う実初期値式生成処理について説明す
る。図７は、実初期値式生成部１０５の行う実初期値式
生成処理を示すフローチャートである。実初期値式生成
部１０５は、大域的なオブジェクトを生成するためのオ
ブジェクト生成文を入力として、起動される。ここで
は、図１に示すオブジェクト生成文「ｃｏｎｓｔ Ｘ
ｏｂｊ（２，３）；」を入力として、起動される例に触
れながら説明する。実初期値式生成部１０５は、起動さ
れると、オブジェクト生成文に着目し、このオブジェク
ト生成文によって呼び出されることになっているオブジ
ェクト生成関数の名称に基づいて仮初期値式記憶部１０
４を検索し、そのオブジェクト生成関数の名称と仮初期
値式との組が格納されているか判断する（ステップＳ５
０１）。この判断により、着目したオブジェクト生成文
により呼び出されるオブジェクト生成関数についての仮
初期値式が生成済みであるか否かが判別できる。この判
断の結果、仮初期値式が生成済みでないと判断された場
合には、ステップＳ５０１からｎｏの分岐に進み、実初
期値式生成部１０５は、実初期値式生成処理を終了す
る。一方、判断の結果、仮初期値式が生成済みであると
判断された場合には（ステップＳ５０１）、実初期値式
生成部１０５は、仮初期値式の仮引数をオブジェクト生
成文の実引数で置き換えたものである実初期値式を生成
する（ステップＳ５０２）。ここでは、図６の組４３０
に含まれる仮初期値式における仮引数ａ及びｂをオブジ
ェクト生成文「ｃｏｎｓｔ Ｘ ｏｂｊ（２，３）；」
の実引数２及び３で置き換えることにより実初期値式を
生成する。即ち、実初期値式は、第１のメンバ変数を示
すものとして２、第２のメンバ変数を示すものとして
３、第３のメンバ変数を示すものとして２＊３を構成要
素とする。実初期値式を生成した後、実初期値式生成部
１０５は、実初期値式の全ての構成要素が定数となるか
否かを判断する（ステップＳ５０３）。この判断は、実
初期値式に算術演算子が含まれる場合には、その算術演
算子に従って計算した結果が定数となるか否かの判断と
なる。

【００１７】ステップＳ５０３の判断結果、実初期値式
の全構成要素が定数である場合には、実初期値式生成部
１０５は、オブジェクト生成文を特定する情報と実初期
値式とオブジェクト生成文との組を実初期値式記憶部１
０６に格納し（ステップＳ５０４）、実初期値式生成処
理を終える。なお、実初期値式の構成要素のうち算術演
算子が含まれていたものは、実初期値式生成部１０５が
実初期値式を実初期値式記憶部１０６に格納する際に
は、その算術演算を計算した上で結果の値に置き換えて
格納する。この結果、実初期値式記憶部１０６の内容
は、図８のようになる。図８は、実初期値式記憶部１０
６の内容を示す概念図である。同図では、上述したオブ
ジェクト生成文「ｃｏｎｓｔ Ｘ ｏｂｊ（２，
３）；」に着目して実初期値式生成部１０５が格納した
組５１０を示している。同図中、ｃｏｎｓｔ Ｘ ｏｂ
ｊ（２，３）；のメモリ内でのアドレスとは、メモリ中
に格納されたソースプログラム中のこのオブジェクト生
成文に着目するためのポインタ値をいう。また、ステッ
プＳ５０３の判断結果、実初期値式の構成要素に定数で
ないものがある場合には（ステップＳ５０３）、実初期
値式生成部１０５は、実初期値式記憶部１０６に何も格
納することなく、実初期値式生成処理を終える。

【００１８】＜オブジェクト生成文翻訳処理＞以下、オ
ブジェクト生成文翻訳部１０７の行うオブジェクト生成
文翻訳処理について説明する。図９は、オブジェクト生
成文翻訳部１０７の行うオブジェクト生成文翻訳処理を
示すフローチャートである。オブジェクト生成文翻訳部
１０７は、オブジェクト生成文を入力として、起動され
る。ここでは、上述の実初期値式生成処理に引き続いて
（図３参照）、図１に示すオブジェクト生成文「ｃｏｎ
ｓｔ Ｘ ｏｂｊ（２，３）；」を入力として、オブジ
ェクト生成文翻訳部１０７が起動される例に触れながら
説明する。オブジェクト生成文翻訳部１０７は起動され
ると、オブジェクト生成文に着目し、このオブジェクト
生成文を特定する情報が、実初期値式と組とされて実初
期値式記憶部１０６に格納されているか否かを判断する
（ステップＳ６０１）。ステップＳ６０１において格納
されていないと判定された場合には、オブジェクト生成
文翻訳部１０７は、従来のプログラム変換装置と同様に
（図１４参照）、オブジェクト生成文を、オブジェクト
生成関数を呼び出すためのコード（サブルーチンコール
命令）と、ＲＡＭ領域に配置される属性のオブジェクト
データとに翻訳する（ステップＳ６０２）。

【００１９】一方、実初期値式記憶部１０６が図８に示
すような内容である場合には、ステップＳ６０１におい
て、着目したオブジェクト生成文を特定する情報が、実
初期値式と組として実初期値式記憶部１０６に格納され
ていると判断されるため、オブジェクト生成文翻訳部１
０７は、着目しているオブジェクト生成文がｃｏｎｓｔ
オブジェクトを生成するものであるか否かを判断する
（ステップＳ６０３）。この判断は、着目しているオブ
ジェクト生成文に修飾子「ｃｏｎｓｔ」が付されている
か否かによって行われる。ステップＳ６０３において否
定的な判断がなされたとすると、オブジェクト生成文翻
訳部１０７は、着目しているオブジェクト生成文を、Ｒ
ＡＭ領域に配置される属性のオブジェクトデータに翻訳
する（ステップＳ６０５）。このステップＳ６０５にお
ける翻訳は、サブルーチンコール命令を生成しないた
め、ステップＳ６０２における翻訳と比べて、コードサ
イズの小さい機械語プログラムを生成することにつなが
る。また、着目しているオブジェクト生成文が、図１に
示す「ｃｏｎｓｔ Ｘ ｏｂｊ（２，３）；」であった
場合には、オブジェクト生成文翻訳部１０７は、ステッ
プＳ６０３において肯定的な判断をなし、着目している
オブジェクト生成文を、ＲＯＭ領域に配置される属性の
オブジェクトデータに翻訳する（ステップＳ６０４）。
なお、ステップＳ６０４、Ｓ６０５における翻訳に際し
て、オブジェクト生成文翻訳部１０７は、実初期値式記
憶部１０６中の着目したオブジェクト生成文に対応する
実初期値式を参照して、オブジェクトデータの値を特定
する。図１０は、オブジェクト生成文翻訳処理のステッ
プＳ６０４によるオブジェクト生成文の翻訳結果を示す
図である。

【００２０】同図は、「ｃｏｎｓｔ Ｘ ｏｂｊ（２，
３）；」の翻訳結果を示している。また、この翻訳結果
は、オブジェクトｏｂｊのオブジェクトデータが３つの
４バイトデータでそれぞれの値が「２」、「３」、
「６」のものから構成されることを示しており、またこ
のオブジェクトデータは、「．ｓｅｃｔｉｏｎ ＲＯＭ
ＤＡＴＡ」と「．ｓｅｃｔｉｏｎ ＥＮＤ」とに挟まれ
て記述されており、ＲＯＭ領域に配置されるべきデータ
であることを示している。従って、最終的に生成される
機械語プログラムが、実行されるに際して、オブジェク
トｏｂｊのオブジェクトデータは、ＲＯＭに配置され得
る。このことは、実行時に必要なＲＡＭ領域を縮小でき
ることにつながる。また、例えば、着目したオブジェク
ト生成文が「Ｘ ｏｂｊ（２，３）；」であったなら
ば、オブジェクト生成文翻訳部１０７はステップＳ６０
５の処理によって、このオブジェクト生成文を、図１０
に示した翻訳結果のうち「．ｓｅｃｔｉｏｎ ＲＯＭＤ
ＡＴＡ」を「．ｓｅｃｔｉｏｎ ＲＡＭＤＡＴＡ」に代
えたものに翻訳する。オブジェクト生成文翻訳部１０７
は、ステップＳ６０２、ステップＳ６０４、又はステッ
プＳ６０５を行った後、翻訳結果を出力ファイル１０９
に出力する（ステップＳ６０６）。

【００２１】以上、本発明に係るプログラム変換装置に
ついて、実施形態に基づいて説明したが、本発明はこれ
ら実施形態に限られないことは勿論である。即ち、 （１）実施の形態では、プログラム変換装置は、Ｃ＋＋
言語で記述されたソースプログラムを翻訳対象とした
が、これに限定されることはなく、他のオブジェクト指
向言語で記述されたソースプログラムを翻訳対象とする
ものであってもよい。

【００２２】（２）実施の形態では、大域的なオブジェ
クトを生成する旨のオブジェクト生成文についての翻訳
処理（ステップＳ３０５等）を説明したが、ここでいう
大域的なオブジェクトとは、オブジェクトデータが機械
語プログラムの実行前にメモリに格納されるべきもので
あることを示すものであれば足る。即ち、言語によって
大域的、局所的の別がない場合であっても、ここでいう
大域的と同等の意味を示すオブジェクトを生成するため
のオブジェクト生成文については、プログラム変換装置
はステップＳ３０５の判断ブロックにおいてｙｅｓと判
断する。

【００２３】（３）実施の形態において図３のフローチ
ャートに示したプログラム変換装置１００の動作は、オ
ブジェクト生成関数の定義が、ソースプログラム中にお
いてオブジェクト生成文より前に置かれていることを前
提としたものであるが、この他の場合に対応するために
は、ソースプログラム中のオブジェクト生成関数すべて
について仮初期値式生成処理を行った後に、ソースプロ
グラム中のオブジェクト生成文に着目しても実初期値式
生成処理を行うようにしてもよい。また、オブジェクト
生成文に着目するまでは、そのオブジェクト生成文に対
応するオブジェクト生成関数についての仮初期値式生成
処理は行わず、オブジェクト生成文を発見したときに、
それが呼び出すオブジェクト生成関数を検索して仮初期
値式生成処理を行い、これに続けて実初期値式生成処理
とオブジェクト生成文翻訳処理とを行うようにしてもよ
い。また、オブジェクト生成文を発見したときに、それ
が呼び出すオブジェクト生成関数を検索するならば、実
初期値式生成処理と仮初期値式生成処理とを混ぜ合わせ
て、オブジェクト生成文の実引数の値に基づいてオブジ
ェクト生成関数での動作を計算するような処理とするこ
とにより、このオブジェクト生成文をオブジェクト生成
関数を呼び出すサブルーチンコール命令に翻訳しなけれ
ばならないかを判断することとしてもよい。これによれ
ば、オブジェクト生成関数が仮引数の値によって分岐す
るような複数パスの処理構造をもっている場合において
も、オブジェクト生成文の実引数で定まる単一パスのみ
について、オブジェクトのメンバ変数に値を設定する以
外の処理を行わないかどうかを判断すれば足りることに
なる。

【００２４】（４）実施の形態では、実初期値式生成部
１０５は、実初期値式が定数であるか否かの判断を（ス
テップＳ５０３）、仮初期値式の仮引数を実引数で置き
換えた実初期値式を判断対象として行うこととしたが、
判断の方法は、これに限定されることはなく、例えば、
オブジェクト生成文の実引数が定数であるか否かを判別
することによって行うこととしてもよい。

【００２５】（５）実施の形態では、仮初期値式生成部
１０３は、オブジェクト生成関数の定義に「オブジェク
トのメンバ変数に値を設定するための代入文」以外の文
が含まれるかどうかを判断することとしたが（ステップ
Ｓ４０１）、この「代入文」は、オブジェクトのメンバ
変数に静的なアドレス値を代入する文も含むこととして
もよい。静的なアドレス値とは機械語プログラムの実行
前に値の定まるアドレス値であり、実行中に解決される
アドレス値を含まない。また、仮初期値式生成部１０３
が、オブジェクト生成関数がオブジェクトの値を設定す
る以外の処理を行わないと判断する基準を拡大して、
「オブジェクト生成関数の内部でのみ用いる変数を左辺
又は右辺に置いた代入文」が含まれていてもよいことと
してもよい。即ち、オブジェクト生成関数がオブジェク
トの値を設定する以外の処理を行わないと判断（ステッ
プＳ４０１）する理由は、オブジェクト生成関数が静的
なことが、オブジェクト生成文をオブジェクト生成関数
を呼び出す旨のサブルーチンコール命令に翻訳しないで
よいことの条件となるからである。ここで、オブジェク
ト生成関数が静的とは、オブジェクト生成関数の動作
が、例えばオペレーティングシステムのサービスを呼び
出すようなものや入出力動作を行うもの等のように実際
に機械語プログラムを実行しなければ意味をなさないも
のではなく、メンバ変数への値の代入等のように動作結
果を翻訳時に計算によって特定できるものをいう。な
お、オブジェクト生成関数がメンバ変数への値の代入を
行っていない場合は、０という定数をメンバ変数に代入
しているものとして扱えばよい。

【００２６】（６）実施の形態で示した仮初期値式生成
部１０３によるオブジェクト生成関数がオブジェクトの
値を設定する以外の処理を行わないかどうかの判断は、
判断対象のオブジェクト生成関数から呼び出される関数
がある場合には、その関数をも含めて判断することとし
てもよい。即ち、その関数が、オペレーティングシステ
ムのサービスを呼び出すようなものや入出力動作を行う
ものでなく、演算処理（判断、分岐含む）をするのみの
ものであれば、前記判断においてその関数を「オブジェ
クトのメンバ変数に値を設定するための代入文」である
とみなすこととしてもよい。また、仮初期値式生成部１
０３の変形例として、前記判断対象のオブジェクト生成
関数の定義にさらに別のオブジェクト生成文が含まれて
いた場合であって、そのオブジェクト生成文が呼び出す
オブジェクト生成関数の名称が仮初期値式記憶部１０４
に記憶されているときには、前記判断において前記オブ
ジェクト生成文を「オブジェクトのメンバ変数に値を設
定するための代入文」であるとみなすこととするものも
考えられる。以下この変形例を変形仮初期値式生成部と
いう。但し、この場合には、判断対象となるオブジェク
ト生成関数についての仮初期値式は、そのオブジェクト
生成関数に含まれるオブジェクト生成文に関連する仮初
期値式の仮引数を当該オブジェクト生成文の実引数で置
き換えたものとなる。

【００２７】以下、オブジェクト生成文がオブジェクト
生成関数の定義に含まれていた場合に上述した変形仮初
期値式生成部が生成する仮初期値式について説明する。
図１１は、クラスＸのオブジェクト生成関数の定義とク
ラスＸのオブジェクト生成文を含むクラスＹのオブジェ
クト生成関数の定義を含むＣ＋＋言語で記述されたソー
スプログラムの一部を示す図である。変形仮初期値式生
成部によって、まず、図１１に示すソースプログラムに
おけるクラスＸのオブジェクト生成関数に対応する仮初
期値式が生成される。これは、仮初期値式生成部１０３
と同様の処理となる（図５参照）。次に、変形仮初期値
式生成部は、クラスＸのオブジェクト生成関数に対する
仮初期値式を利用して、クラスＹのオブジェクト生成関
数に対する仮初期値式を生成する。図１２は、オブジェ
クト生成関数Ｙ（ｉｎｔ ｉ）について変形仮初期値式
生成部が生成した仮初期値式を示す概念図である。な
お、同図には仮初期値式８２０の構成要素の対応関係を
示すために、クラスＹのオブジェクトのオブジェクトデ
ータ８１０をも示している。オブジェクトデータ８１０
については、クラスＸのオブジェクトのメンバ変数であ
るｘ、ｙ、ｚと独自のメンバ変数ｎとで表している。仮
初期値式８２０の構成要素のうち、第１〜第３のメンバ
変数に対応するものは、図５に示すクラスＸのオブジェ
クト生成関数についての仮初期値式４２０中の仮引数
を、図１１に示すオブジェクト生成関数Ｙ（ｉｎｔ
ｉ）に含まれるオブジェクト生成文ｏｂｊ（ｉ，３）の
実引数に置き換えたものであり、第４のメンバ変数に対
応するものは、オブジェクト生成関数Ｙ（ｉｎｔ ｉ）
中のｎ＝ｉ＊２；に基づくものである。

【００２８】（７）実施の形態で示した仮初期値式生成
部１０３によるオブジェクト生成関数がオブジェクトの
値を設定する以外の処理を行わないかどうかの判断は、
さらに、ソースプログラムがＣ＋＋言語で記述されてお
り、オブジェクト生成関数がコンストラクタ初期設定子
（ｃｔｏｒ−ｉｎｉｔｉａｌｉｚｅｒ）と関数本体（ｆ
ｃｔ−ｂｏｄｙ）で構成されるコンストラクタである場
合には、関数本体が空文であるかどうかによって判断す
ることとしてもよい。なお、Ｃ＋＋言語のコンストラク
タの詳細については、「注釈Ｃ＋＋リファレンスマニュ
アル」（Ｂ．ストラウストラップ著トッパンＩＳＤＮ４
−８１０１−１１０．７ｃ）に詳しく説明されている。
仮初期値式生成部１０３が上述したような判断を用いる
場合、オブジェクト生成関数のサブルーチンコール命令
に翻訳しなくてよくなるオブジェクト生成文の数は少な
くなる可能性があるが、前記判断が簡単なものであるた
め、プログラム変換装置の処理速度はほとんど低下しな
い。また、プログラマにコンストラクタを、コンストラ
クタ初期設定子と関数本体とで構成するように記述させ
ることにより前記可能性は除去できる。なお、参考まで
に、図１１に示したソースプログラムを、コンストラク
タ初期設定子と空文である関数本体からなるコンストラ
クタで記述した場合の例を図１３に示す。コンストラク
タ初期設定子は「：」から「｛」に囲まれた部分であ
り、関数本体は「｛」から「｝」に囲まれた部分であ
る。例えば、同図中の「Ｘ（ｉｎｔ ａ，ｉｎｔ
ｂ）：ｘ（ａ），ｙ（ａ），ｚ（ａ＊ｂ）｛ ｝」にお
ける関数本体は空文である。また、コンストラクタ初期
設定子「ｘ（ａ）」、「ｙ（ｂ）」、「ｚ（ａ＊ｂ）」
はそれぞれ「ｘ＝ａ」、「ｙ＝ｂ」、「ｚ＝ａ＊ｂ」と
同じ意味である。

【００２９】（８）実施の形態におけるプログラム変換
装置の処理手順（図３、図４、図７、図９のフローチャ
ートの手順等）を機械語プログラムにより実現し、これ
を記録媒体に記録して流通・販売の対象にしても良い。
このような記録媒体には、ＩＣカード、光ディスク、フ
レキシブルディスク、ＲＯＭ等があるが、これらに記録
された機械語プログラムは、汎用のコンピュータにイン
ストールされることにより利用に供される。即ち、汎用
のコンピュータは、インストールした上記機械語プログ
ラムを逐次実行して、実施の形態に示したようなプログ
ラム変換装置を実現する。また、汎用のコンピュータに
上述のプログラム変換装置の処理手順を実行させるため
のコンピュータプログラムは、ハードディスク等の記録
媒体及び通信回線等を介してオンラインで流通させ頒布
することもできる。

【００３０】

【発明の効果】以上の説明から明らかなように、本発明
に係るプログラム変換装置は、オブジェクト指向言語で
記述されたソースプログラムを機械語プログラムに変換
するプログラム変換装置であって、前記ソースプログラ
ムにおけるオブジェクトを生成するためのオブジェクト
生成文であってオブジェクト生成関数を呼び出すオブジ
ェクト生成文を特定する特定手段と、前記特定手段によ
り特定されたオブジェクト生成文によってオブジェクト
生成関数が呼び出されたと仮定した場合における当該呼
出によって、当該オブジェクト生成文により生成される
べきオブジェクトのメンバ変数に対し静的に値を設定す
ること以外の動作が行われるか否かを判断する判断手段
と、前記判断手段により否定的な判断がなされた場合
に、前記呼出によって前記メンバ変数に対して設定され
る値を算出するメンバ変数値算出手段と、前記メンバ変
数算出手段により前記値の算出なされたときに、前記オ
ブジェクト生成文を、前記メンバ変数値算出手段により
算出された値をもつデータであってオブジェクトのメン
バ変数と同じサイズのデータのみに変換する変換手段と
を備えることを特徴とする。これにより、オブジェクト
の生成文を直接オブジェクト生成関数呼出し後の値のオ
ブジェクトデータに変換するのみであって、オブジェク
ト生成関数を呼び出す旨のサブルーチンコール命令に変
換しないため、本発明に係るプログラム変換装置は、結
果的に前記サブルーチンコール命令に必要なコードのサ
イズだけ小さな機械語プログラムを生成する。また、生
成された機械語プログラムのコードサイズが小さいこと
は、実行速度の向上をもたらす。

【００３１】ここで、前記判断手段は、前記オブジェク
ト生成文により呼び出されるオブジェクト生成関数が他
の関数を呼び出すものではない場合であって、当該オブ
ジェクト生成関数によって前記オブジェクトのメンバ変
数に設定される値が、定数と当該オブジェクト生成関数
の定義中の仮引数とで構成される式又は前記仮引数によ
り表現できる場合に、前記メンバ変数に設定される値を
前記式又は前記仮引数により表現した仮メンバ変数値式
を生成する仮メンバ変数値式生成部と、前記仮メンバ変
数値式生成部により仮メンバ変数値式が生成されている
場合に、前記仮メンバ変数値式における仮引数を、前記
オブジェクト生成文中の実引数に置換した実メンバ変数
値式を生成する実メンバ変数値式生成部と、前記実メン
バ変数値式生成部により生成された実メンバ変数値式が
定数値であることを検出する定数値検出部とを有し、前
記判断手段は、前記定数値検出部により前記実メンバ変
数値式が定数値であることが検出されたときに、否定的
に前記判断をなすこととすることもできる。これによ
り、複数のオブジェクト生成文によって、同一のオブジ
ェクト生成関数が呼び出される場合において、それぞれ
のオブジェクト生成文についてオブジェクト生成関数の
サブルーチンコール命令に翻訳しなければならないかど
うかの判断に必要な仮メンバ変数値式生成部の動作が１
回で足りるようになるので、同じオブジェクト生成関数
を呼び出すようなオブジェクト生成文が多く含まれるソ
ースプログラムを翻訳する場合に、前記判断を重複動作
なく行うことができるようになる。これは、オブジェク
ト生成関数に関して仮メンバ変数値式生成部が１回生成
した仮メンバ変数値式が、複数のオブジェクト生成文そ
れぞれに対応しての実メンバ変数値式生成部の動作の基
礎となるためである。

【００３２】また、前記判断手段は、前記特定手段によ
り特定されたオブジェクト生成文により呼び出されるオ
ブジェクト生成関数の定義に、メンバ変数に値を設定す
る代入文以外の文が含まれているときに、肯定的に前記
判断をなすこととすることもできる。これにより、オブ
ジェクト生成文についてオブジェクト生成関数のサブル
ーチンコール命令に翻訳しなければならないかどうかの
判断を、代入文以外の文が含まれるか否かという簡単な
判断に代えるため、この判断をある程度高速に行える。

【００３３】また、前記判断手段は、前記特定手段によ
り特定されたオブジェクト生成文により呼び出されるオ
ブジェクト生成関数の定義に、さらに第２のオブジェク
ト生成文が含まれている場合には、当該第２のオブジェ
クト生成文によって第２のオブジェクト生成関数が呼び
出されたと仮定したときに、当該呼出によって、当該第
２のオブジェクト生成文により生成されるべきオブジェ
クトのメンバ変数に対し静的に値を設定すること以外の
動作が行われないならば、当該第２のオブジェクト生成
文を、前記代入文と等価なものとみなして前記判断をな
すこととすることもできる。これにより、オブジェクト
生成関数内にさらにオブジェクト生成文が含まれている
場合であっても、一定条件下で、当該オブジェクト生成
関数を呼び出すオブジェクト生成文を当該オブジェクト
生成関数のサブルーチンコール命令に翻訳せずにオブジ
ェクトデータのみに翻訳することができるようになる。

【００３４】また、前記オブジェクト指向言語はＣ＋＋
言語であり、前記オブジェクト生成関数は、コンストラ
クタ初期設定子と関数本体とで構成されるコンストラク
タであり、前記判断手段は、前記特定手段により特定さ
れたオブジェクト生成文によって呼び出されるコンスト
ラクタの関数本体が空文以外のときに、肯定的に前記判
断をなすこととすることもできる。これにより、オブジ
ェクト生成文についてオブジェクト生成関数のサブルー
チンコール命令に翻訳しなければならないかどうかの判
断を、関数本体が空文かどうかの簡単な判断を用いて行
うため、この判断を高速に行える。

【００３５】また、前記プログラム変換装置はさらに、
前記特定手段により特定されたオブジェクト生成文が、
生成後に値の変化しないオブジェクトを生成するもので
あるか否かを判断する変化要否判断手段を備え、前記変
換手段は、前記変化要否判断手段により肯定的な判断が
なされたときに、前記オブジェクト生成文をＲＯＭ領域
に配置されるべき属性を有するデータに変換し、前記変
化要否判断手段により否定的な判断がなされたときに、
前記オブジェクト生成文をＲＡＭ領域に配置されるべき
属性を有するデータに変換することとすることもでき
る。これにより、ｃｏｎｓｔオブジェクトを生成するた
めのオブジェクト生成文を、一定条件下で、ＲＯＭ領域
に配置されるべき属性のデータに変換する。従って、結
果的に機械語プログラムの実行に際して必要となるＲＡ
Ｍ領域を縮小することができる。このことは、組み込み
用途のマイクロコンピュータにおいては一般にＲＯＭは
ＲＡＭよりコストが低いので、機械語プログラムの実行
コストを削減することにつながる。

【図面の簡単な説明】

【図１】オブジェクト生成関数を含むクラスＸのクラス
定義とクラスＸのオブジェクトを生成するオブジェクト
生成文とからなるＣ＋＋言語のソースプログラムの一部
を示す図である。

【図２】本発明のプログラム変換装置１００の構成を示
す図である。

【図３】プログラム変換装置１００の動作を示すフロー
チャートである。

【図４】仮初期値式生成部１０３の行う仮初期値式生成
処理を示すフローチャートである。

【図５】オブジェクト生成関数Ｘ（ｉｎｔ ａ，ｉｎｔ
ｂ）について仮初期値式生成部１０３が生成した仮初
期値式を示す概念図である。

【図６】仮初期値式記憶部１０４の内容を示す概念図で
ある。

【図７】実初期値式生成部１０５の行う実初期値式生成
処理を示すフローチャートである。

【図８】実初期値式記憶部１０６の内容を示す概念図で
ある。

【図９】オブジェクト生成文翻訳部１０７の行うオブジ
ェクト生成文翻訳処理を示すフローチャートである。

【図１０】オブジェクト生成文翻訳処理のステップＳ６
０４によるオブジェクト生成文の翻訳結果を示す図であ
る。

【図１１】クラスＸのオブジェクト生成関数の定義とク
ラスＸのオブジェクト生成文を含むクラスＹのオブジェ
クト生成関数の定義を含むＣ＋＋言語で記述されたソー
スプログラムの一部を示す図である。

【図１２】オブジェクト生成関数Ｙ（ｉｎｔ ｉ）につ
いて変形仮初期値式生成部が生成した仮初期値式を示す
概念図である。

【図１３】図１１に示したソースプログラムを、コンス
トラクタ初期設定子と空文である関数本体からなるコン
ストラクタで記述した場合の例を示す図である。

【図１４】従来のプログラム変換装置が図１に示したオ
ブジェクト生成文を翻訳した結果である機械語命令列を
示す図である。

【符号の説明】 １００ プログラム変換装置 １０１ 入力ファイル １０２ 制御部 １０３ 仮初期値式生成部 １０４ 仮初期値式記憶部 １０５ 実初期値式生成部 １０６ 実初期値式記憶部 １０７ オブジェクト生成文翻訳部 １０８ 一般文翻訳部 １０９ 出力ファイル

───────────────────────────────────────────────────── フロントページの続き (72)発明者 山中 貴代和 大阪府門真市大字門真1006番地 松下電器 産業株式会社内 (72)発明者 田中 裕久 大阪府門真市大字門真1006番地 松下電器 産業株式会社内 Ｆターム(参考） 5B081 AA09 CC11 CC27 CC41

Claims (7)

【特許請求の範囲】
1. 【請求項１】 オブジェクト指向言語で記述されたソー
   スプログラムを機械語プログラムに変換するプログラム
   変換装置であって、 前記ソースプログラムにおけるオブジェクトを生成する
   ためのオブジェクト生成文であってオブジェクト生成関
   数を呼び出すオブジェクト生成文を特定する特定手段
   と、 前記特定手段により特定されたオブジェクト生成文によ
   ってオブジェクト生成関数が呼び出されたと仮定した場
   合における当該呼出によって、当該オブジェクト生成文
   により生成されるべきオブジェクトのメンバ変数に対し
   静的に値を設定すること以外の動作が行われるか否かを
   判断する判断手段と、 前記判断手段により否定的な判断がなされた場合に、前
   記呼出によって前記メンバ変数に対して設定される値を
   算出するメンバ変数値算出手段と、 前記メンバ変数算出手段により前記値の算出なされたと
   きに、前記オブジェクト生成文を、前記メンバ変数値算
   出手段により算出された値をもつデータであってオブジ
   ェクトのメンバ変数と同じサイズのデータのみに変換す
   る変換手段とを備えることを特徴とするプログラム変換
   装置。
2. 【請求項２】 前記判断手段は、 前記オブジェクト生成文により呼び出されるオブジェク
   ト生成関数が他の関数を呼び出すものではない場合であ
   って、当該オブジェクト生成関数によって前記オブジェ
   クトのメンバ変数に設定される値が、定数と当該オブジ
   ェクト生成関数の定義中の仮引数とで構成される式又は
   前記仮引数により表現できる場合に、前記メンバ変数に
   設定される値を前記式又は前記仮引数により表現した仮
   メンバ変数値式を生成する仮メンバ変数値式生成部と、 前記仮メンバ変数値式生成部により仮メンバ変数値式が
   生成されている場合に、前記仮メンバ変数値式における
   仮引数を、前記オブジェクト生成文中の実引数に置換し
   た実メンバ変数値式を生成する実メンバ変数値式生成部
   と、 前記実メンバ変数値式生成部により生成された実メンバ
   変数値式が定数値であることを検出する定数値検出部と
   を有し、 前記判断手段は、前記定数値検出部により前記実メンバ
   変数値式が定数値であることが検出されたときに、否定
   的に前記判断をなすことを特徴とする請求項１記載のプ
   ログラム変換装置。
3. 【請求項３】 前記判断手段は、前記特定手段により特
   定されたオブジェクト生成文により呼び出されるオブジ
   ェクト生成関数の定義に、メンバ変数に値を設定する代
   入文以外の文が含まれているときに、肯定的に前記判断
   をなすことを特徴とする請求項１記載のプログラム変換
   装置。
4. 【請求項４】 前記判断手段は、前記特定手段により特
   定されたオブジェクト生成文により呼び出されるオブジ
   ェクト生成関数の定義に、さらに第２のオブジェクト生
   成文が含まれている場合には、当該第２のオブジェクト
   生成文によって第２のオブジェクト生成関数が呼び出さ
   れたと仮定したときに、当該呼出によって、当該第２の
   オブジェクト生成文により生成されるべきオブジェクト
   のメンバ変数に対し静的に値を設定すること以外の動作
   が行われないならば、当該第２のオブジェクト生成文
   を、前記代入文と等価なものとみなして前記判断をなす
   ことを特徴とする請求項３記載のプログラム変換装置。
5. 【請求項５】 前記オブジェクト指向言語はＣ＋＋言語
   であり、 前記オブジェクト生成関数は、コンストラクタ初期設定
   子と関数本体とで構成されるコンストラクタであり、 前記判断手段は、前記特定手段により特定されたオブジ
   ェクト生成文によって呼び出されるコンストラクタの関
   数本体が空文以外のときに、肯定的に前記判断をなすこ
   とを特徴とする請求項１記載のプログラム変換装置。
6. 【請求項６】 前記プログラム変換装置はさらに、前記
   特定手段により特定されたオブジェクト生成文が、生成
   後に値の変化しないオブジェクトを生成するものである
   か否かを判断する変化要否判断手段を備え、 前記変換手段は、前記変化要否判断手段により肯定的な
   判断がなされたときに、前記オブジェクト生成文をＲＯ
   Ｍ領域に配置されるべき属性を有するデータに変換し、
   前記変化要否判断手段により否定的な判断がなされたと
   きに、前記オブジェクト生成文をＲＡＭ領域に配置され
   るべき属性を有するデータに変換することを特徴とする
   請求項１〜５のいずれか１項に記載のプログラム変換装
   置。
7. 【請求項７】 オブジェクト指向言語で記述されたソー
   スプログラムを機械語プログラムに変換するプログラム
   変換処理を、コンピュータに実行させるための制御プロ
   グラムを記録した記録媒体であって、 前記制御プログラムは、 前記ソースプログラムにおけるオブジェクトを生成する
   ためのオブジェクト生成文であってオブジェクト生成関
   数を呼び出すオブジェクト生成文を特定する特定ステッ
   プと、 前記特定ステップにより特定されたオブジェクト生成文
   によってオブジェクト生成関数が呼び出されたと仮定し
   た場合における当該呼出によって、当該オブジェクト生
   成文により生成されるべきオブジェクトのメンバ変数に
   対し静的に値を設定すること以外の動作が行われるか否
   かを判断する判断ステップと、 前記判断ステップにより否定的な判断がなされた場合
   に、前記呼出によって前記メンバ変数に対して設定され
   る値を算出するメンバ変数値算出ステップと、 前記メンバ変数値算出ステップにより前記値の算出がな
   された場合に、前記オブジェクト生成文を、前記メンバ
   変数値算出ステップにより算出された値をもつデータで
   あってオブジェクトのメンバ変数と同じサイズのデータ
   のみに変換する変換ステップとを含むことを特徴とする
   記録媒体。