用函数指针将模板特例化：'...'cannot appear in a constant-expression

xb_parasite

问题：
我写了一个模板，需要一个函数指针作为模板差数，但是特例化时，向其传入一个函数名的时候却出现了如下的错误：
'...'cannot appear in a constant-expression
代码如下：

1. 
   
2. #include <vector>
   
3. #include <iterator>
   
4. template <typename T, bool (*compare)(const T&,const T&)>
   
5. class Base
   
6. {
   
7.         public:
   
8.                 int search(const T& in, T* out );
   
9.         private:
   
10.                 std::vector<T> elems;
    
11. };
    
12. 
    
13. template <typename T, bool (*compare)(const T&,const T&)>
    
14. int Base<T,compare>::search(const T& in, T* out)
    
15. {
    
16.         std::vector<T>::iterator iter;
    
17. 
    
18.         for(iter = elems.begin() ; iter < elems.end(); iter++ )
    
19.         {
    
20.                 if( *compare(*iter,in) )
    
21.                 {
    
22.                         out = iter;
    
23.                 }
    
24.         }
    
25. }
    
26. 
    
27. class CashMgr{
    
28.         public:
    
29.                 bool compare(const int & item1,const int & item2);
    
30.         private:
    
31.                 Base<int,compare> x;
    
32. };
    
33. 
    
34. bool CashMgr::compare(const int & item1,const int & item2)
    
35. {
    
36. if(item1 == item2) return true;
    
37. }
    

复制代码

编译结果如下：

1. 
   
2. [who@Test]$ g++ -g  testTemplate_funcPointer.cpp
   
3. testTemplate_funcPointer.cpp: In member function `int Base<T, compare>::search(const T&, T*)':
   
4. testTemplate_funcPointer.cpp:15: error: expected `;' before "iter"
   
5. testTemplate_funcPointer.cpp:17: error: `iter' was not declared in this scope
   
6. testTemplate_funcPointer.cpp: At global scope:
   
7. testTemplate_funcPointer.cpp:30: error: `bool CashMgr::compare(const int&, const int&)' cannot appear in a constant-expression
   
8. testTemplate_funcPointer.cpp:30: error: template argument 2 is invalid
   
9. testTemplate_funcPointer.cpp:30: error: ISO C++ forbids declaration of `x' with no type
   

复制代码

另外，这样的定义怎么也错了呢？

1.   std::vector<T>::iterator iter;

复制代码

converse

std::vector<T>::iterator iter;
改为
typename std::vector<T>::iterator iter;

xb_parasite

能讲解一下原因吗？
另外开始那个编译错误呢？
-----已经修改后的程序和编译结果：

1. 
   
2. #include <vector>
   
3. #include <iterator>
   
4. template <typename T, bool (*compare)(const T&,const T&)>
   
5. class Base
   
6. {
   
7.         public:
   
8.                 int search(const T& in, T* out );
   
9.         private:
   
10.                 std::vector<T> elems;
    
11. };
    
12. 
    
13. template <typename T, bool (*compare)(const T&,const T&)>
    
14. int Base<T,compare>::search(const T& in, T* out)
    
15. {
    
16.         typename    std::vector<T>::iterator iter;
    
17. 
    
18.         for(iter = elems.begin() ; iter < elems.end(); iter++ )
    
19.         {
    
20.                 if( *compare(*iter,in) )
    
21.                 {
    
22.                         out = iter;
    
23.                 }
    
24.         }
    
25. }
    
26. 
    
27. class CashMgr{
    
28.         public:
    
29.                 bool compare(const int & item1,const int & item2);
    
30.         private:
    
31.                 Base<int,compare> x;
    
32. };
    
33. 
    
34. bool CashMgr::compare(const int & item1,const int & item2)
    
35. {
    
36. if(item1 == item2) return true;
    
37. }
    

复制代码

1. 
   
2. [who@S-TradingServer Test]$ g++ -g testTemplate_funcPointer.cpp
   
3. testTemplate_funcPointer.cpp:30: error: `bool CashMgr::compare(const int&, const int&)' cannot appear in a constant-expression
   
4. testTemplate_funcPointer.cpp:30: error: template argument 2 is invalid
   
5. testTemplate_funcPointer.cpp:30: error: ISO C++ forbids declaration of `x' with no type
   

复制代码

tyc611

你也许应该把compare声明为了static，否则用不了

converse

原帖由 xb_parasite 于 2007-1-29 09:13 发表
能讲解一下原因吗？
另外开始那个编译错误呢？
-----已经修改后的程序和编译结果：
[code]
#include <vector>
#include <iterator>
template <typename T, bool (*compare)(const T&,co ...

typename的解释在这里:
http://www.cppblog.com/converse/archive/2006/03/22/4476.html

xb_parasite

谢谢converse。
tyc611
能简单讲解一下原因吗。

tyc611

原帖由 xb_parasite 于 2007-1-29 13:17 发表
谢谢converse。
tyc611
能简单讲解一下原因吗。

简单点：
1. typename关键字向编译器声明它后面的是一个类型，因为对于类中的类型成员，编译器可能误认为是数据成员，converse版主已经给了一个链接给你，你应该仔细看看，想想
2. 当特化模板时，非类类型模板参数需要一个编译时能确定的常量来特化，而你的非static类成员函数是一个运行时才能完全确定的东西，只有static成员函数才能在编译时确定。你上面的代码似乎应该是Base<int, CashMgr::compare> x;

xb_parasite

好的。
那个链接俺会好好看看的。
8用谢咯。

tyc611

原帖由 xb_parasite 于 2007-1-29 14:36 发表
好的。
那个链接俺会好好看看的。
8用谢咯。

xb_parasite

不是bug啦。
故意的。
呵呵