对于模板类，有没有什么办法使其中的某些成员函数在实例化时不加载？

Croper

试图做一个集合类时遇到的问题：
比如现在有一个模板类A，和一个没有重载==的类B：

1. template <typename T> class A
   
2. {
   
3. public：
   
4.         T a;
   
5. 
   
6.         bool operator==(const A& anotherA)
   
7.         {
   
8.                 return (this->a == anotherA.a);       //这里使用了T的==
   
9.         }
   
10. };
    
11. 
    
12. class B
    
13. {
    
14.         int b;
    
15. };
    
16. 
    
17. int main()
    
18. {
    
19.     A<B> a;                    //编译时报错，因为B没有运算符==的重载；
    
20. }
    

复制代码

但是，我希望在使用一些支持”==”的类实例化A时能使用A的“==”符号，有没有什么办法能在T支持“==”时加载A<T>::operator==,而在T不支持"=="时自动不加载A<T>::operator==而不是直接无法编译呢？

Croper

不好意思，在这种最简状态下是可以编译的。。。我应该是在其他地方调用了这个函数，我可能误导大家了，抱歉。。

Croper

不对。。。这样就无法编译了

1. template <typename T> class A
   
2. {
   
3. public:
   
4.                 T a;
   
5. 
   
6.         virtual bool operator==(const A& anotherA)    //operator==声明为虚函数
   
7.         {
   
8.                 return (this->a == anotherA.a);       //这里使用了T的==
   
9.         }
   
10. };
    
11. 
    
12. class B
    
13. {
    
14.         int b;
    
15. };
    
16. 
    
17. int main()
    
18. {
    
19.         A<B> a;                    //编译时报错，因为B没有运算符==的重载；
    
20. }

复制代码

难道说虚函数在实例化时会被强制加载么。。这又是为什么。。？