请教一个模板偏特化的问题，真是难以理解啊

mlmzw

#include <iostream>

class test
{
    public:

        template<class T>
        void print()
        {
            std::cout << "11";
        }

        template<>
        void print<std::string>()
        {
            std::cout << "22";
        }
};

int main()
{
    test t;
    t.print<std::string>();
    return 0;
}

这段代码用VS2005可以编译通过，运行也是正确的
可以试Solaris下编译失败，报错如下：
"test.cpp", line 14: Error: explicit specialization is not allowed in the current scope.

有人知道怎么修改吗？

bruceteen

正确写法：

1. #include <iostream>
   
2. 
   
3. class test
   
4. {
   
5.     public:
   
6.         template<class T>
   
7.         void print()
   
8.         {
   
9.             std::cout << "11";
   
10.         }
    
11. };
    
12. 
    
13. template<>
    
14. inline void test::print<std::string>()
    
15. {
    
16.         std::cout << "22";
    
17. }
    
18. 
    
19. int main()
    
20. {
    
21.     test t;
    
22.     t.print<int>();
    
23.     t.print<std::string>();
    
24.     return 0;
    
25. }
    

复制代码

鸡丝拌面

说明vs。。。。。。。

mlmzw

这么写是可以编过，为什么呢？

bruceteen 发表于 2012-01-10 16:52
正确写法：

bruceteen

因为
template<> void test::print<std::string>()
是
template<class  T> void test::print()
一个特化

也就是
template<class  T> void test::print() 这种声明
已经包含了
template<> void test::print<std::string>() 这种声明

你不能在类中包含重复的函数声明

mlmzw

我发现这段代码在hp下gcc编译不过

太悲剧了，跨平台的模板代码太难写了

回复 2# bruceteen


   

mlmzw

比如这样的代码在gcc下死活编译不过，报错
test.cpp:13: error: invalid application of 'sizeof' to incomplete type 'test_un'

#include <string>
#include <iostream>

struct test_un;

class test
{
    public:
    template<class T>
        void print()
        {
            sizeof(test_un);
        }
};

template<>
inline void test::print<std::string>()
{
    std::cout << "22" << std::endl;
}

int main()
{
    test t;
    t.print<std::string>();
    return 0;
}

bruceteen

mlmzw 发表于 2012-01-11 12:10
比如这样的代码在gcc下死活编译不过，报错
test.cpp:13: error: invalid application of 'sizeof' to inco ...

逻辑上就不通，test_un是个不完全类型。化简后如下

struct test_un;

int main()
{
    sizeof(test_un);

    return 0;
}

肯定编译不通过嘛

mlmzw

WINDOWS平台下是可以编译通过的

BOOST库提供了一个宏BOOST_STATIC_ASSERT就是利用sizeof(不完整定义类型)来实现编译期检查的

我以为类模板实例化和函数模板实例化是一样的，只有碰到正确的类型时，才会实例化，但是GCC貌似不是这么处理的

比如下面的代码
template<bool x>
struct test_un;

template<>
struct test_un<true> {enum{value = 1};};

int main()
{
    test_un<false> t;  //编译通不过   
   test_un<true> t;   //编译通过
}

回复 8# bruceteen


   

zylthinking

mlmzw 发表于 2012-01-12 15:31
WINDOWS平台下是可以编译通过的

BOOST库提供了一个宏BOOST_STATIC_ASSERT就是利用sizeof(不完整定义类型 ...

这是啥意思啊， false 还有应该能够编译的过理由？？？