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 不是，也不可能是支持该操作的类型)，但在语法上仍然是正确的。