爲什麼在編寫模板時會編譯？

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()中做一些有用的事情，它會給你一個編譯錯誤。