c++ - クラスをテンプレートにするとコンパイルされるのはなぜですか?

Question

意図的にドットとアロー演算子を間違って使用していますが、クラスをテンプレートにすることにしたときにコンパイルされる理由がわかりません。

コンパイル:

template <class B> 
struct Boss {

  bool operator==( Boss & other ) {

    return this.x == other -> x;

  }

};

int main() {

}

コンパイルしません:

struct Boss {

  bool operator==( Boss & other ) {

    return this.x == other -> x;

  }

};

int main() {

}

Answer 1

テンプレートがインスタンス化されていない場合、テンプレートの正確性は完全にはチェックされません。構文のみがチェックされます。this.x、意味的には正しくありませんが (thisその操作をサポートする型ではなく、そのような型にすることもできないため)、それでも構文的には正しいです。

Answer 2

テンプレートは使用するまでチェックされないため、コンパイルされます。で何か役に立つことをしようとするとmain()、コンパイル エラーが発生します。