パート I C++ コンパイラ

第 1 章 C++ コンパイラの紹介

章では、現在の Sun Studio C++ コンパイラに関する一般情報を説明します。。

1.1 Sun Studio 12 Update 1 C++ 5.10 コンパイラの新機能

この節では、Sun Studio 12 Update 1 C++ 5.10 コンパイラリリースで導入された新機能を簡単に説明します。各項目に記されている参照先に詳しい説明があります。

• x86 プラットフォーム上の Solaris OS、または Linux OS 上のコンパイラで作成されたオブジェクトファイルは、_m128/_m64 データ型を使用するパラメータまたは戻り値を取る関数がアプリケーションコードの中に含まれている場合は、前のバージョンのコンパイラとは互換性がなくなります。.il インライン関数ファイル、アセンブラコード、またはこれらの関数を呼び出す asm インライン文を使用しているユーザーも、この非互換性に注意する必要があります。

• -xtarget の新しい値は、 woodcrest、penryn、nehalem, core2 が x86 プロセッサ用、ultraT2plus と sparc64vii が SPARC プロセッサ用です。

• -xarch の新しい値は、 ssse3、sse4_1、sse4_2 が x86 アーキテクチャー用、sparcima が SPARC アーキテクチャー用です。

• SPARC プロセッサ用の —xchip の新しい値は、sparc64vii、ultraT2plus です。x86 プロセッサ用の —xchip の新しい値は、core2、penryn、 nehalem です。

• -xprofile=collect と -xprofile=use の各オプションは、マルチスレッド化された動的リンクアプリケーションのサポートを改善します。

• -xcrossfile=1 オプションは、-xipo=1 オプションの別名になりました。-xcrossfile=0 オプションは、効果がありません。明示的に表記すると、-xcrossfile=1 および -xcrossfile=0 は、-xipo=1 と同等です。

• Solaris プラットフォームでは、-xpec[=yes| no] オプションを指定すると、自動チューニングシステム (Automatic Tuning System、ATS) と組み合わせて使用するために再コンパイル可能な PEC バイナリを生成します。

• -Y オプションは、i を引数として受け入れません。

• SPARC プラットフォームでは、-xdepend オプションは -x03 レベル以上の最適化では暗黙的に有効になり、-fast オプションの展開の中にはもう含まれません。

• OpenMP 3.0 のサポートには、libmtsk ライブラリが含まれます。OpenMP プログラムは、Solaris OS 内の libmtsk ライブラリの代わりに、デフォルトでこのライブラリにリンクします。

• -xannotate[=yes|no ] (SPARC プラットフォームのみ) は、binopt(1) のようなバイナリ変更ツールでのちに変換できるバイナリを作成するようコンパイラに指示します。

• -xia (区間演算) オプションは現在、x86 上の Solaris プラットフォームでサポートされています。

• -xipo_archive オプションは現在、x86 上の Solaris プラットフォームおよび Linux プラットフォームでサポートされています。

• -Qoption オプションはもう、 ube_ipa を引数として受け入れません。

• -fast オプションの展開には、 -D_MATHERR_ERRNO_DONTCARE が含まれます。

• 並列化警告メッセージを表示する -xvpara オプションがサポートされます。

• -sb、-sbfast、-xsb 、および -xsbfast の各オプションは廃止され、削除されています。

• -g オプションと、最適化に関する値である -O または -xO のいずれかを指定し、+d を指定しない場合は、コンパイラはコードをインライン化します。

• must_have_frame プラグマがサポートされています。

• 標準 C++ では、switch 文内にある case のラベルに、値を 1 つ関連付けられます。Sun Studio C++ コンパイラでは、case 範囲として知られる、一部のコンパイラに見られる拡張を許可しています。

• コンパイラは通常、 /tmp ディレクトリ内に一時ファイルを作成します。TMPDIR 環境変数を設定してほかのディレクトリを指定します。

• 関数の次の属性がサポートされるようになりました。 _attribute_((const)) _attribute_((constructor)) _attribute_((destructor))

• struct と enum 型でのみ、変数の次の属性がサポートされます。 _attribute_((packed))

• ユニバーサルキャラクタ名がサポートされます。

• ループプラグマがサポートされます。

• マクロの variadic (可変) 引数でユーザー定義名がサポートされます。

• プリプロセッサのインクルードファイルを指定するための -include filename オプションが追加されました。

1.2 x86 の特記事項

x86 Solaris プラットフォーム用にコンパイルを行う場合に注意が必要な、重要な事項がいくつかあります。

従来の Sun 仕様の並列化プログラムは、x86 では使用できません。代わりに OpenMP を使用してください。古い並列化命令を OpenMP に変換する方法については、『Sun Studio 12 Update 1: OpenMP API ユーザーズガイド』を参照してください。

-xarch を sse、sse2、sse2a、または sse3 以降に設定してコンパイルしたプログラムは、必ずこれらの拡張子と機能を提供するプラットフォームでのみ実行してください。

Solaris 9 4/04 以降の Solaris OS リリースは、Pentium 4 互換プラットフォームでは SSE/SSE2 に対応しています。これより前のバージョンの Solaris OS は SSE/SSE2 に対応していません。-xarch で選択した命令セットが、実行中の Solaris OS で有効ではない場合、コンパイラはその命令セットのコードを生成またはリンクできません。

コンパイルとリンクを個別に行う場合は、必ずコンパイラを使ってリンクし、同じ -xarch 設定で正しい起動ルーチンがリンクされるようにしてください。

x86 の 80 ビット浮動小数点レジスタが原因で、x86 での演算結果が SPARC の結果と異なる場合があります。この差を最小にするには、--fstore オプションを使用するか、ハードウェアが SSE2 をサポートしている場合は --xarch=sse2 でコンパイルします。

イントリンシック算術ライブラリ (sin(x) など) が異なるため、Solaris と Linux でも演算結果が数値的に異なる場合があります。

1.3 64 ビットプラットフォーム用のコンパイル

ILP32 32 ビットモデル用にコンパイルするには、—m32 オプションを使用します。ILP64 64 ビットモデル用にコンパイルするには、—m64 オプションを使用します。

ILP 32 モデルでは、C++ 言語の int、long、およびポインタデータ型はすべて 32 ビット幅であることを指定します。long およびポインタデータ型を指定する LP64 モデルは、すべて 64 ビット拡張です。Solaris および Linux OS は、LP64 メモリーモデルの大きなファイルや配列もサポートします。

—m64 を使用してコンパイルを行う場合、結果の実行可能ファイルは、64 ビットカーネルを実行する Solaris OS または Linux OS の 64 ビット UltraSPARC または x86 プロセッサでのみ動作します。コンパイル、リンク、および 64 ビットオブジェクトの実行は、64 ビット実行をサポートする Solaris または Linux OS でのみ行うことができます。

1.4 バイナリの互換性の妥当性検査

Solaris システムの Sun Studio 11 以降では、Sun Studio コンパイラによってコンパイルされたプログラムのバイナリには、そのコンパイル済みバイナリによって想定されている命令セットを示すアーキテクチャーハードウェアフラグが付いています。実行時にこれらのマーカーフラグが確認され、実行しようとしているハードウェアで、そのバイナリが実行できることが確認されます。

プログラムにこれらのアーキテクチャーハードウェアフラグが含まれない場合、またはプラットフォームが適切な機能または命令セット拡張に対応していない場合、プログラムを実行することによりセグメント例外、または明示的な警告メッセージなしの不正な結果が発生することがあります。

この警告は、.il インラインアセンブリ言語関数を使用しているプログラムや、SSE、SSE2、SSE2a、SSE3、およびより新しい命令と拡張機能を利用している __asm() アセンブラコードにも当てはまります。

1.5 準拠規格

この C++ コンパイラ (CC) は、ISO International Standard for C++, ISO IS 14882:2003, Programming Language - C++ に準拠しています。このリリースに含まれる README (最新情報) ファイルには、この規格の仕様と異なる記述が含まれています。

SPARC^TM プラットフォームでは、このコンパイラは、UltraSPARC の実装と SPARC V8 と SPARC V9 の「最適化活用」機能をサポートします。これらの機能は、Prentice-Hall から出版された SPARC International による『SPARC アーキテクチャ・マニュアル バージョン 8 』(トッパン刊) と『SPARC ArchitectureManual, Version 9』(ISBN 0-13-099227-5) (英語版のみ)に定義されています。

このマニュアルでは、「標準」は、前述の規格の各バージョンに準拠していることを意味します。「非標準」および「拡張」は、これらの規格のバージョンに準拠しない機能のことを指します。

これらの標準は、それぞれの標準を策定する組織によって改訂されることがあります。したがって、コンパイラが準拠するバージョンの規格が改定されたり、完全に書き換えられた場合、機能によっては、Sun C++ コンパイラの将来のリリースで前のリリースと互換性がなくなる場合があります。

1.6 C++ README ファイル

C++ コンパイラの README ファイルでは、コンパイラに関する重要な情報を取り上げています。これらの情報は次のとおりです。

• マニュアルの印刷後に判明した情報

• 新規および変更された機能

• ソフトウェアの非互換性

• 問題および解決方法

• 制限および互換性の問題

• 出荷可能なライブラリ

• 実装されていない規格

Sun Studio の今回のリリースと以前のリリースに関する C++ コンパイラの Readme は、Sun Developer Network の Sun Studio ポータル http://developers.sun.com/sunstudio/documentation で入手できます。

1.7 マニュアルページ

オンラインのマニュアルページ (man) では、コマンドや関数、サブルーチン、およびその機能に関する情報を簡単に参照できます。

マニュアルページを表示するには、次のように入力してください。

example% man topic

C ++ のマニュアル全体を通して、マニュアルページのリファレンスは、トピック名とマニュアルのセクション番号で表示されます。CC(1) を表示するには、man CC と入力 します。たとえば ieee_flags(3M) など、ほかのセクションを表示するには、man コマンドに -s オプションを使用します。

example% man -s 3M ieee_flags

1.8 各国語のサポート

このリリースの C++ では、英語以外の言語を使用したアプリケーションの開発をサポートしています。対象としている言語は、ヨーロッパのほとんどの言語と日本語です。このため、アプリケーションをある言語から別の言語に簡単に置き換えることができます。この機能を国際化と呼びます。

通常 C++ コンパイラでは、次のように国際化を行なっています。

• どの国のキーボードから入力された ASCII 文字でも認識する。つまりキーボードに依存せず、8 ビット透過となっています。

• メッセージによっては現地語で出力できるものもある。

• 注釈、文字列、データに、現地語の文字を使用できる。

• C++ は、Extended UNIX Character (EUC) 準拠の文字セットをサポートしています。この文字セットでは、文字列中のすべての NULL バイトが NULL 文字になります。また、文字列中で ASCII 値が '/' のバイトはすべて '/' 文字になります。

変数名は国際化できません。必ず英語の文字を使用してください。

アプリケーションをある国の言語から別の国の言語に変更するには、ロケールを設定します。言語の切り換えのサポートに関する情報については、オペレーティングシステムのマニュアルを参照してください。

第 2 章 C++ コンパイラの使用方法

この章では、C++ コンパイラの使用方法を説明します。

コンパイラの主な目的は、C++ などの高水準言語で書かれたプログラムをコンピュータハードウェアで実行できるデータファイルに変換することです。C++ コンパイラでは次のことができます。

• ソースファイルを再配置可能なバイナリ (.o) ファイルに変換する。これらのファイルはそのあと、実行可能ファイル、(-xar オプションで) 静的 (アーカイブ) ライブラリ (.a) ファイル、動的 (共有) ライブラリ (.so) ファイルなどにリンクされる。

• オブジェクトファイルとライブラリファイルのどちらか (または両方) をリンク (または再リンク) して実行可能ファイルを作成する。

• 実行時デバッグを (-g オプションで) 有効にして、実行可能ファイルをコンパイルする。

• 文レベルや手続きレベルの実行時プロファイルを (-pg オプションで) 有効にして、実行可能ファイルをコンパイルする。

2.1 コンパイル方法の概要

この節では、C++ コンパイラを使って C++ プログラムのコンパイルと実行をどのように行うかを簡単に説明します。コマンド行オプションの詳しい説明については、「16.8 dlopen を使って C プログラムから C++ ライブラリにアクセスする」を参照してください。

この章のコマンド行の例は、CC の使用方法を示すためのものです。実際に出力される内容はこれと多少異なる場合があります。

C++ アプリケーションを構築して実行するには、基本的に次の手順が必要です。

1. エディタを使用して、表 2–1 に一覧表示されている有効な接尾辞の 1 つを指定し、C++ ソースファイルを作成する。

2. コンパイラを起動して実行可能ファイルを作成する。

3. 実行可能ファイルの名前を入力してプログラムを実行する。

次のプログラムは、メッセージを画面に表示する例です。

example% cat greetings.cc
    #include <iostream>
    int main()  {
      std::cout << “Real programmers write C++!” << std::endl;
      return 0;
    }
example% CC greetings.cc
example% ./a.out
 Real programmers write C++!
example%

この例では、ソースファイル greetings.cc を CC でコンパイルしています。デフォルトでは、実行可能ファイルがファイル a.out として作成されます。プログラムを起動するには、コマンドプロンプトで実行可能ファイル名 a.out を入力します。

従来、UNIX コンパイラは実行可能ファイルに a.out という名前を付けていました。しかし、すべてのコンパイルで同じファイルを使用するのは不都合な場合があります。そのファイルがすでにあれば、コンパイラを実行したときに上書きされてしまうからです。次の例のように、コンパイラオプションに -o を使用すれば、実行可能出力ファイルの名前を指定できます。

example% CC– o greetings greetings.cc

この例では、-o オプションを指定することによって、実行可能なコードがファイル greetings に書き込まれます。プログラムにソースファイルが 1 つだけしかない場合は、ソースファイル名から接尾辞を除いたものをそのプログラム名にすることが一般的です。

あるいは、コンパイルのあとに mv コマンドを使って、デフォルトの a.out ファイルを別の名前に変更することもできます。いずれの場合も、実行可能ファイルの名前を入力して、プログラムを実行します。

example% ./greetings
Real programmers write C++!
example%

2.2 コンパイラの起動

このあとの節では、CC コマンドで使用する規約、コンパイラのソース行指令など、コンパイラの使用に関連する内容について説明します。

2.2.1 コマンド構文

コンパイラの一般的なコマンド行の構文を次に示します。

CC [options] [source-files] [object-files] [libraries]

options は、先頭にダッシュ (-) またはプラス記号 (+) の付いたキーワード (オプション) です。このオプションには、引数をとるものがあります。

通常, コンパイラオプションの処理は、左から右へと行われ、マクロオプション (ほかのオプションを含むオプション) は、条件に応じて内容が変更されます。ほとんどの場合、同じオプションを 2 回以上指定すると、最後に指定したものだけが有効になり、オプションの累積は行われません。次の点に注意してください。

• すべてのリンカーオプション、ならびに -features、-I、l、L、-library、-pti、-R、-staticlib、-U、-verbose および -xprefetch オプションで指定した内容は蓄積され、上書きはされません。

• -U オプションは、すべて -D オプションのあとに処理されます。

ソースファイル、オブジェクトファイル、およびライブラリは、コマンド行に指定した順にコンパイルとリンクが行われます。

次の例では、CC を使って 2 つのソースファイル (growth.C と fft.C) をコンパイルし、実行時デバッグを有効にして growth という名前の実行可能ファイルを作成します。

example% CC -g -o growth growth.C fft.C

2.2.2 ファイル名に関する規則

コンパイラがコマンド行に指定されたファイルをどのように処理するかは、ファイル名に付加された接尾辞で決まります。次の表以外の接尾辞を持つファイルや、接尾辞がないファイルはリンカーに渡されます。

2.2.3 複数のソースファイルの使用

C++ コンパイラでは、複数のソースファイルをコマンド行に指定できます。コンパイラが直接または間接的にサポートするファイルも含めて、コンパイラによってコンパイルされる 1 つのソースファイルを「コンパイル単位」といいます。C++ では、それぞれのソースが別個のコンパイル単位として扱われます。

2.3 バージョンが異なるコンパイラでのコンパイル

このコンパイラは、デフォルトではキャッシュを使用しません。キャッシュを使用するのは、-instances=extern が指定されているときだけです。キャッシュを使用する場合、コンパイラはキャッシュディレクトリのバージョンを調べ、その結果キャッシュバージョンに問題があることがわかると、エラーメッセージを出力します。将来の C++ コンパイラもキャッシュのバージョンを調べます。たとえば、将来のコンパイラは異なるテンプレートキャッシュのバージョン識別子を持っているため、現在のリリースで作成されたキャッシュディレクトリを処理しようとすると、次のようなエラーを出力します。

Template Database at ./SunWS_cache is incompatible with
this compiler

同様に、現在のリリースのコンパイラで以降のバージョンのコンパイラで作成されたキャッシュディレクトリを処理しようとすると、エラーが発行されます。

コンパイラをアップグレードする際には、必ずキャッシュを消去するようにするとよいでしょう。テンプレートキャッシュディレクトリ (ほとんどの場合、テンプレートキャッシュディレクトリの名前は SunWS_cache) が入っているディレクトリすべてに対し、CCadmin -clean を実行します。CCadmin -clean の代わりに、rm -rf SunWS_cache と指定しても同様の結果が得られます。

2.4 コンパイルとリンク

この節では、プログラムのコンパイルとリンクについていくつかの側面から説明します。次の例では、CC を使って 3 つのソースファイルをコンパイルし、オブジェクトファイルをリンクして prgrm という実行可能ファイルを作成します。

example% CC file1.cc file2.cc file3.cc -o prgrm

2.4.1 コンパイルとリンクの流れ

前の例では、コンパイラがオブジェクトファイル (file1.o、file2.o、file3.o)を自動的に生成し、次にシステムリンカーを起動してファイル prgrm の実行可能プログラムを作成します。

コンパイル後も、オブジェクトファイル (file1.o、file2.o、および file3.o) はそのまま残りま。この規則のおかげで、ファイルの再リンクと再コンパイルを簡単に行えます。

ソースファイルが 1 つだけであるプログラムに対してコンパイルとリンクを同時に行なった場合は、対応する .o ファイルが自動的に削除されます。複数のソースファイルをコンパイルする場合を除いて、すべての .o ファイルを残すためにはコンパイルとリンクを別々に行なってください。

コンパイルが失敗すると、エラーごとにメッセージが返されます。エラーがあったソースファイルの .o ファイルは生成されず、実行可能プログラムも作成されません。

2.4.2 コンパイルとリンクの分離

コンパイルとリンクは別々に行うことができます。-c オプションを指定すると、ソースファイルがコンパイルされて .o オブジェクトファイルが生成されますが、実行可能ファイルは作成されません。-c オプションを指定しないと、コンパイラはリンカーを起動します。コンパイルとリンクを分離すれば、1 つのファイルを修正するためにすべてのファイルを再コンパイルする必要はありません。次の例では、最初の手順で 1 つのファイルをコンパイルし、次の手順でそれをほかのファイルとリンクします。

example% CC -c file1.cc         Make new object file
example% CC -o prgrm file1.o file2.o file3.o       Make executable file

リンク時には (2 行目)、完全なプログラムを作成するのに必要なすべてのオブジェクトファイルを必ず 指定してください。オブジェクトファイルが足りないと、リンクは「undefined external reference (未定義の外部参照がある)」エラーで、ルーチンがないために失敗します。

2.4.3 コンパイルとリンクの整合性

コンパイルとリンクを別々に実行する場合で、「3.3.3 コンパイル時とリンク時のオプション」に示すコンパイラオプションを使用する場合は、コンパイルとリンクの整合性を保つことが非常に重要です。

これらのオプションのいずれかを使用してサブプログラムをコンパイルした場合は、リンクでも同じオプションを使用してください。

• -library、-fast、-xtarget、-xarch オプションの場合、コンパイルとリンクを同時に行えば渡されるはずのリンカーオプションも含める必要があります。—dryrun を使用してこれらのオプションの展開を調べ、リンク手順で必要なオプションを判断してください。

• -p、-xpg、-xprofile オプションの場合、ある段階ではオプションを指定して別の段階では指定しないと、プログラムの正しさには影響はありませんが、プロファイル処理ができなくなります。

• -g、-g0 オプションの場合、ある段階ではオプションを指定して別の段階では指定しないと、プログラムの正しさには影響はありませんが、プログラムを正しくデバッグできなくなります。これらのオプションでコンパイルされず、-g または -g0 でリンクされるいずれのモジュールも、デバッグには使用できません。--g オプション (または -g0 オプション)付きの main 関数があるモジュールをコンパイルするには、通常デバッグする必要があります。

次の例では、-library=stlport4 コンパイラオプションを使用してプログラムをコンパイルしています。

 example% CC -library=stlport4 sbr.cc -c
example% CC -library=stlport4 main.cc -c
example% CC -library=stlport4 sbr.o main.o -o myprogram 

-library=stlport4 を一貫して使用しない場合は、プログラムの特定の部分はデフォルトの libCstd を使用し、ほかの部分はオプションの置換である STlport ライブラリを使用します。結果として得られたプログラムは正常にリンクできず、どのような状況でも正常に動作しません。

プログラムがテンプレートを使用する場合は、リンク時にその中のいくつかがインスタンス化される可能性があります。その場合、インスタンス化されたテンプレートは最終行 (リンク行) のコマンド行オプションを使用してコンパイルされます。

2.4.4 64 ビットメモリーモデル用のコンパイル

新しい -m64 オプションを使用して、対象コンパイルのメモリーモデルを指定します。結果の実行可能ファイルは、64 ビットカーネルを実行する Solaris OS または Linux OS の配下にある、64 ビットの UltraSPARC または x86 プロセッサでのみ動作します。コンパイルリンク、および 64 ビットオブジェクトの実行は、64 ビット実行をサポートする Solaris または Linux OS でのみ行うことができます。

2.4.5 コンパイラの診断

-V オプションを指定すると、CC によって起動された各プログラムの名前とバージョン番号が表示されます。-v オプションを指定すると、CC によって起動されたコマンド行全体が表示されます。

—verbose=%all を指定すると、コンパイラに関する追加情報が表示されます。

コマンド行に指定された引数をコンパイラが認識できない場合には、それらはリンカーオプション、オブジェクトプログラムファイル名、ライブラリ名のいずれかとみなされます。

基本的には次のように区別されます。

• 認識できないオプション。これらの前にダッシュ (–) またはプラス記号 (+) が付けられ、警告が生成されます。

• 認識できない非オプション (先頭にダッシュかプラス符号 (+) が付いていないもの)には、警告が生成されません。ただし、リンカーへの引き渡しは行われます。リンカーが認識しない場合、リンカーからエラーメッセージが生成されます。

次の例で、-bit は CC によって認識されないため、リンカー (ld) に渡されます。リンカーはこれを解釈しようとします。単一文字の ld オプションは連続して指定できるので、リンカーは -bit を -b、-i、-t とみなします。これらはすべて有効な ld オプションです。しかし、これは本来の意図とは異なります。

example% CC -bit move.cc           < - -bit is not a recognized CC option

CC: Warning: Option -bit passed to ld, if ld is invoked, ignored otherwise

次の例では、CC オプション -fast を指定しようとしましたが、先頭のダッシュ (-) を入力しませんでした。コンパイラはこの引数もリンカーに渡します。リンカーはこれをファイル名とみなします。

example% CC fast move.cc           < -  The user meant to type -fast
move.CC:
ld: fatal: file fast: cannot open file; errno=2
ld: fatal: File processing errors. No output written to a.out

2.4.6 コンパイラの構成

C++ コンパイラパッケージは、フロントエンド (CC コマンド本体)、オプティマイザ (最適化)、コードジェネレータ (コード生成)、アセンブラ、テンプレートのプリリンカー (リンクの前処理をするプログラム)、リンクエディタから構成されています。コマンド行オプションでほかの指定を行わないかぎり、CC コマンドはこれらの構成要素をそれぞれ起動します。

これらの構成要素はいずれもエラーを生成する可能性があり、構成要素はそれぞれ異なる処理を行うため、エラーを生成した構成要素を識別することがエラーの解決に役立つことがあります。それには、-v オプションと -dryrun オプションを使用します。

次の表に示すように、コンパイラの構成要素への入力ファイルには異なるファイル名接尾辞が付いています。どのようなコンパイルを行うかは、この接尾辞で決まります。ファイル名接尾辞の意味については、表 2–1 を参照してください。

2.5 指示および名前の前処理

この節では、C++ コンパイラ特有の前処理の指示について説明します。

2.5.1 プラグマ

プリプロセッサ指令 pragma は C++ 標準の一部ですが、書式、内容、および意味はコンパイラごとに異なります。C++ コンパイラが認識するプラグマ (指令) の詳細は、付録 B プラグマを参照してください。

Sun C++ は、C99 のキーワードである _Pragma もサポートしています。これら 2 つの呼び出し

#pragma dumpmacros(defs)     
_Pragma("dumpmacros(defs)") 

は同等です。_Pragma の代わりに _Pragma を使用するには、プラグマテキストをリテラル文字列として記述し、_Pragma キーワードの 1 つの引数として括弧で囲みます。

2.5.2 可変数の引数をとるマクロ

C++ コンパイラでは次の書式の #define プリプロセッサの指示を受け入れます。

#define identifier (...) replacement_list
#define identifier (identifier_list, ...) replacement_list

マクロパラメータリストの終わりが省略符号である場合、マクロパラメータより多くの引数をマクロの呼び出しで使用できます。追加の引数は、マクロ交換リストにおいて __VA_ARGS__ という名前で参照できる、コンマを含んだ単一文字列にまとめられます。次の例は、変更可能な引数リストマクロの使い方を示しています。

#define debug(...) fprintf(stderr, __VA_ARGS__)
#define showlist(...) puts(#__VA_ARGS__)
#define report(test, ...) ((test)?puts(#test):\
                        printf(__VA_ARGS__))
debug(“Flag”);
debug(“X = %d\n”,x);
showlist(The first, second, and third items.);
report(x>y, “x is %d but y is %d”, x, y);

この結果は、次のようになります。

fprintf(stderr, “Flag”);
fprintf(stderr, “X = %d\n”, x);
puts(“The first, second, and third items.”);
((x>y)?puts(“x>y”):printf(“x is %d but y is %d”, x, y));

2.5.3 事前に定義されている名前

付録の表 A–2 は、事前に定義されているマクロを示しています。これらの値は、#ifdef のようなプリプロセッサに対する条件式の中で使用できます。+p オプションを指定すると、sun、unix、sparc、および i386 の事前定義マクロは自動的に定義されません。

2.5.4 #error

#error 指令は、警告生成後にコンパイルを続行しなくなりました。以前の #error 指令は、警告を生成してコンパイルを続行していました。新しい #error では、ほかのコンパイラとの整合性が確保され、エラーメッセージを生成してコンパイルをすぐに停止するようになりました。コンパイラは終了して障害をレポートします。

2.6 メモリー条件

コンパイルに必要なメモリー量は、次の要素によって異なります。

• 各手続きのサイズ

• 最適化のレベル

• 仮想メモリーに対して設定された限度

• ディスク上のスワップファイルのサイズ

SPARC プラットフォームでメモリーが足りなくなると、オプティマイザは最適化レベルを下げて現在の手続きを実行することでメモリー不足を補おうとします。それ以後のルーチンについては、コマンド行の -xOlevel オプションで指定した元のレベルに戻ります。

1 つのファイルに多数のルーチンが入っている場合、それをコンパイルすると、メモリーやスワップ領域が足りなくなることがあります。最適化のレベルを下げてみてください。代わりに、最大のプロシージャを、個別のファイルに分割してください。

2.6.1 スワップ領域のサイズ

現在のスワップ領域は swap -s コマンドで表示できます。詳細は、swap(1M) のマニュアルページを参照してください。

swap コマンドを使った例を次に示します。

example% swap -s
total: 40236k bytes allocated + 7280k reserved = 47516k used, 1058708k available

2.6.2 スワップ領域の増加

ワークステーションのスワップ領域を増やすには、mkfile(1M) と swap(1M) コマンドを使用します。そのためには、スーパーユーザーである必要があります。mkfile コマンドは特定サイズのファイルを作成し、swap -a はこのファイルをシステムのスワップ領域に追加します。

 example# mkfile -v 90m /home/swapfile
 /home/swapfile 94317840 bytes
 example# /usr/sbin/swap -a  /home/swapfile

2.6.3 仮想メモリーの制御

1 つの手続きが数千行からなるような非常に大きなルーチンを -xO3 以上でコンパイルすると、大容量のメモリーが必要になることがあります。このようなときには、システムのパフォーマンスが低下します。これを制御するには、1 つのプロセスで使用できる仮想メモリーの量を制限します。

sh シェルで仮想メモリーを制限するには、ulimit コマンドを使用します。詳細は、sh(1) のマニュアルページを参照してください。

次の例では、仮想メモリーを 4G バイトに制限しています。

 example$ ulimit -d 4000000

csh シェルで仮想メモリーを制限するには、limit コマンドを使用します。 詳細は、csh(1) のマニュアルページを参照してください。

次の例でも、仮想メモリーを 4G バイトに制限しています。

 example% limit datasize 4G

どちらの例でも、オプティマイザは データ空間が 4G バイトになった時点でメモリー不足が発生しないような手段をとります。

仮想メモリーの限度は、システムの合計スワップ領域の範囲内です。さらに実際は、大きなコンパイルが行われているときにシステムが正常に動作できるだけの小さい値である必要があります。

スワップ領域の半分以上がコンパイルによって使用されることがないようにしてください。

8G バイトのスワップ領域のあるマシンでは、次のコマンドを使用します。

sh シェルの場合

example$ ulimit -d 4000000

csh の場合

example% limit datasize 4G

最適な設定は、必要な最適化レベルと使用可能な実メモリーと仮想メモリーの量によって異なります。

2.6.4 メモリー条件

ワークステーションには、少なくとも 1G バイトのメモリーを実装するべきです。2G バイトをお勧めします。要件の詳細は、製品リリースの Readme (http://developers.sun.com/sunstudio/documentation/ ) を参照してください。

2.7 C++ オブジェクトに対する strip コマンドの使用

Unix の strip コマンドは、C++ のオブジェクトファイルに対して使用すべきではありません。それらのオブジェクトファイルが使用不可能になることがあります。

2.8 コマンドの簡略化

CCFLAGS 環境変数で特別なシェル別名を定義するか make を使用すれば、複雑なコンパイラコマンドを簡略化できます。

2.8.1 C シェルでの別名の使用

次の例では、頻繁に使用するオプションをコマンドの別名として定義します。

example% alias CCfx "CC -fast -xnolibmil"

次に、この別名 CCfx を使用します。

example% CCfx any.C

前述のコマンド CCfx は、次のコマンドを実行するのと同じことです。

example% CC -fast -xnolibmil any.C

2.8.2 CCFLAGS によるコンパイルオプションの指定

CCFLAGS 環境変数を設定すると、一度に特定のオプションを指定できます。

CCFLAGS 変数は、コマンド行に明示的に指定できます。次の例は、CCFLAGS の設定方法を示したものです (C シェル)。

 example% setenv CCFLAGS ’-xO2 -m64’

次の例では、CCFLAGS を明示的に使用しています。

 example% CC $CCFLAGS any.cc

make を使用する場合、CCFLAGS 変数が前述の例のように設定され、メイクファイルのコンパイル規則が暗黙的に使用された状態で make を呼び出すと、次と同じコンパイルが行われます。

CC -xO2 -m64 files...

2.8.3 make の使用

make ユーティリティーは、Sun のすべてのコンパイラで簡単に使用できる非常に強力なプログラム開発ツールです。詳細については make(1S) のマニュアルページを参照してください。

2.8.3.1 make での CCFLAGS の使用

メイクファイルの暗黙のコンパイラ規則を使用する、つまり、C++ コンパイルがない場合は、make プログラムによって CCFLAGS が自動的に使用されます。

第 3 章 C++ コンパイラオプションの使い方

この章では、コマンド行 C++ コンパイラオプションの使用方法について説明してから、機能別にその使用方法を要約します。オプションの詳細な説明は、「A.2 オプションの一覧」を参照してください。

3.1 構文

次の表は、一般的なオプション構文の形式の例です。

括弧、中括弧、角括弧、パイプ文字、および省略符号は、オプションの説明で使用されているメタキャラクタです。これらは、オプションの一部ではありません。使用法の構文に関する詳細な説明は、「はじめに」の表記規則を参照してください。

3.2 一般的な注意事項

C++ コンパイラのオプションを使用する際の一般的な注意事項は次のとおりです。

• -llib オプションは、 ライブラリ liblib.a (または liblib.so) とリンクするときに使用します。ライブラリが正しい順序で検索されるように、-lib オプションは、ソースやオブジェクトのファイル名のあとに指定する方が安全です。

• 一般にコンパイラオプションは左から右に処理され、マクロオプション (ほかのオプションを含むオプション) は条件に応じて内容が変更されます (ただし -U オプションだけは、すべての -D オプション後に処理されます)。この規則はリンカーのオプションには適用されません。

• -features、-I-l、-L、-library、-pti、-R、-staticlib、-U、-verbose および -xprefetch オプションで指定した内容は蓄積され、上書きはされません。

• -D オプションは累積されますが、同じ名前に複数の -D オプションがあるとお互いに上書きされます。

ソースファイル、オブジェクトファイル、ライブラリは、コマンド行に指定された順序でコンパイルおよびリンクされます。

3.3 機能別に見たオプションの要約

この節には、参照しやすいように、コンパイラオプションが機能別に分類されています。各オプションの詳細は、付録 A C++ コンパイラオプションを参照してください。

これらのオプションは、特に記載がないかぎりすべてのプラットフォームに適用されます。Solaris SPARC システム版のオペレーティングシステムに特有の機能は SPARC として表記され、x86 システム版のオペレーティングシステムに特有の機能は x86 として表記されます。

3.3.1 コード生成オプション

3.3.2 コンパイル時パフォーマンスオプション

3.3.3 コンパイル時とリンク時のオプション

次の表は、リンク時とコンパイル時の両方に指定する必要があるオプションをまとめています。

3.3.4 デバッグオプション

3.3.5 浮動小数点オプション

3.3.6 言語オプション

3.3.7 ライブラリオプション

3.3.8 廃止オプション

次のオプションは、現在は廃止されているためにコンパイラに受け入れられないか、将来のリリースでは削除されます。

3.3.9 出力オプション

3.3.10 実行時パフォーマンスオプション

3.3.11 プリプロセッサオプション

3.3.12 プロファイルオプション

3.3.13 リファレンスオプション

3.3.14 ソースオプション

3.3.15 テンプレートオプション

3.3.16 スレッドオプション