テンプレートパラメータを使用しないテンプレートクラスのメソッドに対するコンパイラの最適化はありますか？例えば、

Question

。

template< class T > 
class Foo 
{ 
public: 
    float MethodUseOfT() 
    { 
     return m_bar.CalculateSomething(); 
    } 
    float MethodNoUseOfT() 
    { 
     float blah(0.f); 
     ... 
     return blah; 
    } 

private: 
    T m_bar; 
}; 

class Bar 
{ 
public: 
    float CalculateSomething(); 
} 

誰かがFoo<Bar>を作成した場合、これはほとんどのコンパイラによってどのように管理されますか。たとえば、一般にMethodNoUseOfTがテンプレート引数を参照せず、その情報を使用して生成されたマシンコードのサイズを縮小することを実現するでしょうか？

さらに、MethodUseOfTの内容が大きく、1行にTを参照するだけの場合、コンパイラは残りのメソッドに対して生成されたマシンコードを再利用しようとしますか？

Answer 1

多分。

Microsoft C++には、同じ機能をマージするオプションがあります（もちろん、Foo<int>::MethodNoUseOfT()はFoo<double>::MethodNoUseOfT()と同じになります）。

一般的に、このオプションは標準に準拠していません（ファンクションテンプレートから生成される2つの通常のファンクションは、異なるアドレスを持つ必要があります。しかし、この場合は、メンバ関数のアドレスを取得する方法がないため（メンバ関数へのポインタがアドレスとは非常に異なり、アドレスよりはるかに複雑です）、リンカそれを行うことができるかもしれません。

コメントに記載されているように、コンパイラ+リンカの出力を検査することが唯一の唯一の方法です。

確認する簡単な方法は、のようなものを書くことです：

class FooBase 
{ 
public: 
    float MethodNoUseOfT() 
    { 
     float blah(0.f); 
     ... 
     return blah; 
    } 
}; 

template< class T > 
class Foo : public FooBase 
{ 
public: 
    float MethodUseOfT() 
    { 
     return m_bar.CalculateSomething(); 
    } 

private: 
    T m_bar; 
}; 

class Bar 
{ 
public: 
    float CalculateSomething(); 
} 

あなたがこれを行う場合は、あなたもCPPファイルにMethodNoUseOfTの実装を移動することができます。

Answer 2

インラインの場合のみ。さもなければ、シンボルはマングルされているので、それらは別個のマシンコードブロックでなければならない。

Answer 3

です。

重要な部分は、14.7.1暗黙のインスタンスです。関数定義を必要とするコンテキストで特殊化が参照されると、関数テンプレートの特殊化が暗黙的にインスタンス化されます。

つまり、暗黙的なインスタンス化では、実際には必ず「最適化」が必要です。明示的なインスタンス化では、コンパイラはすべてのメンバーをコンパイルします（結局のところ、明示的なインスタンス化のポイントです）。しかし、リンカはまだ未使用の機能を排除できます。

コンパイラは、テンプレートメソッドの半分を再利用しようとしません。それは非常に複雑な分析を必要とするでしょう。