C++ C++；声明中有两个或多个数据类型

以下代码中的

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；
模板
位集切片\u位集（常量位集和原始位集，大小\u t开始）{
string str=original.to_string（）；
字符串newstr=str.substr（开始，N）；
返回位集（newstr）；
}
int main（）{
位集测试；
位集结果=切片位集（测试，0）；
返回0；
}

错误如下：

In function `std::bitset slice_bitset(const std::bitset&, unsigned int)': syntax error before `,' token `char_traits' specified as declarator-id two or more data types in declaration of `char_traits' `allocator' specified as declarator-id two or more data types in declaration of `allocator' syntax error before `>' token 在函数“std:：bitset slice_bitset（const std:：bitset&，unsigned int）”中： “，”标记前面的语法错误 `指定为声明器id的字符\u traits “char_traits”声明中的两个或多个数据类型 `分配程序“”指定为声明程序id “分配器”声明中的两个或多个数据类型 “>”标记之前的语法错误 这一定是很愚蠢的事情，但我已经告诉我的橡皮鸭和一个朋友了，但没有用

谢谢你，懒虫网。

用两种方法都行

original.to_string();

或者，如果您确实需要类型说明符

original.template to_string<char, char_traits<char>, allocator<char> >();

original.template to_string（）；

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

#包括
#包括
使用名称空间std；
模板
位集切片\u位集（常量位集和原始位集，大小\u t开始）
{   
string str=original.to_string（）；
字符串newstr=str.substr（开始，N）；
返回位集（newstr）；
}
int main（）
{ 
返回0；
}

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

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

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.
};

如果上面没有“typename”，编译器将假定

X

是一个对象（或函数）

---

类似地，如果调用了一个成员函数，并且调用有显式的模板参数，那么编译器需要知道如何处理

to_字符串，在这种情况下没有默认的规范，但是后面的答案是有效的！谢谢。是的，但是如果你真的调用函数并计算模板参数，它就不会编译。添加#include并更改main到这个编译的（使用gcc 4.0.1）：int main（）{bitset orig；orig.set（0,0）；orig.set（1,1）；orig.set（2,0）；orig.set（3,1）；bitset bits=slice_bitset（orig，2）；我可以得到与上面相同的错误吗？我使用的是g++3.3，但是——他们可能已经在g++中更新了stdlib，在3.4中包含了默认的模板参数，但是cplusplus.com说“它们不是由编译器隐式推导的。”（）+1，感谢他们告诉你的橡皮鸭。
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.
};

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
}

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 <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;
};