6

我g++在以下代码中从 3.3 收到一个奇怪的错误：

#include <bitset>
#include <string>

using namespace std;

template <int N, int M>
bitset<N> slice_bitset(const bitset<M> &original, size_t start) {
    string str = original.to_string<char, char_traits<char>, allocator<char> >();
    string newstr = str.substr(start, N);
    return bitset<N>(newstr);
}

int main() {
    bitset<128> test;
    bitset<12> result = slice_bitset<12, 128>(test, 0);
    return 0;
}

错误如下：

在函数 `std::bitset slice_bitset(const std::bitset&, unsigned int)' 中：
',' 标记前的语法错误
`char_traits' 指定为 declarator-id
`char_traits' 声明中的两个或多个数据类型
`allocator' 指定为 declarator-id
`allocator' 声明中的两个或多个数据类型
`>' 标记前的语法错误

这一定是一件非常愚蠢的事情，但我已经把它告诉了我的橡皮鸭和一个朋友，但无济于事。

谢谢，懒人网。

4

3 回答 3

10

上面从CAdaker选择的答案解决了问题，但没有解释为什么它解决了问题。

解析函数模板时，不会在依赖类型中进行查找。因此，可以解析如下结构：

template <typename T>
class B;

template <typename T>
void foo (B<T> & b) {
  // Use 'b' here, even though 'B' not defined
}

template <typename T>
class B
{
  // Define 'B' here.
};

然而，这个“特性”是有代价的，在这种情况下，“foo”的定义需要对模板“B”的内容进行提示。如果“foo”使用嵌套类型“B”，则typename需要关键字来告诉编译器该名称是一种类型：

template <typename T>
void foo (B<T> & b)
{
  typename B<T>::X t1;    // 'X' is a type - this declares t1
  B<T>::Y * t1;           // 'Y' is an object - this is multiplication
}

上面没有'typename'，编译器将假定它X是一个对象（或函数）。

类似地，如果调用成员函数并且调用具有显式模板参数，则编译器需要知道将<视为模板参数列表的开头，而不是小于运算符：

template <typename T>
void foo (B<T> & b)
{
  b.template bar<int> (0); // 'bar' is a template, '<' is start of arg list
  b.Y < 10;                // 'Y' is an object, '<' is less than operator
}

如果没有template，编译器会假定它<是小于运算符，因此当它看到时会生成语法错误，int>因为它不是表达式。

即使模板的定义可见，也需要这些提示。原因是显式特化可能会在以后更改实际选择的定义：

template <typename T>
class B
{
  template <typename S>
  void a();
};

template <typename T>
void foo (B<T> & b)
{
  b.a < 10;            // 'B<int>::a' is a member object
}

template <>
class B<int>
{
  int a;
};
于 2008-10-27T11:53:42.117 回答
7

使用任何一个

original.to_string();

或者，如果您真的需要类型说明符，

original.template to_string<char, char_traits<char>, allocator<char> >();
于 2008-10-23T23:12:09.773 回答
2

以下为我编译（使用 gcc 3.4.4）：

#include <bitset>
#include <string>

using namespace std;

template <int N, int M> 
bitset<N> slice_bitset(const bitset<M> &original, size_t start) 
{   
  string str = original.to_string();
  string newstr = str.substr(start, N);    
  return bitset<N>(newstr);
}

int main() 
{ 
  return 0; 
}
于 2008-10-23T23:20:12.533 回答