[已解决]帮看下这个模板类为什么不能编译(codeblocks)

thefirstz

1. struct __xtrue_type { }; // define two mark-type
   
2. struct __xfalse_type { };
   
3. 
   
4. class CComplexObject{
   
5. public:
   
6.      virtual void clone() { cout << "in clone" << endl; }
   
7. };
   
8. 
   
9. class CDerivedComplexObject : public CComplexObject {
   
10. public:
    
11.      virtual void clone() { cout << "in derived clone" << endl; }
    
12. };
    
13. 
    
14. template <typename T>
    
15. struct Traits{  typedef __xfalse_type has_clone_method;};
    
16. template <>
    
17. struct Traits<CComplexObject>{  typedef __xtrue_type has_clone_method;};
    
18. 
    
19. template <typename T>
    
20. class XContainer{
    
21. public:
    
22.     template <typename flag, typename N=void>
    
23.     class Impl { };
    
24.     template <typename N>
    
25.     class Impl <__xtrue_type,N>
    
26.     {
    
27.     public:
    
28.         void clone(T* pObj)  {  pObj->clone();    }
    
29.     };
    
30.     template <typename N>
    
31.     class Impl <__xfalse_type,N>
    
32.     {
    
33.     public:
    
34.         void clone(T* pObj) {  }
    
35.     };
    
36. public:
    
37.     void clone(T* pObj){ Impl< Traits<T>::has_clone_method >().clone(pObj);  }
    
38. };

复制代码

liwangli1983

因为没有帖出错误信息和更多的代码，单从给出的代码来看错误有可能出在下面这个地方：

    void clone(T* pObj){ Impl< Traits<T>::has_clone_method >().clone(pObj);  }
改为：
    void clone(T* pObj){ Impl< typename Traits<T>::has_clone_method >().clone(pObj);  }

Impl的模板参数显然需要的是一个类型，但不显式的用typename指明的情况下，Traits<T>::has_clone_method会被认为是数据成员（而不是类型成员）。

liwangli1983

1. #include<iostream>
   
2. using std::cout;
   
3. using std::endl;
   
4. struct __xtrue_type { }; // define two mark-type
   
5. struct __xfalse_type { };
   
6. 
   
7. class CComplexObject{
   
8. public:
   
9.      virtual void clone() { cout << "in clone" << endl; }
   
10. };
    
11. 
    
12. class CDerivedComplexObject : public CComplexObject {
    
13. public:
    
14.      virtual void clone() { cout << "in derived clone" << endl; }
    
15. };
    
16. 
    
17. template <typename T>
    
18. struct Traits{  typedef __xfalse_type has_clone_method;};
    
19. template <>
    
20. struct Traits<CComplexObject>{  typedef __xtrue_type has_clone_method;};
    
21. 
    
22. template <typename T>
    
23. class XContainer{
    
24. public:
    
25.     template <typename flag, typename N=void>
    
26.     class Impl { };
    
27.     template <typename N>
    
28.     class Impl <__xtrue_type,N>
    
29.     {
    
30.     public:
    
31.         void clone(T* pObj)  {  pObj->clone();    }
    
32.     };
    
33.     template <typename N>
    
34.     class Impl <__xfalse_type,N>
    
35.     {
    
36.     public:
    
37.         void clone(T* pObj) {  }
    
38.     };
    
39. public:
    
40.     void clone(T* pObj){ Impl< typename Traits<T>::has_clone_method >().clone(pObj);  }
    
41. };
    
42. 
    
43. int main()
    
44. {
    
45.         XContainer<CComplexObject> a;
    
46.         CComplexObject k;
    
47.         CDerivedComplexObject j;
    
48.         a.clone(&k);
    
49.         a.clone(&j);
    
50.         return 0;
    
51. }
    

复制代码

补上一个简单的main后，编译成功，运行结果如下：

1. ???@atom:~$ ./a.out
   
2. in clone
   
3. in derived clone
   

复制代码

bruceteen

第一，Code::Blocks是个IDE，而非编译器。例如，你应该说“帮看下这个模板类为什么不能编译(MinGW4.6.1)”
第二，不能编译通过，应该贴出编译器给出的错误提示
例如 error: 'cout' was not declared in this scope
必然就知道你少写了
#include <iostream>
using namespace std;

例如 void clone(T* pObj){ Impl< Traits<T>::has_clone_method >().clone(pObj);  } 处报错
error: type/value mismatch at argument 1 in template parameter list for 'template<class T> template<class flag, class N> class XContainer<T>::Impl'
error:   expected a type, got 'Traits<T>::has_clone_method'
别人就知道 Impl< Traits<T>::has_clone_method > 应该写成 Impl< typename Traits<T>::has_clone_method >

例如 undefined reference to `WinMain@16'
必然就知道你少写了
int main()
{
}

xbjpkpk

又是一个不用main的人