问个成员函数特化的问题

cookis

1. 
   
2. #include <stdio.h>
   
3. 
   
4. class test
   
5. {
   
6. public:
   
7.    template<typename T>
   
8.    T *malloc();
   
9. };
   
10. template<>
    
11. int *test::malloc<int>()
    
12. {
    
13.   printf("int\n");
    
14.   return new int;
    
15. }
    
16. template<>
    
17. double *test::malloc<double>()
    
18. {
    
19.   printf("double\n");
    
20.   return new double;
    
21. }
    
22. 
    
23. int main ()
    
24. {
    
25.   test t;
    
26.   //int *p = t.malloc<int>();   这样显式的指定是可以的
    
27.   int *p = t.malloc();
    
28. }
    

复制代码

这个编译不过去，问一下能不能根据返回值泛化？ 必须显式的调用 t.malloc<int>();  吗

chenzhanyiczy

这个例子举得不太对吧

bruceteen

int *p = t.malloc(); 如果能编译通过，那么
t.malloc(); 就应该能编译通过。
对于 t.malloc();，编译器根本不知道用什么来特化。

函数返回类型的不同 不构成重载，所以 以返回值泛化 是行不通的，但是……，可以在 返回值 赋值给调用者时做文章。你等等，我写个事例代码给你

bruceteen

用VC2008及GCC4.5都编译测试通过

1. 
   
2. struct foo
   
3. {
   
4.         template<typename T> operator T*();
   
5. };
   
6. 
   
7. class test
   
8. {
   
9. public:
   
10.         foo malloc()
    
11.         {
    
12.                 return foo();
    
13.         }
    
14. };
    
15. 
    
16. 
    
17. #include <iostream>
    
18. 
    
19. template<> foo::operator int*()
    
20. {
    
21.         std::cout << "int" << std::endl;
    
22.         return new int;
    
23. }
    
24. template<> foo::operator double*()
    
25. {
    
26.         std::cout << "double" << std::endl;
    
27.         return new double;
    
28. }
    
29. 
    
30. int main ()
    
31. {
    
32.         test t;
    
33.         int* p1 = t.malloc();
    
34.         double* p2 = t.malloc();
    
35. 
    
36.         return 0;
    
37. }

复制代码

cookis

哦，好方法，类型转换！多谢了