C++で前の宣言なしで定義されていると、フリー関数が暗黙的にインライン化されますか？

Question

次のフリー関数は、C++で暗黙的にインライン化されていますか？クラス定義で定義されている場合、メンバー関数が暗黙的にインライン化される方法と似ていますか？

void func() { ... } 

テンプレート関数は同じように動作しますか？

Answer 1

いいえ、暗黙のうちにインライン化されていません。コンパイラーは、別のモジュールがこの関数を使用するかどうかを知る方法がないため、その関数をコードで生成する必要があります。

たとえば、ヘッダーにそのような関数を定義し、ヘッダーを2回インクルードすると、複数の定義に関するリンカーエラーが発生することを意味します。明示的にinlineが修正されました。

もちろん、効率的だと思うならば、コンパイラはインラインで関数をインライン化できますが、明示的なインライン展開と同じではありません。

テンプレート関数は、多重定義エラーを防ぐためにinlineを必要としないという意味で、暗黙的にインライン展開されています。コンパイラがそれらをインライン展開することを余儀なくされたとは思わないが、わからない。

Answer 2

コンパイラがインライン化するかどうかによってインライン展開される場合があります。

Answer 3

インラインで何を意味するかによって異なります。コンパイラは、発信されたコードをコールサイトにインラインで配置することによって、あらゆる機能を最適化できます。

inline void func() { ... } 

はその後、答えはノーである。しかし、あなたが意味する場合は、それが宣言されたかのように振る舞いについて尋ねるコードを行います。 2つの異なるコンパイル単位にコードを置き、実行可能ファイルをビルドすると、複数の定義エラーが発生します。関数を明示的に "インライン"としてマークした場合、その関数は表示されません。

テンプレート関数に関して、コンパイルシステムのある部分では、同じテンプレートの複数のインスタンス化によって複数の定義エラーが発生しないことがわかります。