C++のテンプレートは、ローカル変数のためにエラーを報告していない

Question

なぜこのレポートエラー：

class a { 
public: 
    void b() {this->c++;} 
}; 

int main() { 
    a var; 
} 

しかし、これではないでしょうか？それは必要がありますので、「D」型に依存しない、「」テンプレートクラス、関数「B」、または変数への少なくともアクセスである「C」という事実にもかかわらず

template <typename d> class a { 
public: 
    void b() {this->c++;} 
}; 

int main() { 
    a<int> var; 
} 

何か報告してください。

しかし、私が "var.b（）;"を呼び出すと、メイン関数ではエラーが発生します。

私は本当にそれを理解することはできませんが、それは簡単な質問であることを知っています。

Answer 1

a<int>::b()は、それがテンプレートであるため、instantiatedではないためです。インスタンス化しようとすると、つまりvar.b();のように呼び出すと、コンパイラはエラーを吐き出します。テンプレートは「オンデマンド」でインスタンス化されること、つまりコンパイラがインスタンス化を必要とするときに理解する必要があります。さもなければ、最小限の構文検証だけが行われます。テンプレートのインスタンス化/名前検索に関する詳細はかなり複雑ですが、David VandevoodeとNicolai JosuttisのC++ Templates: The Complete Guideという本をお勧めします。

最初のコードスニペットではそうではありません。機能は最初から有効でなければなりません。