C ++聲明中的兩種或多種數據類型

Question

我在以下代碼中從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;
}

錯誤如下：

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

它必須是非常愚蠢的東西，但我已經告訴我的橡皮鴨和朋友無濟於事。

謝謝，Lazyweb。

Answer 1

上面的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;
};

Answer 2

使用其中一個

original.to_string();

或者，如果你真的需要類型說明符，

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

Answer 3

以下為我編譯（使用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; 
}